Class INVERTIBLE-MATRIX

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

Slots on this class:

Documentation:

Class of the matrices that can be inverted

Subclass-Of: Square-matrix

Axioms:

(<=> (Invertible-Matrix ?M)
     (And (Square-Matrix ?M) (Not (Zero-Element (Determinant ?M)))))