Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Poly a = Poly [a]
- type NumPoly = Poly Number
- polynomial :: MonadSAT m => Int -> Int -> m NumPoly
- constant :: MonadSAT m => Integer -> m NumPoly
- fromCoefficients :: MonadSAT m => Int -> [Integer] -> m NumPoly
- isNull :: Poly a -> Bool
- null :: Poly a
- constantTerm :: Poly a -> a
- coefficients :: Poly a -> [a]
- equals :: MonadSAT m => NumPoly -> NumPoly -> m Boolean
- ge :: MonadSAT m => NumPoly -> NumPoly -> m Boolean
- gt :: MonadSAT m => NumPoly -> NumPoly -> m Boolean
- add :: MonadSAT m => NumPoly -> NumPoly -> m NumPoly
- times :: MonadSAT m => NumPoly -> NumPoly -> m NumPoly
- subtract :: MonadSAT m => NumPoly -> NumPoly -> m NumPoly
- compose :: MonadSAT m => NumPoly -> NumPoly -> m NumPoly
- apply :: MonadSAT m => NumPoly -> Number -> m Number
- derive :: MonadSAT m => NumPoly -> m NumPoly
Documentation
polynomial in one variable, coefficients starting from degree zero
Poly [a] |
constantTerm :: Poly a -> a Source #
coefficients :: Poly a -> [a] Source #