doc: missing functions about polynomials
When applicable, start from a copy of the same documentation for expressions, that you adjust.
-
polynomial.split -
polynomial.add -
polynomial.conjunction -
context.tuple -
expression.context -
polynomial.lweight -
polynomial.rweight -
expansion.tuple -
expansion.complement -
expansion.conjunction