i1 : m1 = id_(QQ^10)^{1,6,2,7,3,8,4,9,5,0}
o1 = | 0 1 0 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 0 1 0 0 |
| 0 0 0 1 0 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 1 0 |
| 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 0 1 |
| 0 0 0 0 0 1 0 0 0 0 |
| 1 0 0 0 0 0 0 0 0 0 |
10 10
o1 : Matrix QQ <--- QQ
|
i2 : m2 = id_(QQ^10)^{1,0,2,3,4,5,6,7,8,9}
o2 = | 0 1 0 0 0 0 0 0 0 0 |
| 1 0 0 0 0 0 0 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 |
| 0 0 0 1 0 0 0 0 0 0 |
| 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 1 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 |
| 0 0 0 0 0 0 0 1 0 0 |
| 0 0 0 0 0 0 0 0 1 0 |
| 0 0 0 0 0 0 0 0 0 1 |
10 10
o2 : Matrix QQ <--- QQ
|