GAP 4

Fiche logiciel validé
  • Création ou MAJ importante : 02/11/10
  • Correction mineure : 04/07/12
Mots-clés

GAP 4 : système de calcul effectif en algèbre

Description
Fonctionnalités générales

GAP 4 (Group, Algorithms, Programming) est un système de calcul effectif en algèbre, axé plus particulièrement sur la théorie algorithmique des groupes.
GAP 4 contient des milliers de fonctions algébriques, ainsi que de nombreuses bibliothèques de données, comme par exemple une implémentation des groupes finis d'ordre inférieur à 2000 (librairie SmallGroups), ou des tables de caractères de nombreux groupes finis (librairie CTblLib).
Par ailleurs, GAP possède un langage de programmation de haut niveau. GAP existe depuis 1986, et est principalement développé par les laboratoires Lehrsthul D für Mathematik RWTH Aachen et St Andrews.

Autres fonctionnalités

Calculs effectifs avec de nombreuses structures algébriques comme :

  • Les semis-groupes ;
  • Les monoïdes ;
  • Les espaces vectoriels ;
  • Les polynômes et les fonctions rationnelles ;
  • Les anneaux ;
  • Les modules ;
  • Les corps (corps finis, corps de nombres, extensions de corps) ;
  • Les algèbres de Lie ;
  • Les nombres p-adiques.
Interopérabilité

GAP est constitué d'un certain nombre de packages : http://www-gap.mcs.st-and.ac.uk/Packages/packages....

Contexte d'utilisation dans mon laboratoire/service

GAP est utilisé dans la recherche en théorie des groupes et des représentations.

Limitations, difficultés, fonctionnalités importantes non couvertes

GAP n'est pas adapté au calcul formel. Il permet cependant la manipulation des polynômes.

Environnement du logiciel
Distributions dans lesquelles ce logiciel est intégré

Intégré à la distribution GNU/Linux Debian et ses dérivées.

Autres logiciels aux fonctionnalités équivalentes
Environnement de développement
Type de structure associée au développement

GAP est développé sur la base d'une collaboration internationale : le "GAP group" et soutenu par un certain nombre de structures académiques : http://www-gap.mcs.st-and.ac.uk/Contacts/centres.html

Environnement utilisateur
Liste de diffusion ou de discussion, support et forums

forum [at] gap-system [dot] org
support [at] gap-system [dot] org

Documentation utilisateur
Contributions

Commentaires

Responsable thématique précédent

Cette fiche a d'abord été suivie par le responsable thématique Jean-Luc Archimbaud. Teresa Gomez-Diaz l'a reprise en mai 2012.