Nuprl Definition : matrix-scalar-mul
k*M == matrix(k * M[x,y])
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
infix_ap: x f y,
rng_times: *
Definitions occuring in definition :
mx: matrix(M[x; y]),
infix_ap: x f y,
rng_times: *,
matrix-ap: M[i,j]
FDL editor aliases :
matrix-scalar-mul
Latex:
k*M == matrix(k * M[x,y])
Date html generated:
2018_05_21-PM-09_38_21
Last ObjectModification:
2017_12_13-PM-11_17_05
Theory : matrices
Home
Index