Function COFACTOR

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

Slots on this function:

Documentation:

Function that returns (expt -1 (+ ?i ?j)) * determinant of the matrix less the row ?i and column ?j

Arity: 4

Axioms:

(Nth-Domain Cofactor 1 Square-Matrix)

(<=> (Cofactor ?M ?I ?J ?Cof)
     (And (Square-Matrix ?M)
          (< 1 (Size ?M))
          (Defined (Value ?M ?I ?J))
          (= ?Cof
             (* (Expt -1 (+ ?I ?J))
                (Determinant (Matrix-Less-Row-And-Column ?M ?I ?J))))))