Nuprl Definition : row-op
row-op(r;a;b;k;M) == matrix(if x=a then M[x,y] +r (k * M[b,y]) else M[x,y])
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
infix_ap: x f y,
int_eq: if a=b then c else d,
rng_times: *,
rng_plus: +r
Definitions occuring in definition :
mx: matrix(M[x; y]),
int_eq: if a=b then c else d,
rng_plus: +r,
infix_ap: x f y,
rng_times: *,
matrix-ap: M[i,j]
FDL editor aliases :
row-op
Latex:
row-op(r;a;b;k;M) == matrix(if x=a then M[x,y] +r (k * M[b,y]) else M[x,y])
Date html generated:
2018_05_21-PM-09_36_51
Last ObjectModification:
2017_12_12-PM-03_00_03
Theory : matrices
Home
Index