HaskellForMaths-0.3.1: Combinatorics, group theory, commutative algebra, non-commutative algebra

Math.Algebras.TensorAlgebra

Description

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

Documentation

data TensorAlgebra a Source

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 Source

Constructors

Sym Int [a] 

Instances

data ExteriorAlgebra a Source

Constructors

Ext Int [a] 

Instances