-- Automatically generated from content dictionary linalg2.ocd.  Do not change.

module Ideas.Text.OpenMath.Dictionary.Linalg2 where



import Ideas.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"