Module ^ List -- projection onto summand

Description

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

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

              2       5
o1 : Matrix ZZ  <-- ZZ

See also

• _ -- a binary operator, used for subscripting and access to elements
• Module -- the class of all modules
• List -- the class of all lists -- {...}