chain_criterion( Pa pa, PS basis, Pa pair)

Type:

Predicate

Defined in:

pa.c.trace

The version of the chain criterion (i.e. Criterion1 in [1]), which is used in the variant of the Gröbner bases algorithm, where criteria are applied immediately when the pair set is updated. It returns TRUE if there is a polynomial p in basis s.t. the triangle criterion holds for pa and p. The parameter pair is passed for ``technical reasons'', it would lead too far to explain in all detail, why this is required in this case.

See also:

triangle_criterion, thinned_by_chain_criterion.