IDEALQUOTIENT _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

idealquotient({<exp>, ...}, <d>)

where {<exp>,...} is a list of expressions or equations, <d> is a single expression or equation.

idealquotientcomputes the ideal quotient: ideal spanned by the expressions {<exp>,...} divided by the single polynomial/expression <f>. The result is the groebner basis of the quotient ideal.