Nuprl Definition : matrix+
matrix+(r;j;M) ==
matrix(if x=0
then if y=j then 1 else 0
else if (y) < (j) then M[x - 1,y] else if (j) < (y) then M[x - 1,y - 1] else 0)
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
less: if (a) < (b) then c else d,
int_eq: if a=b then c else d,
subtract: n - m,
natural_number: $n,
rng_one: 1,
rng_zero: 0
Definitions occuring in definition :
mx: matrix(M[x; y]),
int_eq: if a=b then c else d,
rng_one: 1,
less: if (a) < (b) then c else d,
matrix-ap: M[i,j],
subtract: n - m,
natural_number: $n,
rng_zero: 0
FDL editor aliases :
matrix+
Latex:
matrix+(r;j;M) ==
matrix(if x=0
then if y=j then 1 else 0
else if (y) < (j) then M[x - 1,y] else if (j) < (y) then M[x - 1,y - 1] else 0)
Date html generated:
2018_05_21-PM-09_37_24
Last ObjectModification:
2017_12_13-PM-05_10_23
Theory : matrices
Home
Index