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')
>>> 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, which seems to do what I want:
>>>
>>> sage: I.variety()
>>> [{y: -1, x: -1}, {y: 1, x: 1}]
>>> sage: I.variety(ring=QQbar)
>>> [{y: -1, x: -1}, {y: -1*I, x: 1*I}, {y: 1*I, x: -1*I}, {y: 1, x: 1}]
>>> sage: I.variety(ring=ZZ)
>>> [{y: -1, x: -1}, {y: 1, x: 1}]
>>
>> On a related note, see the following at ask-sage:
>>
>> http://ask.sagemath.org/question/8224/system-of-nonlinear-equations/
>> http://ask.sagemath.org/question/11070/find-algebraic-solutions-to-system-of-polynomial-equations/
>
> J'ai la flemme de le faire, mais c'est cool que tu fasses les liens
> sage-support -> ask.sagemath !!
>
> Pour les surfaces a petits carreaux, j'ai surtout du code et la base
> de donnees. Cela dit, je suis pas emballe par utiliser le cloud...
>
> C'etait bien les Etats-Unis?
Sorry!! It was entended to be for Samuel only! Hopefully, nothing very
confidential ;-)
Vincent
--
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.
