**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`.

Thu Sep 3 14:50:07 MDT 1998