Ideas.Text.OpenMath.Dictionary.Linalg2

Documentation

linalg2List :: [Symbol]

List of symbols defined in linalg2 dictionary

vectorSymbol :: Symbol

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.

matrixrowSymbol :: Symbol

This symbol is an n-ary constructor used to represent rows of matrices. Its arguments should be members of a ring.

matrixSymbol :: Symbol

This symbol is an n-ary matrix constructor which requires matrixrow's as arguments. It is used to represent matrices.