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.

Instance-Of: Function

Range: Matrix

Equivalence Axioms:

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

Axioms:

(Undefined (Arity Matrix-Of-Rows))

Other Related Axioms:

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

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

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

(=> (= (Matrix-Of-Rows @Elements) ?M)
    (= (Row ?I ?M) (Nth (Listof @Elements) ?I)))

(=> (= (Matrix-Of-Rows @Elements) ?M)
    (= (Row-Dimension ?M) (Length (Listof @Elements))))

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