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