The sym package

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.