is_labeled_pa_greater( Pa p1, Pa p2)

Type:

Virtual Predicate

Defined in:

GB.po.setup

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.