ideas-1.6: Feedback services for intelligent tutoring systems

Safe HaskellSafe
LanguageHaskell98

Ideas.Text.OpenMath.Dictionary.Linalg2

Synopsis

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.