Class COLUMN-MATRIX

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

Slots on this class:

Documentation:

Class of the matrices with only one column

Instance-Of: Class

Subclass-Of: Matrix

---

Slots on instances of this class:

Column-Dimension: 1

Equivalence Axioms:

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

Axioms:

(Matrix ?M)

Other Related Axioms:

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

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

(Nth-Domain Column 3 Column-Matrix)

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