Function MATRIX-OF-COLUMNS

• Defined in theory: Basic-matrix-algebra
• Source code: basic-matrix.lisp

Slots on this function:

Documentation:

Constructor for matrices. The arguments are a list of columns in the matrix.

Range: Matrix

Axioms:

(Undefined (Arity Matrix-Of-Columns))

(<=> (= (Matrix-Of-Columns @Elements) ?M)
     (And (Matrix ?M)
          (= (Column-Dimension ?M) (Length (Listof @Elements)))
          (= (Column ?I ?M) (Nth (Listof @Elements) ?I))
          (=> (And (Item ?E1 (Listof @Elements))
                   (Item ?E2 (Listof @Elements)))
              (= (Row-Dimension ?E1) (Row-Dimension ?E2)))))