Basic arithmetic is provided in the domain of Boolean polynomials. Boolean Polynomial polynomials are polynomials over
where the maximal degree per variable is one.
If exponents bigger than one per variable appear reduction by the field ideal (polynomials of the form
) is done automatically.
In [1]: Polynomial(1)+Polynomial(1)
Out[1]: 0
In [2]: x(1)*x(1)
Out[2]: x(1)
In [3]: (x(1)+x(2))*(x(1)+x(3))
Out[3]: x(1)*x(2) + x(1)*x(3) + x(1) + x(2)*x(3)
2009-09-10