Function MATRIX-OF-ROWS

• 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 rows in the matrix.

Range: Matrix

Axioms:

(Undefined (Arity Matrix-Of-Rows))

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