w * v
The product of two permutations $p$ and $q$ is given by their composition, i.e., $ (p \circ q)(i) = p(q(i))$.
|
|
|
The two permutations do not need to be the same length.
|
|
|
The source of this document is in Permutations/Documentation/operationsDocs.m2:339:0.