GAP (datoralgebrasystem)
GAP (från engelska. Groups, Algorithms, Programming - Groups , Algorithms , Programming ) är ett plattformsoberoende datoralgebrasystem för beräkningsdiskret algebra med särskild uppmärksamhet på beräkningsgruppteori , fritt distribuerat under villkoren i GNU GPL-licensen . Gemensam utveckling av universiteten i St. Andrews ( Skottland ), Aachen (sedan 1986), Braunschweig ( Tyskland ) och University of Colorado ( USA ).
Möjligheterna hos GAP-systemet kan utökas med hjälp av externa paket och bibliotek, eller genom att använda ett Pascal -liknande programmeringsspråk , även kallat GAP.
Utmärkelser
- 2008 vann GAP-systemutvecklingsteamet [1] Richard Jencks Memorial Prize. [2]
Ett exempel på att arbeta med GAP i konsolen
gap>G: = Liten grupp ( 8,1 ) ; # G deklareras som en grupp av order 8.
<st-grupp av storlek 8 med 3 generatorer>
gap>i: = IsomorphismPermGroup ( G ) ; # Hitta en isomorfism i av gruppen G med motsvarande permutationsgrupp
<action isomorphism>
gap>Bild ( i,G ) ; # Bilden av G under verkan av i. Resultatet är de genererande elementen i bilden.
Grupp ([ ( 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> Element ( Bild ( i,G )) ; # Alla element i bilden G under verkan av i.
[ ( ) , ( 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 ) ]
Anteckningar
- ↑ GAP-gruppen . Hämtad 16 juli 2009. Arkiverad från originalet 16 juli 2010. (obestämd)
- ↑ ACM/SIGSAM Richard Dimick Jenks minnespris för excellens i mjukvaruteknik tillämpas på datoralgebra . Hämtad 16 juli 2009. Arkiverad från originalet 3 augusti 2009. (obestämd)
Länkar