rowPermute -- permute some rows

• Usage:

  rowPermute(m,i,{...})

• Inputs:
  • m, a mutable matrix
  • i, an integer, starting row
  • a list of integers, denoting a permutation of 0..d, for some number d
• Consequences:

  • If the permutation is {p0,p1,...,pd}, then m is modified so that the i+j row becomes the i+pj row of the original matrix, for j=0..d

i1 : m = mutableMatrix map(ZZ^5,ZZ^6, (i,j) -> 100*i+j)

o1 = | 0   1   2   3   4   5   |
     | 100 101 102 103 104 105 |
     | 200 201 202 203 204 205 |
     | 300 301 302 303 304 305 |
     | 400 401 402 403 404 405 |

o1 : MutableMatrix

i2 : rowPermute(m,1,{2,0,1})

o2 = | 0   1   2   3   4   5   |
     | 300 301 302 303 304 305 |
     | 100 101 102 103 104 105 |
     | 200 201 202 203 204 205 |
     | 400 401 402 403 404 405 |

o2 : MutableMatrix