algebra-0.4.0: Constructive abstract algebra

Numeric.Polynomial.Basis.Power

Contents

Synopsis

# Power basis

newtype x :^ n Source

Constructors

 Power FieldslogPower :: n

Instances

 (Semiring r, Partitionable n) => FreeAlgebra r (:^ x n) (Semiring r, Additive n) => FreeCoalgebra r (:^ x n) (Semiring r, AdditiveMonoid r, Unital r, DecidableZero n, Partitionable n) => FreeUnitalAlgebra r (:^ x n) (Semiring r, AdditiveMonoid n) => FreeCounitalCoalgebra r (:^ x n) Functor (:^ x) Foldable (:^ x) Traversable (:^ x) Foldable1 (:^ x) Traversable1 (:^ x) Eq n => Eq (:^ x n) Ord n => Ord (:^ x n) (Show t, Reifies x t, Show n) => Show (:^ x n) HasTrie n => HasTrie (:^ x n) Additive n => Multiplicative (:^ x n) Partitionable n => Factorable (:^ x n) AdditiveMonoid n => Unital (:^ x n) DecidableZero n => DecidableUnits (:^ x n) AdditiveGroup n => MultiplicativeGroup (:^ x n)

(^:) :: x -> n -> x :^ nSource

# Variables

data W Source

Constructors

 W

Instances

 Show W Reifies W W

data X Source

Constructors

 X

Instances

 Show X Reifies X X

data Y Source

Constructors

 Y

Instances

 Show Y Reifies Y Y

data Z Source

Constructors

 Z

Instances

 Show Z Reifies Z Z

x :: Unital n => Linear r (x :^ n)Source

at :: (Unital r, Whole n) => Linear r (x :^ n) -> r -> rSource

delta :: (Rig r, Eq a) => a -> a -> rSource

coef :: (Rig r, Eq n) => n -> Linear r (x :^ n) -> rSource