initialized_pc( PPoly p, int pos, int total)

Type:

Function

Defined in:

pc.c

Initialization of a polynomial with cofactors before Gröbner basis computation. p is assumed to be at position pos in a set of total polynomials. The cofactors refer to this set of polynomials, hence, the appropriate list of cofactors has the unit polynomial at position pos and zero at all other positions.

See also:

Section 3.13.