Satchmo.Polynomial.Numeric

Documentation

data Poly a

Constructors

Poly [a]

Instances

Decode m a b => Decode m (Poly a) (Poly b)

Defined in Satchmo.Polynomial.Numeric

Methods

decode :: Poly a -> m (Poly b)

Show a => Show (Poly a)

Defined in Satchmo.Polynomial.Numeric

Methods

showsPrec :: Int -> Poly a -> ShowS

show :: Poly a -> String

showList :: [Poly a] -> ShowS

(Create a, Constant a, Numeric a) => Numeric (Poly a)

Defined in Satchmo.Polynomial.Numeric

Methods

equal :: MonadSAT m => Poly a -> Poly a -> m Boolean

greater_equal :: MonadSAT m => Poly a -> Poly a -> m Boolean

plus :: MonadSAT m => Poly a -> Poly a -> m (Poly a)

minus :: MonadSAT m => Poly a -> Poly a -> m (Poly a)

times :: MonadSAT m => Poly a -> Poly a -> m (Poly a)

derive :: forall {m} {a}. (Constant a, MonadSAT m, Numeric a) => Poly a -> m (Poly a)

constantTerm :: Poly a -> a

polynomial :: (Create a, MonadSAT m) => Int -> Int -> m (Poly a)

compose :: forall {m} {a}. (Create a, Constant a, Numeric a, MonadSAT m) => Poly a -> Poly a -> m (Poly a)

fullZip :: [a] -> [b] -> [(Maybe a, Maybe b)]