When I run the following code, I have Traceback (click to the left of this block for traceback) ... AssertionError
from sage.crypto.boolean_function import BooleanFunction R.<x0, x1, x2, x3, x4, x5>=BooleanPolynomialRing(6) C=[x0, x0 + x1, x1 + x2, x3, x2 + 1, x4 +x5] tt=cputime() I = Ideal(C) import sage.sat.boolean_polynomials B= sage.sat.boolean_polynomials.solve(I.gens()) print cputime(tt) However B should be False, which I get when C=[x0, x0 + x1, x1 + x2, x3, x2 + 1] -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
