criteria( LP lp1, LP lp2, PS G, PaS B)

Type:

Predicate

Defined in:

reductions.c.trace

Returns TRUE if one of the criteria for detecting reduction to zero of the S-polynomial of lp1 and lp2 w.r.t. G can be successfully applied.

See also:

[1]
product_criterion, explicit_chain_criterion.