ideas-1.1: Feedback services for intelligent tutoring systems

Safe HaskellSafe-Inferred




linalg2List :: [Symbol]Source

List of symbols defined in linalg2 dictionary

vectorSymbol :: SymbolSource

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 :: SymbolSource

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

matrixSymbol :: SymbolSource

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