In case you just want the number of solutions, and you are willing to settle for (good) numerics, you can install the optional phc package (just do: "sage -i phc-2.3.53.p0") and then:
sage: P.<x,y,z> = QQ[] sage: gens = [x+y+z-3,x^2+y^2+z^2-5,x^3+y^3+z^3-7] sage: from sage.interfaces.phc import phc sage: sol = phc.blackbox(gens,P) sage: len(sol.solutions()) One way to check that nothing bad happened is to see if phc classified any of the solutions as "failures": sage:sol.classified_solution_dicts()['failure'] [] which in this case it did not. It is rare to see failures in a system which actually has finitely many solutions. -Marshall Hampton On Oct 12, 8:19 am, andrew ewart <[email protected]> wrote: > i think its just reffering to vector space dimension > I have no idea what the Krull dimension of this space is > Also if i try lex in QQ the grobner basis i get out is > [x + y + z - 3, y^2 + y*z - 3*y + z^2 - 3*z + 2, z^3 - 3*z^2 + 2*z + > 2/3] -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
