Meanwhile, I was able to generate a smaller example which triggers the bug
also with versions 8.1 and 8.2:
varl = ['k{0}'.format(p) for p in range(29)] # no solution
B = BooleanPolynomialRing(names = varl)
B.inject_variables(verbose=False)
keqs = [
k0 + k6 + 1,
k3 + k9 + 1,
k5*k18 + k6*k18 + k7*k16 + k7*k10,
k9*k17 + k8*k24 + k11*k17,
k1*k13 + k1*k15 + k2*k12 + k3*k15 + k4*k14,
k5*k18 + k6*k16 + k7*k18,
k3 + k26,
k0 + k19,
k9 + k28,
k11 + k20]
from sage.sat.boolean_polynomials import solve as solve_sat
kpsol = solve_sat(keqs, n=1)
print type(kpsol)
print len(kpsol)
The second print command fails becaus no solution was found. But the system
> is solvable. The solution can be found if the first statement is changed to
>
varl = ['k{0}'.format(p) for p in range(28, -1, -1)]
Any ideas?
Regards,
Jörg.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
