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
signature.asc
Description: This is a digitally signed message part.
