system for computational discrete algebra, with particular emphasis on Computational Group Theory.
Gap � un sistema per l'algebra discreta computazionale, con particolare enfasi sulla teoria del gruppo computazionale.