Next: inverse_coef( Coef c)
Up: Reference Manual
Previous: insert_ps( Poly p
- Defined in:
- 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.
Thu Sep 3 14:50:07 MDT 1998