**Type:**- Predicate
**Defined in:**- pa.c.trace
- Suppose
`pa`is of the form .`triangle_criterion`returns`TRUE`if- and and
- is a multiple of , where lm stands for ``leading monomial'', and
- the pairs and have already been
considered for reduction. It would lead too far to explain why the pair
`pair`has to be passed as an argument.

**See also:**-
`chain_criterion`.

Thu Sep 3 14:50:07 MDT 1998