 LIB "customstd.lib";
ring r = 0,(x,y,z,u,v),dp;
ideal I = x2+x,y2+y,z2+z;
// returns normal standard basis, no changes during (trivial) computation
satstd(I,ideal(u,v));
==> _[1]=z2+z
==> _[2]=y2+y
==> _[3]=x2+x
// returns x+1 instead of x2+x
satstd(I,ideal(x));
==> _[1]=x+1
==> _[2]=z2+z
==> _[3]=y2+y
// returns standard basis with elements of degree up to 8 (instead of 16)
deg(satstd(I^8));
==> 8
