wmpy.core.polynomial

Classes

Polynomial	Internal class representing canonical polynomials.
PolynomialParser	A walker to parse a polynomial expression (pysmt.FNode) into a dictionary of monomials.