Artifact b220a106ea7385866cd161e1ab1f4b9f2a17862104de7dab9947d076248c801d:

• Executable file r37/lisp/csl/html/r37_0384.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1452) [annotate] [blame] [check-ins using] [more...]

<A NAME=glexconvert>

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



<B>GLEXCONVERT</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P>
<P>
 <P> <H3> 
syntax: </H3>
<em>glexconvert</em>(&lt;bas&gt;[,&lt;vars&gt;][,MAXDEG=&lt;mx&gt;] 
[,NEWVARS=&lt;nv&gt;]) 
<P>
<P>
<P>
<P>
where &lt;bas&gt; is a 
<A HREF=r37_0382.html>groebner</A> basis 
in the current term order, &lt;mx&gt; (optional) is a positive 
integer and &lt;nvl&gt; (optional) is a list of variables 
(see 
<A HREF=r37_0352.html>ideal parameters</A>). 
<P>
<P>
The operator <em>glexconvert</em> converts the basis 
of a zero-dimensional ideal (finite number 
of isolated solutions) from arbitrary ordering into a basis under 

<A HREF=r37_0356.html>lex term order</A>. 
<P>
<P>
The parameter &lt;newvars&gt; defines the new variable sequence. 
If omitted, the 
original variable sequence is used. If only a subset of variables is 
specified here, the partial ideal basis is evaluated. 
<P>
<P>
If &lt;newvars&gt; is a list with one element, the minimal 
 <em>univariate polynomial</em> is computed. 
<P>
<P>
&lt;maxdeg&gt; is an upper limit for the degrees. The algorithm stops with 
an error message, if this limit is reached. 
<P>
<P>
A warning occurs, if the ideal is not zero dimensional. 
<P>
<P>
During the call the <em>term order</em> of the input basis must 
be active. 
<P>
<P>
<P>