5.1.36 finduni
--------------
Syntax:
finduni ( ideal_expression )
Type:
ideal
Purpose:
returns an ideal which is contained in the ideal_expression such that the i-th
generator is a univariate polynomial in the i-th ring variable.

 The polynomials have minimal degree w.r.t. this property.
Note:
The ideal must be zero-dimensional and given as a reduced Groebner basis in
the current ring.
Example:
  ring  r=0,(x,y,z), dp;
  ideal i=y3+x2,x2y+x2,z4-x2-y;
  option(redSB);  // force computation of reduced basis
  i=std(i);
  ideal k=finduni(i);
  print(k);
==> x4-x2,
==> y4+y3,
==> z12
See
option;
ring;
std;
vdim.

<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
