GAP (systém počítačové algebry)
GAP (z angl. Groups, Algorithms, Programming - Groups , Algorithms , Programming ) je multiplatformní systém počítačové algebry pro výpočetní diskrétní algebru se zvláštním důrazem na výpočetní teorii grup , volně šířený pod podmínkami licence GNU GPL . Společný rozvoj univerzit St. Andrews ( Skotsko ), Cáchy (od roku 1986), Braunschweig ( Německo ) a University of Colorado ( USA ).
Schopnosti systému GAP lze rozšířit pomocí externích balíčků a knihoven nebo pomocí programovacího jazyka podobného Pascalu , nazývaného také GAP.
Ocenění
- V roce 2008 vyhrál tým vývojářů systému GAP [1] cenu Richard Jencks Memorial Prize. [2]
Příklad práce s GAP v konzoli
mezera>G:
= Malá skupina
( 8 ,1
) ; # G je deklarováno jako skupina řádu 8.
<skupina ks velikosti
8 se
3 generátory>
mezera>i:
= IsomorfismusPermGroup
( G
) ; # Najděte izomorfismus i grupy G s odpovídající permutační grupou
<akční izomorfismus>
mezera>Obrázek
( i,G
) ; # Obraz G pod působením i. Výsledkem jsou generující prvky obrázku.
Skupina
([ ( 1 ,5,3,7,2,6,4,8
) ,
( 1 , 3,2,4
)( 5 ,7,6,8 )
, (
1,2 ) ( 3,4 ) ( 5 ,6
)( 7 ,8
) ])
mezera> Prvky
( Obrázek
( i,G
)) ; # Všechny prvky obrazu G při působení 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 ) ] _ _
Poznámky
- ↑ Skupina GAP . Získáno 16. července 2009. Archivováno z originálu 16. července 2010. (neurčitý)
- ↑ ACM/SIGSAM Pamětní cena Richarda Dimicka Jenkse za vynikající výsledky v softwarovém inženýrství aplikovaná na počítačovou algebru . Získáno 16. července 2009. Archivováno z originálu dne 3. srpna 2009. (neurčitý)
Odkazy