Arithmetic

Basic arithmetic is provided in the domain of Boolean polynomials. Boolean Polynomial polynomials are polynomials over $ \mathbb{Z}_2$ 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 $ x^2+x$ ) 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