| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Ideas.Text.OpenMath.Dictionary.Linalg2
Documentation
linalg2List :: [Symbol] Source #
List of symbols defined in linalg2 dictionary
vectorSymbol :: Symbol Source #
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 Source #
This symbol is an n-ary constructor used to represent rows of matrices. Its arguments should be members of a ring.
matrixSymbol :: Symbol Source #
This symbol is an n-ary matrix constructor which requires matrixrow's as arguments. It is used to represent matrices.