solve is a function working on symbolic expressions. Polynomials on RR as 
defined in your example, are *not* symbolic expressions. The set of 
operations applicable to them is different. And, BTW, symbolic expressions 
do have a *method* solve (not to be confused with the *function* solve), 
but not lists nor sequences…

Your question will find (a lot of) answer elements in chapter 9 of this 
excellent 
book <http://sagebook.gforge.inria.fr/english.html>, which I recommend to 
anyone aiming at non-trivial Sagemath use…

HTH,
​
Le dimanche 22 août 2021 à 15:49:28 UTC+2, juaninf a écrit :

> I would like to solve a polynomial system over RR in sage. See the toy 
> example below
>
>     >>> var_names = ['xor_0_7_x0', 'xor_0_7_x12', 'xor_0_7_y0']
>     >>> nvars = 3
>     >>> R=PolynomialRing(RealField(53), nvars, var_names, 
> order="degneglex")
>     >>> a=R.gens()[0]+R.gens()[1]+R.gens()[2]
>     >>> b=R.gens()[0]-R.gens()[1]*R.gens()[2]
>     >>> s=[a,b]
>     >>> s=Sequence([a,b])
>     >>> s.solve()
>
> I just defined two polynomial from $R$. But when I tried to solve this 
> system I get AttributeError: 'Sequence_generic' object has no attribute 
> 'solve'
> ---------------------------------------------------------------------
> D.Sc. Juan del Carmen Grados Vásquez
> Laboratório Nacional de Computação Científica 
> Tel: +55 21 97633 3228 <+55%2021%2097633-3228>
> (http://www.lncc.br/)
> http://juaninf.blogspot.com
> ---------------------------------------------------------------------
>

-- 
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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/57323129-1ab6-40d4-baac-1ad5c453fd56n%40googlegroups.com.

Reply via email to