inter_reduced_ps( PS ps)

Type:

Function

Defined in:

reductions.c.trace

Polynomials whose leading monomial is a multiple of one of the other polynomials are deleted from the set ps. Each of the remaining polynomials is completely reduced w.r.t. ps.

See also:

canceled_multiples_ps, completely_reduced_ps.