(quote ^,Module,List)

M^{i,j,k,...} -- provides the projection map from a free module M to the free module corresponding to the basis vectors whose index numbers are listed.

i1 : (ZZ^5)^{2,3}

o1 = | 0 0 1 0 0 |
     | 0 0 0 1 0 |

              2        5
o1 : Matrix ZZ  <--- ZZ

See also _, Module, and List.

topindexpreviousupnext