Class ORTHOGONAL-MATRIX

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

Slots on this class:

Documentation:

An orthogonal-matrix is a square-matrix and its transpose is equal to its inverse.

Instance-Of: Class

Subclass-Of: Square-matrix

---

Slots on instances of this class:

Transpose:

Same-Slot-Values: Matrix-inverse

Equivalence Axioms:

(<=> (Orthogonal-Matrix ?M)
     (And (Square-Matrix ?M)
          (Same-Values ?M Transpose Matrix-Inverse)))

Axioms:

(Square-Matrix ?M)

Other Related Axioms:

(<=> (Orthogonal-Matrix ?M)
     (And (Square-Matrix ?M)
          (Same-Values ?M Transpose Matrix-Inverse)))