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