initial_pairs_with_product_criterion( PS ps)

Type:

Function

Defined in:

pa.c.trace

Returns the set of all pairs that can be built from polynomials in ps, for which zero-reduction of the S-polynomial cannot be predicted by the product criterion. The resulting pair set is ordered w.r.t. is_labeled_pa_greater.

See also:

Section 5.2,
updated_pairs_with_product_criterion.