next up previous contents index
Next: is_positive_coef( Coef c) Up: Reference Manual Previous: is_one_rn( RN r)

is_pa_greater( Pa p1, Pa p2)

Virtual Predicate
Defined in:
This predicate determines the strategy for ordering a set of polynomial pairs in the case the variant of the Gröbner bases algorithm is chosen, where criteria are applied immediately before computation of the S-polynomial.
See also:
Section 5.2, is_lcm_greater.

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