|  | LIB "arnold.lib";
ring R=0,(x,y),ds;
poly f = x^9+x^2*y^4+y^2*x^4+y^8+x^3*y^5+y^2*x^5;
Poly F = makePoly(f);
NormalForm N = determineNormalForm(F);
moduliMonomials(N);
==> [1]:
==>    x^4*y^4
==> 
==> [2]:
==>    x^4*y^3
==> 
==> [3]:
==>    x^3*y^4
==> 
==> [4]:
==>    x^4*y^2
==> 
==> [5]:
==>    x^3*y^3
==> 
==> [6]:
==>    x^2*y^4
==> 
 |