D.15.17.2 SGNF

Usage:

SGNF(f,I,A); f polynomial, I ideal of subalgebra
A, A ideal (which is a finite Sagbi bases).

Return:

a polynomial h: the normalform of f wrt. I in A

LIB "sagbigrob.lib";
ring r=0,(x,y),Dp;
ideal A=x2,xy;
ideal I=x3y+x2,x4+x2y2,-x3y3-x2y2;
poly f=x6y6+x2;
poly g=x12+x6y6-x8+x5y;
SGNF(f,I,A);
==> x2y2+x2
SGNF(g,I,A);
==> 0