Nuprl Definition : matrix-swap-cols
matrix-swap-cols(M;i;j) == matrix(M[x,if y=i then j else if y=j then i else y])
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
int_eq: if a=b then c else d
Definitions occuring in definition :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
int_eq: if a=b then c else d
FDL editor aliases :
matrix-swap-cols
Latex:
matrix-swap-cols(M;i;j) == matrix(M[x,if y=i then j else if y=j then i else y])
Date html generated:
2018_05_21-PM-09_34_20
Last ObjectModification:
2017_12_11-PM-03_55_33
Theory : matrices
Home
Index