GAP (tietokonealgebrajärjestelmä)
GAP ( englanniksi Groups, Algorithms, Programming - Groups , Algorithms , Programming ) on eri alustojen välinen tietokonealgebrajärjestelmä laskennalliseen diskreettiin algebraan, jossa on kiinnitetty erityistä huomiota laskennalliseen ryhmäteoriaan ja jota jaetaan vapaasti GNU GPL -lisenssin ehtojen mukaisesti . St. Andrewsin ( Skotlanti ), Aachenin (vuodesta 1986), Braunschweigin ( Saksa ) ja Coloradon yliopiston ( USA ) yliopistojen yhteinen kehittäminen .
GAP-järjestelmän ominaisuuksia voidaan laajentaa käyttämällä ulkoisia paketteja ja kirjastoja tai käyttämällä Pascalin kaltaista ohjelmointikieltä , jota kutsutaan myös GAP:ksi.
Palkinnot
- Vuonna 2008 GAP-järjestelmän kehitystiimi [1] voitti Richard Jencks Memorial Prize -palkinnon. [2]
Esimerkki GAP-työskentelystä konsolissa
väli>G:
= Pieniryhmä
( 8 ,1
) ; # G on ilmoitettu ryhmäksi järjestys 8.
<kpl ryhmä kooltaan
8 ja
3 generaattoria>
gap>i:
= IsomorphismPermGroup
( G
) ; # Etsi ryhmän G isomorfismi i vastaavalla permutaatioryhmällä
<toiminnan isomorfismi>
aukko>Kuva
( i,G
) ; # G:n kuva i:n vaikutuksesta. Tuloksena ovat kuvan luovat elementit.
Ryhmä
([ ( 1 ,5,3,7,2,6,4,8
) ,
( 1 ,3,2,4
)( 5 ,7,6,8
) ,
( 1 ,2
)( 3 ,4
) ( 5 ,6
)( 7 ,8
) ])
väli> Elementit
( Kuva
( i,G
)) ; # Kaikki kuvan G elementit i:n vaikutuksesta.
[ () ,
( 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
) ]
Muistiinpanot
- ↑ GAP-ryhmä . Haettu 16. heinäkuuta 2009. Arkistoitu alkuperäisestä 16. heinäkuuta 2010. (määrätön)
- ↑ ACM/SIGSAM Richard Dimick Jenksin muistopalkinto ohjelmistotekniikan huippuosaamisesta, jota sovelletaan tietokonealgebraan . Haettu 16. heinäkuuta 2009. Arkistoitu alkuperäisestä 3. elokuuta 2009. (määrätön)
Linkit