head_reduced_lp( LP lp, PS ps)

Type:

Function

Defined in:

reductions.c.trace

Applies head_reduced_poly to the polynomial in lp and ps and leaves the label unchanged.

See also:

Section 5.3, head_reduced_poly.