Resolution Global GMS ES Strata Build. Blocks Comb. Appl. HCA Proving Arrangements Branches Classify Coding Deformations Equidim Part Existence Finite Groups Flatness Genus Hilbert Series Membership Nonnormal Locus Normalization Primdec Puiseux Plane Curves Saturation Solving Space Curves Spectrum	Symbolic Numerical Solving - An Example LIB "triang.lib"; ring r=0,(x,y,z),lp; ideal i=x2+y+z-1,x+y2+z-1,x+y+z2-1; option(redSB); ideal j = groebner(i); triangMH(j,2); ==> [1]: [2]: [3]: [4]: _[1]=z _[1]=z _[1]=z2+2z-1 _[1]=z-1 _[1]=y _[1]=y-1 _[1]=y-z _[1]=y _[1]=x-1 _[1]=x _[1]=x-z _[1]=x LIB"solve.lib"; triang_solve(triangMH(j,2),30); // accuracy of 30 digits rlist; ==> ...................... The output is a list of 5 solutions.
KL, 06/03	http://www.singular.uni-kl.de