Data.Tensor.LinearAlgebra

class VectorSpace v

class Product n t1 t2

type MatrixProductSpace t1 t2

(.*.)

type t1 :⊗: t2

(⊗)

class DotProduct t

class Matrix i j t

class LinearSystem t1 t2

class SquareMatrix t