Groups, Algorithms, and Programming (GAP) ist ein System für numerische diskrete Algebra mit einem besonderen Schwerpunkt auf numerischer Gruppentheorie und verwandten Gebieten. Es stellt eine Pascal-ähnliche interpretierte Sprache, Datentypen für viele algebraische Objekte, eine Funktionsbibliothek und große Datenbibliotheken zur Verfügung. (non)