What is GAP?

GAP (Groups, Algorithms, Programming) is a system for computational discrete algebra, with particular emphasis on computational group theory. It provides a programming language, a large library of algebraic objects and algorithms, and an extensive collection of documentation. GAP is used by researchers and educators for exploring algebraic structures, developing algorithms, and teaching abstract algebra.