next up previous contents index
Next: partial_normal_form_poly( Poly p Up: Reference Manual Previous: pair_set( PS ps)

pair_strategy

Type:
Constant
Defined in:
GB.po.setup
tex2html_wrap_inline6634
Determines the strategy used for ordering pairs of polynomials. This has an impact on the sequence of S-polynomial computations.
See also:
Section 5.2.


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