GAP ( Grupos , Algoritmos y Programación ) es un sistema de álgebra computacional para álgebra discreta computacional con especial énfasis en la teoría computacional de grupos .
Desarrollador (es) | |
---|---|
Lanzamiento estable | 4.11.1 / 2 de marzo de 2021 [1] |
Repositorio | |
Escrito en | C |
Sistema operativo | Multiplataforma |
Tipo | Sistema de álgebra informática |
Licencia | Licencia pública general GNU |
Sitio web | www |
Historia
GAP se desarrolló en Lehrstuhl D für Mathematik (LDFM), Rheinisch-Westfälische Technische Hochschule Aachen , Alemania de 1986 a 1997. Después de la jubilación de Joachim Neubüser de la cátedra de LDFM, el desarrollo y mantenimiento de GAP fue coordinado por la Escuela de Matemáticas y Ciencias Computacionales en la Universidad de St Andrews , Escocia . [2] En el verano de 2005, la coordinación se transfirió a una asociación equitativa de cuatro "Centros GAP", ubicados en la Universidad de St Andrews , RWTH Aachen, Technische Universität Braunschweig y la Universidad Estatal de Colorado en Fort Collins ; en abril de 2020, se agregó un quinto Centro GAP ubicado en TU Kaiserslautern [3]
Distribución
GAP y sus fuentes, incluidos los paquetes (conjuntos de programas aportados por el usuario), la biblioteca de datos (incluida una lista de grupos pequeños ) y el manual, se distribuyen libremente, sujetos a condiciones de " copyleft ". GAP se ejecuta en cualquier sistema Unix , en Windows y en sistemas Macintosh . La distribución estándar requiere alrededor de 300 MB (alrededor de 400 MB si todos los paquetes están cargados).
Los paquetes aportados por el usuario son una característica importante del sistema, que agregan una gran cantidad de funcionalidad. GAP ofrece a los autores de paquetes la oportunidad de enviar estos paquetes para un proceso de revisión por pares , con suerte mejorando la calidad de los paquetes finales y brindando un reconocimiento similar a una publicación académica para sus autores. A marzo de 2021[actualizar], hay 151 paquetes distribuidos con GAP, de los cuales aproximadamente 71 han pasado por este proceso.
Hay una interfaz disponible para usar el sistema de álgebra computarizada SINGULAR desde dentro de GAP. GAP también se incluye en el sistema de software matemático SageMath .
Sesión de muestra
brecha> G: = SmallGroup (8,1); # Configure G para que sea un grupo de orden 8.brecha> i: = IsomorphismPermGroup (G); # Encuentre un isomorfismo de G a un grupo de permutaciones. hueco> Imagen (i, G); # La imagen de G debajo de I: estos son los generadores de im G.Grupo ([(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> Elementos (Imagen (i, G)); # Todos los elementos de im G.[(), (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)]
Ver también
Referencias
- ^ "GAP 4.11.1" . www.gap-system.org . Consultado el 4 de marzo de 2021 .
- ^ "Algo de historia de GAP" . Sitio web oficial de GAP . Consultado el 27 de septiembre de 2019 .
- ^ "Centros GAP" . Sitio web oficial de GAP . Consultado el 18 de abril de 2020 .