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