Classify Coding Deformations Equidim Part Existence Finite Groups Flatness Genus Hilbert Series Membership Monodromy Normalization Primdec Puiseux Plane Curves 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. Timings
Lille, 08-07-02	http://www.singular.uni-kl.de