Revision history [back]
 | 1 | initial version |  |
You can do
P.ideal(equations).variety()| | 2 | No.2 Revision |
You can do
P.ideal(equations).variety()Edit: If you have the optional cryptominisat package installed, then you can also do:
from sage.sat.boolean_polynomials import solve as solve_sat
solve_sat(equations, n=infinity)| | 3 | No.3 Revision |
You can do
P.ideal(equations).variety()Edit: If you have the optional cryptominisat package installed, then you can also do:
from sage.sat.boolean_polynomials import solve as solve_sat
solve_sat(equations, n=infinity)See the SAT documentation.
