File r37/lisp/csl/html/r37_0397.html artifact 51a3e36af1 part of check-in trunk

<A NAME=groebnert>

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



<B>GROEBNERT</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>groebnert</em>({&lt;v&gt;=&lt;exp&gt;,...}) 
<P>
<P>
<P>
<P>
where &lt;v&gt; are 
<A HREF=r37_0002.html>kernel</A><em>s</em> (simple or indexed variables), 
&lt;exp&gt; are polynomials. 
<P>
<P>
<em>groebnert</em>is functionally equivalent to a 
<A HREF=r37_0382.html>groebner</A> 
call for {&lt;exp&gt;,...}, but the result is a set of 
equations where the left-hand sides are the basis elements while 
the right-hand sides are the same values expressed as combinations 
of the input formulas, expressed in terms of the names &lt;v&gt; 
 <P> <H3> 
example: </H3>
<P><PRE><TT>
    groebnert({p1=2*x**2+4*y**2-100,p2=2*x-y+1});

   GB1 := {2*X - Y + 1=P2,

           2
        9*Y  - 2*Y - 199= - 2*X*P2 - Y*P2 + 2*P1 + P2}
</TT></PRE><P><P>
<P>