is_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 immediately before computation of the S-polynomial.

See also:

Section 5.2, is_lcm_greater.