Nuprl Definition : matrix-minor
The minor of an (n by m) matrix is an (n-1 by m-1) matrix obtained
by deleting row i and column j.⋅
matrix-minor(i;j;m) == λx,y. m[if (x) < (i) then x else (x + 1),if (y) < (j) then y else (y + 1)]
Definitions occuring in Statement :
matrix-ap: M[i,j],
less: if (a) < (b) then c else d,
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
matrix-ap: M[i,j],
less: if (a) < (b) then c else d,
add: n + m,
natural_number: $n
FDL editor aliases :
matrix-minor
Latex:
matrix-minor(i;j;m) ==
\mlambda{}x,y. m[if (x) < (i) then x else (x + 1),if (y) < (j) then y else (y + 1)]
Date html generated:
2018_05_21-PM-09_37_17
Last ObjectModification:
2017_12_12-AM-10_26_44
Theory : matrices
Home
Index