next up previous contents index
Next: is_lcm_greater( Pa p1 Up: Reference Manual Previous: is_labeled_lcm_greater( Pa p1

is_labeled_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 when the pair set is created or updated.
See also:
Section 5.2, is_labeled_lcm_greater.

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