finduni ( ideal_expression
- 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.
- The ideal must be zero-dimensional and given as a reduced Groebner basis in
the current ring.
ring r=0,(x,y,z), dp;
option(redSB); // force computation of reduced basis