Next:
remaining_polynomial_ppoly( PPoly p)
Up:
Reference Manual
Previous:
remaining_polynomial_lp( LP lp)
remaining_polynomial_pc( PC pc)
Type:
Macro
Defined in:
pc.h
Implementation of virtual function
remaining_polynomial
. The cofactors of
pc
are left unchanged, since this is valid in our applications.
See also:
Section
3.13
,
remaining_polynomial
.
windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998