Safe Haskell	None
Language	Haskell2010

Polynomial.Terms

Synopsis

data Term k ord = Term !k !(Mon ord)

Documentation

data Term k ord Source #

Constraint synonym for rings that can be used as polynomial coefficient.

Constructors

Term !k !(Mon ord)

Instances

Num k => LeftModule Integer (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (.*) :: Integer -> Term k ord -> Term k ord #
Num k => LeftModule Natural (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (.*) :: Natural -> Term k ord -> Term k ord #
Num k => RightModule Integer (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (*.) :: Term k ord -> Integer -> Term k ord #
Num k => RightModule Natural (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (*.) :: Term k ord -> Natural -> Term k ord #
Eq k => Eq (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (==) :: Term k ord -> Term k ord -> Bool # (/=) :: Term k ord -> Term k ord -> Bool #
Eq k => Ord (Term k Revlex) Source #
Instance details Defined in Polynomial.Terms Methods compare :: Term k Revlex -> Term k Revlex -> Ordering # (<) :: Term k Revlex -> Term k Revlex -> Bool # (<=) :: Term k Revlex -> Term k Revlex -> Bool # (>) :: Term k Revlex -> Term k Revlex -> Bool # (>=) :: Term k Revlex -> Term k Revlex -> Bool # max :: Term k Revlex -> Term k Revlex -> Term k Revlex # min :: Term k Revlex -> Term k Revlex -> Term k Revlex #
(Num k, Show k, Eq k) => Show (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods showsPrec :: Int -> Term k ord -> ShowS # show :: Term k ord -> String # showList :: [Term k ord] -> ShowS #
Generic (Term k ord) Source #
Instance details Defined in Polynomial.Terms Associated Types type Rep (Term k ord) :: Type -> Type # Methods from :: Term k ord -> Rep (Term k ord) x # to :: Rep (Term k ord) x -> Term k ord #
NFData k => NFData (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods rnf :: Term k ord -> () #
(Fractional k, Num k) => Division (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods recip :: Term k ord -> Term k ord # (/) :: Term k ord -> Term k ord -> Term k ord # (\\) :: Term k ord -> Term k ord -> Term k ord # (^) :: Integral n => Term k ord -> n -> Term k ord #
Num k => Unital (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods one :: Term k ord # pow :: Term k ord -> Natural -> Term k ord # productWith :: Foldable f => (a -> Term k ord) -> f a -> Term k ord #
Num k => Group (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (-) :: Term k ord -> Term k ord -> Term k ord # negate :: Term k ord -> Term k ord # subtract :: Term k ord -> Term k ord -> Term k ord # times :: Integral n => n -> Term k ord -> Term k ord #
Num k => Multiplicative (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (*) :: Term k ord -> Term k ord -> Term k ord # pow1p :: Term k ord -> Natural -> Term k ord # productWith1 :: Foldable1 f => (a -> Term k ord) -> f a -> Term k ord #
Num k => Semiring (Term k ord) Source #
Instance details Defined in Polynomial.Terms
Num k => Monoidal (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods zero :: Term k ord # sinnum :: Natural -> Term k ord -> Term k ord # sumWith :: Foldable f => (a -> Term k ord) -> f a -> Term k ord #
Num k => Additive (Term k ord) Source #
Instance details Defined in Polynomial.Terms Methods (+) :: Term k ord -> Term k ord -> Term k ord # sinnum1p :: Natural -> Term k ord -> Term k ord # sumWith1 :: Foldable1 f => (a -> Term k ord) -> f a -> Term k ord #
Num k => Abelian (Term k ord) Source #
Instance details Defined in Polynomial.Terms
type Rep (Term k ord) Source #
Instance details Defined in Polynomial.Terms type Rep (Term k ord) = D1 (MetaData "Term" "Polynomial.Terms" "Ritt-Wu-0.1.0.0-HkN3umTPbNu5vlsngcCGAk" False) (C1 (MetaCons "Term" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 k) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Mon ord))))