D'abord développé dans CAYLEY, le projet vise d'une part à traduire nos programmes existants dans MAGMA et d'autre part, à construire des approches
nouvelles compte tenu de progrès théoriques accomplis par ailleurs. L'idée de base est de systématiser l'étude du treillis des sous-groupes d'un groupe
de divers points de vue.