(quote _,Module,List)

M_{i,j,k,...} -- provides a map from a free module to the module M which sends the basis vectors to the generators of M 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