package PermGroups

This package implements permutations (Perms), groups (Groups) and combines them to make permutation groups (PermGroups).

It just depends on the package Combinat. The modules Perms and Groups could be independent packages of their own.