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]