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 : >> Daniel Krenn wrote: >> >>> I want to solve polynomial equations and in order >>> to do so, I do something like: >>> sage: R. = PolynomialRing(QQ, order='lex') >>> sage: I

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

2014-09-01 Thread Vincent Delecroix
2014-09-01 14:13 UTC+01:00, slelievre : > Daniel Krenn wrote: > >> I want to solve polynomial equations and in order >> to do so, I do something like: >> sage: R. = PolynomialRing(QQ, order='lex') >> sage: I = R.ideal([x*y-1, x^2-y^2]) >> sage: I.groebner_basis() >> [x - y^3, y^4 -

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. = 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, w

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 : > 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. = PolynomialRing(QQ, order='lex') >> sage: I = R.ideal([x*y-1, x^2-y^2]) >> sage: I.groebner_basis() >> [x

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. = 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

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. = PolynomialRing(QQ, order='lex') > sage: I = R.id

[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. = 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