Linalg2.hs

-- Automatically generated from content dictionary linalg2.ocd.  Do not change.
module Text.OpenMath.Dictionary.Linalg2 where

import Text.OpenMath.Symbol

-- | List of symbols defined in linalg2 dictionary
linalg2List :: [Symbol]
linalg2List = [vectorSymbol, matrixrowSymbol, matrixSymbol]

{-| This symbol represents an n-ary function used to construct (or describe)
vectors. Vectors in this CD are considered to be row vectors and must
therefore be transposed to be considered as column vectors. -}
vectorSymbol :: Symbol
vectorSymbol = makeSymbol "linalg2" "vector"

{-| This symbol is an n-ary constructor used to represent rows of matrices.
Its arguments should be members of a ring. -}
matrixrowSymbol :: Symbol
matrixrowSymbol = makeSymbol "linalg2" "matrixrow"

{-| This symbol is an n-ary matrix constructor which requires matrixrow's as
arguments. It is used to represent matrices. -}
matrixSymbol :: Symbol
matrixSymbol = makeSymbol "linalg2" "matrix"