Math.Algebras.TensorAlgebra
Description
A module defining the tensor algebra, symmetric algebra, and exterior (or alternating) algebra
Documentation
data TensorAlgebra a Source
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
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 Source
Instances
| (Num k, Ord a) => Algebra k (ExteriorAlgebra a) | |
| Eq a => Eq (ExteriorAlgebra a) | |
| Ord a => Ord (ExteriorAlgebra a) | |
| Show a => Show (ExteriorAlgebra a) |