Function MATRIX-INVERSE

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

Slots on this function:

Documentation:

Function that returns the inversion of a matrix

Arity: 2

Domain: Invertible-matrix

Range: Invertible-matrix

Axioms:

(<=> (Matrix-Inverse ?M ?M-1)
     (And (Invertible-Matrix ?M)
          (Invertible-Matrix ?M-1)
          (Identity-Matrix (* ?M ?M-1))
          (Identity-Matrix (* ?M-1 ?M))))