TYP::Permutation
--
how permutations are encoded in mu-EC
This 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.
>> muEC::TYP::IsPerm( [2,3,1] );
TRUE
MuPAD Combinat, an open source algebraic combinatorics package