BBasis5(I: IDEAL): LIST
/**/ use QQ[x, y], DegLex; /**/ I := ideal(x^2, x*y + y^2); ***** NOT YET IMPLEMENTED ***** BBasis := BBasis5(I);