triangle_criterion( Pa pa, LP lp, Pa pair)

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.