GAP (software)

from Wikipedia, the free encyclopedia
Cap
Basic data

developer GAP Group
Publishing year 1986
Current  version 4.11.0
( March 6, 2020 )
operating system Linux , Microsoft Windows , macOS , Unix , unixoid system
programming language C.
category Computer algebra system
License GPL ( Free Software )
German speaking No
www.gap-system.org

GAP ( acronym of: G roups, A lgorithms and P rogramming ) is a free computer algebra system . Similar to Mathematica , it is intended to perform calculations in the field of discrete algebra , especially in the field of algorithmic group theory .

history

GAP was developed between 1986 and 1997 at the Department of Mathematics at RWTH Aachen University . After the retirement of the responsible Prof. Joachim Neubüser responsibility for development and maintenance went to the University of Saint Andrews on Scotland. In March 2005, the coordination was divided among several GAP centers: the University of Saint Andrews, the RWTH Aachen, the Technical University of Braunschweig and the Colorado State University in Fort Collins . In April 2020, the Technical University of Kaiserslautern was added to the list of GAP centers.

In 2008 the developers of GAP, the GAP Group , were awarded the "ACM / SIGSAM Richard Dimick Jenks Memorial Prize for Excellence in Software Engineering applied to Computer Algebra". The award ceremony took place in July 2008 during the International Symposium on Symbolic and Algebraic Computation 2008 (ISSAC) in Linz .

System requirements

The software runs on every Unix system, as well as the Microsoft Windows and macOS operating systems . At least 32 MB disk space is required; the full distribution uses about 300MB. GAP and its source code are freely available under copyleft conditions ( GPL ).

Sample session

gap> G:=SmallGroup(8,1); # G sei die erste im Katalog enthaltene Gruppe mit 8 Elementen
<pc group of size 8 with 3 generators>
gap> i:=IsomorphismPermGroup(G); # suche einen Isomorphismus i auf eine Permutationsgruppe
<action isomorphism>
gap> Image(i,G); # das Bild von G unter i
Group([ (1,5,3,7,2,6,4,8), (1,3,2,4)(5,7,6,8), (1,2)(3,4)(5,6)(7,8) ])
gap> Elements(Image(i,G)); # alle Elemente des Bildes
[ (), (1,2)(3,4)(5,6)(7,8), (1,3,2,4)(5,7,6,8), (1,4,2,3)(5,8,6,7), 
   (1,5,3,7,2,6,4,8), (1,6,3,8,2,5,4,7), (1,7,4,5,2,8,3,6), (1,8,4,6,2,7,3,5) ]

Web links

Individual evidence

  1. ↑ Release 4.11.0 . March 6, 2020 (accessed March 7, 2020).
  2. ↑ GAP centers
  3. ↑ List of the award winners
  4. ↑ picture of the badge