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
i3 : GAP = newConnection "127.0.0.1:26135"
o3 = SCSCP Connection to GAP (4.dev) on 127.0.0.1:26135
o3 : SCSCPConnection
i4 : G = GAP <=== matrixGroup({m1,m2})
o4 = << Remote GAP object >>
o4 : RemoteObject
i5 : <== size G
o5 = 10080
i6 : close GAP
i7 :
|