D.6.2.3 idealsimplify

Usage:

idealsimplify(I,m); I ideal, m int

Assume:

procedure is stable for sufficiently large m

Return:

ideal defining the same zeroset as I: replace generators of I by the generator modulo other generating elements

LIB "arcpoint.lib";
ring r=0,(x,y,z),dp;
ideal I = x3,y+z2-x2;
I;
==> I[1]=x3
==> I[2]=-x2+z2+y
idealsimplify(I,10);
==> _[1]=x
==> _[2]=z2+y