//SINGULAR Example 1.8.7


ring  A=0,(x,y,z),lp;
ideal I=x2+y+z-1,
        x+y2+z-1,
        x+y+z2-1;
ideal J=groebner(I);    //the lexicographical Groebner basis    
J;

LIB"solve.lib";
laguerre_solve(J[1],6); //the univariate Laguerre-solver 

list s1=solve(I,6);
s1;
setring A;
list s2=solve(I,6,1);
s2;