GAP is a system for computational discrete algebra