TYP::Permutation --
how permutations are encoded in mu-EC
IntroductionThis part describes how the elements of the symmetric group of degree n, n>=1, are represented in mu-EC.
A permutation is denoted by the list of the images of i, for i in [1,n], under the permutation. In other words, a permutation perm is represented by the list [perm(1), ...,perm(n)] where perm(i) is the image of i under the permutation perm.
Example 1>> muEC::TYP::IsPerm( [2,3,1] );
TRUE
Related FunctionsMuPAD Combinat, an open source algebraic combinatorics package