Nuprl Definition : matrix-mul-col

matrix-mul-col(r;k;i;M) ==  matrix(if y=i then M[x,y] else M[x,y])



Definitions occuring in Statement :  mx: matrix(M[x; y]) matrix-ap: M[i,j] infix_ap: y int_eq: if a=b then else d rng_times: *
Definitions occuring in definition :  mx: matrix(M[x; y]) int_eq: if a=b then else d infix_ap: y rng_times: * matrix-ap: M[i,j]
FDL editor aliases :  matrix-mul-col

Latex:
matrix-mul-col(r;k;i;M)  ==    matrix(if  y=i  then  k  *  M[x,y]  else  M[x,y])



Date html generated: 2018_05_21-PM-09_34_23
Last ObjectModification: 2017_12_11-PM-04_18_56

Theory : matrices


Home Index