GAP is a system for computational discrete algebra
