Safe Haskell	None
Language	Haskell2010

NumHask.Algebra.Abstract.TensorProduct

Description

TensorProduct

Synopsis

class TensorProduct a where
- (><) :: a -> a -> a >< a
- outer :: a -> a -> a >< a
- timesleft :: a -> (a >< a) -> a
- timesright :: (a >< a) -> a -> a
class TensorProduct' a b where
- outer' :: a -> b -> a >< b
- timesleft' :: a -> (a >< b) -> b
- timesright' :: (a >< b) -> a -> b
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)

Minimal complete definition

(><), timesleft, timesright

Methods

(><) :: a -> a -> a >< a infix 8 Source #

outer :: a -> a -> a >< a Source #

timesleft :: a -> (a >< a) -> a Source #

timesright :: (a >< a) -> a -> a Source #

class TensorProduct' a b 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)

Methods

outer' :: a -> b -> a >< b Source #

timesleft' :: a -> (a >< b) -> b Source #

timesright' :: (a >< b) -> a -> b Source #

type family (a :: k1) >< (b :: k2) :: * infix 8 Source #

tensorial type

Instances

type Double >< Double Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Double >< Double = Double
type Float >< Float Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Float >< Float = Float
type Int >< Int Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Int >< Int = Int
type Int8 >< Int8 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Int8 >< Int8 = Int8
type Int16 >< Int16 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Int16 >< Int16 = Int16
type Int32 >< Int32 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Int32 >< Int32 = Int32
type Int64 >< Int64 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Int64 >< Int64 = Int64
type Integer >< Integer Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Integer >< Integer = Integer
type Natural >< Natural Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Natural >< Natural = Natural
type Word >< Word Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Word >< Word = Word
type Word8 >< Word8 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Word8 >< Word8 = Word8
type Word16 >< Word16 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Word16 >< Word16 = Word16
type Word32 >< Word32 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Word32 >< Word32 = Word32
type Word64 >< Word64 Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type Word64 >< Word64 = Word64
type (r a :: Type) >< (b :: Type) Source #
Instance details Defined in NumHask.Algebra.Abstract.TensorProduct type (r a :: Type) >< (b :: Type)