Polynomial.Terms

Documentation

data Term k ord

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

Constructors

Term !k !(Mon ord)

Instances

Num k => LeftModule Integer (Term k ord)

Defined in Polynomial.Terms

Methods

(.*) :: Integer -> Term k ord -> Term k ord

Num k => LeftModule Natural (Term k ord)

Defined in Polynomial.Terms

Methods

(.*) :: Natural -> Term k ord -> Term k ord

Num k => RightModule Integer (Term k ord)

Defined in Polynomial.Terms

Methods

(*.) :: Term k ord -> Integer -> Term k ord

Num k => RightModule Natural (Term k ord)

Defined in Polynomial.Terms

Methods

(*.) :: Term k ord -> Natural -> Term k ord

Eq k => Eq (Term k ord)

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)

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)

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)

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)

Defined in Polynomial.Terms

Methods

rnf :: Term k ord -> ()

(Fractional k, Num k) => Division (Term k ord)

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)

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)

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)

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)

Defined in Polynomial.Terms

Num k => Monoidal (Term k ord)

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)

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)

Defined in Polynomial.Terms

type Rep (Term k ord)

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))))