I want to solve polynomial equations and in order to do so, I do
something like:
sage: R.<x,y> = PolynomialRing(QQ, order='lex')
sage: I = R.ideal([x*y-1, x^2-y^2])
sage: I.groebner_basis()
[x - y^3, y^4 - 1]
Now I have to take the equation with only one variable, find the
solutions for it (over so QQ or so) and use each of the possible
solitions in the equation with the two variables and solve again and so on.
What is the Sage command to do this operation, i.e., backwards
substituting to find a solution?
("solve" seems to be very much an overkill and it is not that
transparent in what it does...)
Daniel
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
