| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Satchmo.PolynomialN
Documentation
type Coefficient a = a Source
data PolynomialN a Source
Instances
| Decode m a Integer => Decode m (PolynomialN a) (PolynomialN Integer) | |
| Show a => Show (PolynomialN a) |
type NumPolynomialN = PolynomialN Number Source
Arguments
| :: MonadSAT m | |
| => Int | bit width of coefficients |
| -> [(Coefficient Integer, Exponents)] | monomials |
| -> m NumPolynomialN |
add :: MonadSAT m => NumPolynomialN -> NumPolynomialN -> m NumPolynomialN Source
equals :: MonadSAT m => NumPolynomialN -> NumPolynomialN -> m Boolean Source