next up previous contents index
Next: initialized_dpl( DPL p Up: Reference Manual Previous: initial_pairs_with_criteria( PS ps)

initial_pairs_with_product_criterion( PS ps)

Type:
Function
Defined in:
pa.c.trace
tex2html_wrap_inline6634
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.



windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998