initial_pairs( PS ps)

Type:

Function

Defined in:

pa.c.trace

Returns the set of all pairs that can be built from polynomials in ps. The resulting pair set is ordered w.r.t. is_pa_greater.

See also:

Section 5.2,
updated_pairs, is_pa_greater.