Understand thanks,
2014-08-12 11:20 GMT-03:00 Martin Albrecht <martinralbre...@googlemail.com>:
> This is a bug. In particular:
>
> sage: S.solve(eliminate_linear_variables=False)
> [{w: 0, z: 0, y: 0, x: 0}]
>
> Does the trick. The bug is that eliminating linear variables already solves
> the problem and the logic in solve() doesn't handle this case. Please open
> a
> ticket and CC me.
>
> On Tuesday 12 Aug 2014 09:01:33 Juan Grados wrote:
> > Dears members,
> >
> > I'm trying to understand why the solver not found solution in this code
> >
> > R.<x,y,z,w> = BooleanPolynomialRing()
> > S = PolynomialSequence([x*y+z,x+y])
> > sol = S.solve(); sol
> > []
> >
> > For me the solution is x=1;y=1 and z=1, or I'm wrong?
> >
> > thanks
>
--
---------------------------------------------------------------------
MSc. Juan del Carmen Grados Vásquez
Laboratório Nacional de Computação Científica
Tel: +55 21 97633 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 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.
