GAP is a system for computational discrete algebra, which has been developed with particular emphasis on computational group theory, but which has already proved useful also in other areas. The name GAP is an acronym for Groups, Algorithms, and Programming. Read more about it in