next up previous contents index
Next: coefficient( Mon m) Up: Reference Manual Previous: canceled_multiples_ps( PS ps)

chain_criterion( Pa pa, PS basis, Pa pair)

Defined in:
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.

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