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