http://www.gap-system.org/ GAP - Groups, Algorithms, Programming -a System for Computational Discrete Algebra