FrbMaximalStandardMonomials(I: IDEAL): LIST
/**/ use QQ[x,y,z]; /**/ I := ideal(x^2, x*y, y^2, z^2); /**/ FrbMaximalStandardMonomials(I); ideal(y*z, x*z)