Nuprl Definition : matrix-mul-row
matrix-mul-row(r;k;i;M) == matrix(if x=i then k * M[x,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: *
Definitions occuring in definition :
mx: matrix(M[x; y]),
int_eq: if a=b then c else d,
infix_ap: x f y,
rng_times: *,
matrix-ap: M[i,j]
FDL editor aliases :
matrix-mul-row
Latex:
matrix-mul-row(r;k;i;M) == matrix(if x=i then k * M[x,y] else M[x,y])
Date html generated:
2018_05_21-PM-09_34_26
Last ObjectModification:
2017_12_11-PM-04_21_32
Theory : matrices
Home
Index