| 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
==>
|