Safe Haskell	None
Language	Haskell2010

Math.Algebra.Polynomial.Monomial.Univariate

Contents

Univariate monomials
differentiation

Description

Univariate "monomials" (basically the natural numbers)

Synopsis

newtype U (var :: Symbol) = U Int
uVar :: KnownSymbol var => U var -> String
diffU :: Num c => Int -> U v -> Maybe (U v, c)

Univariate monomials

newtype U (var :: Symbol) Source #

A monomial in a univariate polynomial, indexed by its name, eg U "x"

Constructors

U Int

Instances

Eq (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Methods (==) :: U var -> U var -> Bool # (/=) :: U var -> U var -> Bool #
Ord (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Methods compare :: U var -> U var -> Ordering # (<) :: U var -> U var -> Bool # (<=) :: U var -> U var -> Bool # (>) :: U var -> U var -> Bool # (>=) :: U var -> U var -> Bool # max :: U var -> U var -> U var # min :: U var -> U var -> U var #
Show (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Methods showsPrec :: Int -> U var -> ShowS # show :: U var -> String # showList :: [U var] -> ShowS #
Semigroup (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Methods (<>) :: U var -> U var -> U var # sconcat :: NonEmpty (U var) -> U var # stimes :: Integral b => b -> U var -> U var #
Monoid (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Methods mempty :: U var # mappend :: U var -> U var -> U var # mconcat :: [U var] -> U var #
KnownSymbol var => Pretty (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Methods pretty :: U var -> String Source # prettyInParens :: U var -> String Source #
KnownSymbol var => Monomial (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate Associated Types type VarM (U var) :: Type Source # Methods normalizeM :: U var -> U var Source # isNormalM :: U var -> Bool Source # fromListM :: [(VarM (U var), Int)] -> U var Source # toListM :: U var -> [(VarM (U var), Int)] Source # emptyM :: U var Source # isEmptyM :: U var -> Bool Source # variableM :: VarM (U var) -> U var Source # singletonM :: VarM (U var) -> Int -> U var Source # mulM :: U var -> U var -> U var Source # productM :: [U var] -> U var Source # powM :: U var -> Int -> U var Source # divM :: U var -> U var -> Maybe (U var) Source # diffM :: Num c => VarM (U var) -> Int -> U var -> Maybe (U var, c) Source # maxDegM :: U var -> Int Source # totalDegM :: U var -> Int Source # evalM :: Num c => (VarM (U var) -> c) -> U var -> c Source # varSubsM :: (VarM (U var) -> VarM (U var)) -> U var -> U var Source # termSubsM :: Num c => (VarM (U var) -> Maybe c) -> (U var, c) -> (U var, c) Source #
type VarM (U var) Source #
Instance details Defined in Math.Algebra.Polynomial.Monomial.Univariate type VarM (U var) = ()

uVar :: KnownSymbol var => U var -> String Source #

Name of the variable

differentiation

diffU :: Num c => Int -> U v -> Maybe (U v, c) Source #