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.

Instance-Of: Function

Range: Matrix

Equivalence Axioms:

(<=> (Matrix-Of-Columns @Elements)
     (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)))))

Axioms:

(Undefined (Arity Matrix-Of-Columns))

Other Related Axioms:

(Instance-Of (Arity Matrix-Of-Columns) Undefined)

(=> (Matrix-Of-Columns $X $Y) (Matrix $Y))

(=> (= (Matrix-Of-Columns @Elements) ?M)
    (=> (And (Item ?E1 (Listof @Elements))
             (Item ?E2 (Listof @Elements)))
        (= (Row-Dimension ?E1) (Row-Dimension ?E2))))

(=> (= (Matrix-Of-Columns @Elements) ?M)
    (= (Column ?I ?M) (Nth (Listof @Elements) ?I)))

(=> (= (Matrix-Of-Columns @Elements) ?M)
    (= (Column-Dimension ?M) (Length (Listof @Elements))))

(=> (= (Matrix-Of-Columns @Elements) ?M) (Matrix ?M))