Permutation Type
A permutation represented as a function from indices to indices.
If P is a Permutation, then P(i) gives the
new row index for row i (or vice versa).
A permutation represented as a function from indices to indices.
If P is a Permutation, then P(i) gives the
new row index for row i (or vice versa).