Satchmo.PolynomialN

Documentation

type Coefficient a = a

type Exponents = [Integer]

data PolynomialN a

Instances

Decode m a Integer => Decode m (PolynomialN a) (PolynomialN Integer)

Defined in Satchmo.PolynomialN

Methods

decode :: PolynomialN a -> m (PolynomialN Integer)

Show a => Show (PolynomialN a)

Defined in Satchmo.PolynomialN

Methods

showsPrec :: Int -> PolynomialN a -> ShowS

show :: PolynomialN a -> String

showList :: [PolynomialN a] -> ShowS

type NumPolynomialN = PolynomialN Number

fromMonomials

Arguments

:: MonadSAT m

=> Int

bit width of coefficients

-> [(Coefficient Integer, Exponents)]

monomials

-> m NumPolynomialN

add :: MonadSAT m => NumPolynomialN -> NumPolynomialN -> m NumPolynomialN

equals :: MonadSAT m => NumPolynomialN -> NumPolynomialN -> m Boolean