Nuprl Definition : Chio-condensation
Chio-condensation(r;n;A) == matrix((A[i,j] * A[n - 1,n - 1]) +r (-r (A[i,n - 1] * A[n - 1,j])))
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
infix_ap: x f y,
apply: f a,
subtract: n - m,
natural_number: $n,
rng_times: *,
rng_minus: -r,
rng_plus: +r
Definitions occuring in definition :
mx: matrix(M[x; y]),
rng_plus: +r,
apply: f a,
rng_minus: -r,
infix_ap: x f y,
rng_times: *,
matrix-ap: M[i,j],
subtract: n - m,
natural_number: $n
FDL editor aliases :
Chio-condensation
Latex:
Chio-condensation(r;n;A) == matrix((A[i,j] * A[n - 1,n - 1]) +r (-r (A[i,n - 1] * A[n - 1,j])))
Date html generated:
2018_05_21-PM-09_45_23
Last ObjectModification:
2017_12_14-PM-06_07_53
Theory : matrices
Home
Index