@hackage sym0.4

Definitions for permutations with an emphasis on permutation patterns and statistics.

Math.Sym

Provides an efficient definition of standard permutations, StPerm, together with a typeclass, Perm, whose functionality is largely inherited from StPerm using a group action and the standardization map.

Math.Sym.D8

The dihedral group of order 8 acting on permutations.

Math.Sym.Stat

Common permutation statistics, such as des, inv, exc, maj, fp, comp, lmin, lmax, ...