File r37/lisp/csl/html/r37_0387.html artifact 42e3def42c part of check-in e08999f63f

<A NAME=idealquotient>

<TITLE>idealquotient</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>IDEALQUOTIENT</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>idealquotient</em>({&lt;exp&gt;, ...}, &lt;d&gt;) 
<P>
<P>
<P>
<P>
where {&lt;exp&gt;,...} is a list of 
expressions or equations, &lt;d&gt; is a single expression or equation. 
<P>
<P>
<em>idealquotient</em>computes the ideal quotient: 
ideal spanned by the expressions {&lt;exp&gt;,...} 
divided by the single polynomial/expression &lt;f&gt;. The result 
is the 
<A HREF=r37_0382.html>groebner</A> basis of the quotient ideal. 
<P>
<P>