R=BooleanPolynomialRing(100,['x'+str(i) for i in [1..100]])
R.inject_variables()# if you don't really need the identifiers in
Python's namespace, better skip this
On Dec 5, 6:18 am, Subhadeep Banik monsieurlel...@gmail.com wrote:
If I have a boolean expression of a certain number of
On Dec 5, 3:18 pm, Subhadeep Banik monsieurlel...@gmail.com wrote:
If I have a boolean expression of a certain number of variables, how
do I define a polynomial ring with them.. For example, let
(x0,x1,x2,x3,x4,x5,x6,x7) be a set of variables, and I have an
expression S = x0 + x1*x3 + x7
