Function MATRIX-LESS-ROW-AND-COLUMN

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

Slots on this function:

Documentation:

Function that returns the matrix with a row and a column deleted

Arity: 4

Axioms:

(Nth-Domain Matrix-Less-Row-And-Column 4 Matrix)

(Nth-Domain Matrix-Less-Row-And-Column 1 Matrix)

(<=> (Matrix-Less-Row-And-Column ?A ?I ?J ?B)
     (And (Matrix ?A)
          (Defined (Row ?A ?I))
          (Defined (Column ?A ?J))
          (Matrix ?B)
          (= (Row-Dimension ?B) (- (Row-Dimension ?A) 1))
          (= (Column-Dimension ?B) (- (Column-Dimension ?A) 1))
          (= ?B (Matrix-Less-Row (Matrix-Less-Column ?A ?J) ?I))))