GAP (sistema de álgebra computacional)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
GAP
Desenvolvedor Universidade de St. Andrews; Universidade Técnica de Aachen; Universidade Técnica de Braunschweig; Universidade do Estado do Colorado
Versão estável 4.5.6 (16 de setembro de 2012; há 101 semanas e 4 dias)
Escrito em C
Sistema operativo Multiplataforma
Licença GNU General Public License
Página oficial http://www.gap-system.org

GAP (Grupos, Algoritmos e Programação) é um sistema de álgebra computacional para álgebra discreta computacional, com ênfase particular na teoria computacional de grupos.

História[editar | editar código-fonte]

O GAP foi desenvolvido no departamento de matemática (LDFM), da Universidade Técnica de Aachen na Alemanha, de 1986 a 1997. Depois que J. Neubüser se aposentou do LDFM, o desenvolvimento e manutenção do GAP foi coordenado pela Escola de Matemática e Ciências Computacionais na Universidade de St Andrews, na Escócia. No verão de 2005 a coordenação foi transferida uma parceria de quatro 'Centros GAP', localizados na Universidade de St Andrews; na Universidade Técnica de Aachen; na Universidade Técnica de Braunschweig; e na Universidade do Estado do Colorado em Fort Collins.

Sessão de exemplo[editar | editar código-fonte]

gap> G:=SmallGroup(8,1); # Define G como sendo um grupo de ordem 8.
<pc group of size 8 with 3 generators>
gap> i:=IsomorphismPermGroup(G); # Determina um isomorfismo de G para um grupo de permutações
<action isomorphism>
gap> Image(i,G); # A imagem de G sob I - estes são os geradores da imagem de G.
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)); # Todos os elementos da imagem de 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) ]

Ligações externas[editar | editar código-fonte]

Wiki letter w.svg Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.