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.
