updated_pairs_with_product_criterion( PaS pairs, PS ps, LP lp)

Type:

Function

Defined in:

pa.c.trace

All pairs consisting of lp and a polynomial of ps that cannot be canceled by the product criterion are adjoined to pairs.

See also:

product_criterion.