Numeric.Polynomial.Basis.Power

Power basis

newtype x :^ n

Constructors

Power

Fields

logPower :: 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 :^ n

Variables

data W

Constructors

W

Instances

Show W

Reifies W W

data X

Constructors

X

Instances

Show X

Reifies X X

data Y

Constructors

Y

Instances

Show Y

Reifies Y Y

data Z

Constructors

Z

Instances

Show Z

Reifies Z Z

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

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

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

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