Re: [sage-support] backward substitution during solving polynomial equation

2014-09-01 Thread slelievre
Daniel Krenn wrote: 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] and then wrote: Meanwhile, I found,

Re: [sage-support] backward substitution during solving polynomial equation

2014-09-01 Thread Vincent Delecroix
2014-09-01 14:13 UTC+01:00, slelievre samuel.lelie...@gmail.com: Daniel Krenn wrote: 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()

Re: [sage-support] backward substitution during solving polynomial equation

2014-09-01 Thread Vincent Delecroix
2014-09-01 18:56 UTC+01:00, Vincent Delecroix 20100.delecr...@gmail.com: 2014-09-01 14:13 UTC+01:00, slelievre samuel.lelie...@gmail.com: Daniel Krenn wrote: I want to solve polynomial equations and in order to do so, I do something like: sage: R.x,y = PolynomialRing(QQ, order='lex')

Re: [sage-support] backward substitution during solving polynomial equation

2014-08-31 Thread Daniel Krenn
Am 2014-08-29 um 21:25 schrieb Daniel Krenn: 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] Meanwhile, I found, which seems to do

Re: [sage-support] backward substitution during solving polynomial equation

2014-08-31 Thread Vincent Delecroix
2014-08-31 11:51 UTC+02:00, Daniel Krenn kr...@aon.at: Am 2014-08-29 um 21:25 schrieb Daniel Krenn: 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

[sage-support] backward substitution during solving polynomial equation

2014-08-29 Thread Daniel Krenn
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

Re: [sage-support] backward substitution during solving polynomial equation

2014-08-29 Thread Vincent Delecroix
(solve seems to be very much an overkill and it is not that transparent in what it does...) Definitely! And I won't even believe the output... 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 =