normalform(A,B,X,P)
normalform(A,B,X,Y,P)

The normalform command divides the polynomials in A by a basis B in the variables X and Y modulo P. The computation uses an elimination ordering with X greater than Y.

Examples

A = [x^2+y, x*y-1];
G = groebnerbasis(A,[x,y],0);
normalform(A,G,[x,y],0);
	[0, 0]