Class ROW-MATRIX

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

Slots on this class:

Documentation:

Class of the matrices with only one row

Instance-Of: Class

Subclass-Of: Matrix

---

Slots on instances of this class:

Row-Dimension: 1

Equivalence Axioms:

(<=> (Row-Matrix ?M) (And (Matrix ?M) (= (Row-Dimension ?M) 1)))

Axioms:

(Matrix ?M)

Other Related Axioms:

(<= (Row-Dimension $X 1) (Row-Matrix $X))

(<=> (Row-Matrix ?M) (And (Matrix ?M) (= (Row-Dimension ?M) 1)))

(Nth-Domain Row 3 Row-Matrix)

(=> (= (Row ?M ?I) ?L) (Row-Matrix ?L))