Class SQUARE-MATRIX

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

Slots on this class:

Documentation:

Class of the matrices whose number of columns is equal to the number

of rows

Subclass-Of: Matrix

---

Slots on instances of this class:

Column-Dimension:

Same-Slot-Values: Row-dimension

Axioms:

(<=> (Square-Matrix ?M)
     (And (Matrix ?M)
          (Same-Values ?M Column-Dimension Row-Dimension)))