Ask Your Question

Revision history [back]

When you write f1 = x1 + x7*x2, you assume that the Python name x1 points to the boolean indeterminate x1, but there is nothing in your code that assign the Python name x1 to something.

You can to that with:

sage: B.inject_variables()
Defining x0, x1, x2, x3, x4, x5, x6, x7, y0, y1, y2, y3, y4, y5, y6, y7