pair_ordering

Type:

Constant

Defined in:

GB.po.setup

Determines which ordering is used for ordering pairs of polynomials. This has an impact on the sequence of S-polynomial computations.

See also:

Section 5.1, Section 5.2.