Nuprl Definition : diagonal-matrix
diagonal-matrix(r;x.F[x]) == matrix(if x=y then F[x] else 0)
Definitions occuring in Statement :
mx: matrix(M[x; y]),
int_eq: if a=b then c else d,
rng_zero: 0
Definitions occuring in definition :
mx: matrix(M[x; y]),
int_eq: if a=b then c else d,
rng_zero: 0
FDL editor aliases :
diagonal-matrix
Latex:
diagonal-matrix(r;x.F[x]) == matrix(if x=y then F[x] else 0)
Date html generated:
2018_05_21-PM-09_38_09
Last ObjectModification:
2018_01_02-PM-02_57_55
Theory : matrices
Home
Index