GAP (Groups, Algorithms and Programming) is a system for computational
discrete algebra with particular emphasis on, but not restricted to
computational group theory.

WWW: http://www.gap-system.org