Safe Haskell | None |
---|---|
Language | Haskell2010 |
TensorProduct
Synopsis
- class TensorProduct a where
- type family (a :: k1) >< (b :: k2) :: *
Documentation
class TensorProduct a where Source #
generalised outer product
a><b + c><b == (a+c) >< b a><b + a><c == a >< (b+c) a *. (b><c) == (a><b) .* c (a><b) .* c == a *. (b><c)
type family (a :: k1) >< (b :: k2) :: * infix 8 Source #
tensorial type