NGroebnerPackage(Dom, Expon, VarSet, Dpol)¶

groebner(lp) computes a groebner basis for a polynomial ideal generated by the list of polynomials lp.
hMonic(p) tries to remove content from p
normalForm(poly, gb) reduces the polynomial poly modulo the precomputed groebner basis gb giving up to a constant factor a canonical representative of the residue class.