head_reduced_poly( Poly p, PS ps)

Type:

Function

Defined in:

reductions.c.trace

Returns the complete normal form of the polynomial p w.r.t. the set of polynomials ps in the case it is known that the leading monomial of p cannot be further reduced. This implies that the leading monomial remains unchanged and the remaining polynomial is completely reduced.

See also:

Section 5.3.