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.