Math.Algebras.TensorAlgebra

A module defining the tensor algebra, symmetric algebra, and exterior (or alternating) algebra

Documentation

data TensorAlgebra a

Constructors

TA Int [a]

Instances

(Num k, Ord a) => Algebra k (TensorAlgebra a)

Eq a => Eq (TensorAlgebra a)

Ord a => Ord (TensorAlgebra a)

Show a => Show (TensorAlgebra a)

Mon (TensorAlgebra a)

data SymmetricAlgebra a

Constructors

Sym Int [a]

Instances

(Num k, Ord a) => Algebra k (SymmetricAlgebra a)

Eq a => Eq (SymmetricAlgebra a)

Ord a => Ord (SymmetricAlgebra a)

Show a => Show (SymmetricAlgebra a)

Ord a => Mon (SymmetricAlgebra a)

data ExteriorAlgebra a

Constructors

Ext Int [a]

Instances

(Num k, Ord a) => Algebra k (ExteriorAlgebra a)

Eq a => Eq (ExteriorAlgebra a)

Ord a => Ord (ExteriorAlgebra a)

Show a => Show (ExteriorAlgebra a)