Math.Algebras.TensorProduct
Description
A module defining tensor products of vector spaces
- data Tensor a b = T a b
- te :: Num k => Vect k a -> Vect k b -> Vect k (Tensor a b)
- tf :: (Num k, Ord a', Ord b') => (Vect k a -> Vect k a') -> (Vect k b -> Vect k b') -> Vect k (Tensor a b) -> Vect k (Tensor a' b')
- assocL :: Vect k (Tensor u (Tensor v w)) -> Vect k (Tensor (Tensor u v) w)
- assocR :: Vect k (Tensor (Tensor u v) w) -> Vect k (Tensor u (Tensor v w))
Documentation
Constructors
| T a b |
Instances
| (Num k, Ord a, Ord m, Ord n, Bialgebra k a, Comodule k a m, Comodule k a n) => Comodule k a (Tensor m n) | |
| (Num k, Ord a, Ord u, Ord v, Bialgebra k a, Module k a u, Module k a v) => Module k a (Tensor u v) | |
| (Num k, Ord a, Ord b, Coalgebra k a, Coalgebra k b) => Coalgebra k (Tensor a b) | |
| (Num k, Ord a, Ord b, Algebra k a, Algebra k b) => Algebra k (Tensor a b) | |
| (Num k, Ord a, Ord u, Ord v, Algebra k a, Module k a u, Module k a v) => Module k (Tensor a a) (Tensor u v) | |
| (Eq a, Eq b) => Eq (Tensor a b) | |
| (Ord a, Ord b) => Ord (Tensor a b) | |
| (Show a, Show b) => Show (Tensor a b) |