Перейти до вмісту

GAP (система комп'ютерної алгебри)

Очікує на перевірку
Матеріал з Вікіпедії — вільної енциклопедії.
GAP
ТипСистема комп'ютерної алгебри
РозробникСент-Ендрюський університет; Рейнсько-Вестфальський технічний університет Аахена; Брауншвейзький технічний університет; Університет штату Колорадо
Стабільний випуск4.16.1 (23 серпня 2026; 2 місяці тому (2026-08-23)[1])
Операційна системаCross-platform
Мова програмуванняC
ЛіцензіяGPL
Репозиторійgithub.com/gap-system/gap
Вебсайтgap-system.org

GAP (англ. Groups, Algorithms and Programming) система комп'ютерної алгебри для обчислювальної дискретної алгебри з особливим акцентом на обчислювальну теорію груп.

Приклад використання

[ред. | ред. код]
gap> G:=SmallGroup(8,1); # Нехай G - перша з груп порядку 8 в каталозі GAP
<pc group of size 8 with 3 generators>
gap> isom:=IsomorphismPermGroup(G); # Iзоморфізм, який відображає G у групу підстановок
<action isomorphism>
gap> H:=Image(isom,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(H); # Всі елементи групи H
[ (), (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) ]

Посилання

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. ↑ GAP 4.16.1. www.gap-system.org. Процитовано 10 жовтня 2026.