Operators on polynomials

`p + p`	[add](polynomial.add.ipynb)	Sum (disjunction)
`p * weight`	[rweight](polynomial.rweight.ipynb)	Right scalar product
`weight * p`	[lweight](polynomial.lweight.ipynb)	Left scalar product
`p * p`	[multiply](polynomial.multiply.ipynb)	Product (concatenation)
`p & p`	[conjunction](polynomial.conjunction.ipynb)	Conjunction (synchronized product)
`p ** n`	[multiply](polynomial.multiply.ipynb)	Repeated concatenation
`p | p`	[tuple](polynomial.tuple.ipynb)	Cartesian product