ToySolver.Data.Polynomial
data Polynomial r v
class Var a v
class Degree t
class Vars a v
class Factor a
class SQFree a
class ContPP k
type UPolynomial r
data X
type UTerm k
type UMonomial
type Term k v
data Monomial v
type MonomialOrder v
data PrintOptions k v
class PrettyCoeff a
class PrettyVar a