GAP: Überblick


Software

Kernel
geschrieben in C, ca. 70.000 LOC
Arithmetik, Programmiersprache, Benutzerinterface

Algorithmen-Bibliotheken
ca. 140.000 LOC
ca. 100 Gruppen Algorithmen
4 Darstellungen von Gruppen
wird mitgeliefert

Gruppen Bibliotheken/Datenbanken
Charaktertafeln
Gruppen deren Ordnung 256 und 729 teilt
primitive Permutations-Gruppen bis zur Ordnung 50
auflösbare Gruppen bis zur Ordnung 100
750 Charaktertafeln aus dem ATLAS
1395 modulare Charaktertafeln

zusätzliche Algorithmen-Bibliotheken
von verschiedenen Benutzergruppen
Verbindung zu anderen CA Programmen
graphisches Benutzerinterface XGAP

Mathematik

Permutationsgruppen
Orbits, Test auf primitive Gruppe
Ordnung, Centralizer, Normalizer, Composition Series,
Konjugierten Klassen, Sylow Untergruppen

Endlich-präsentierte Gruppen (finitly-presented)
Todd-Coxeter Nebenklassen Enumeration
Reidemeister-Schreier Algorithmus
Abelsche, nilpotente und auflösbare Quotienten

Endliche Polyzyklische Gruppen (finite polycyclic)
Power-Kommutator Präsentation
Ordnung, Centralizer, Normalizer, Composition Series,
Konjugierten Klassen, Sylow, Hall Untergruppen
Datenbank von Gruppen deren Ordnung 256 oder 729 teilt

Charaktertafeln (character tables)
alle Tafeln aus ATLAS 1 und 2
GAP wurde sehr stark bei der Berechnung des ATLAS 2 benutzt
Struktur Konstanten, Einbettungen,

Matrix Gruppen
Darstellungstheorie
Meat-axe von Parker

Share Bibliotheken
ANU p-Quotient
GRAPE, Gruppen und Graphentheorie
GUAVA, Kodierungstheorie
Weyl Gruppen und Hecke Algebren
KBMAG, Knuth-Bendix und automatische Gruppen
Sisyphos, Gruppenringe von p-Gruppen


[Previous] [Next] [Contents]