Class COLUMN-MATRIX


Slots on this class:

Documentation:
Class of the matrices with only one column
Subclass-Of: Matrix


Slots on instances of this class:

Column-Dimension: 1

Axioms:

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