GAP - Groups, Algorithms, Programming A System for Computational Discrete Algebra What is GAP? GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. See here