Nuprl Definition : matrix-swap-rows
matrix-swap-rows(M;i;j) == matrix(M[if x=i then j else if x=j then i else x,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-rows
Latex:
matrix-swap-rows(M;i;j) == matrix(M[if x=i then j else if x=j then i else x,y])
Date html generated:
2018_05_21-PM-09_34_17
Last ObjectModification:
2017_12_11-PM-00_29_23
Theory : matrices
Home
Index