Function ROW

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

Slots on this function:

Documentation:

Function that returns the i-th row of a given matrix

Arity: 3

Axioms:

(Nth-Domain Row 3 Row-Matrix)

(Nth-Domain Row 2 Positive-Integer)

(Nth-Domain Row 1 Matrix)

(<=> (Row ?M ?I ?L)
     (And (Matrix ?M)
          (Positive-Integer ?I)
          (=< ?I (Row-Dimension ?M))
          (Row-Matrix ?L)
          (= (Column-Dimension ?M) (Column-Dimension ?L))
          (Forall (?J) (= (Value ?M ?I ?J) (Value ?L 1 ?J)))))