1.2 Можливості для роботи з різними видами об'єктів алгебри

Перш за все, це можливість проводити обчислення з гігантськими цілими і раціональними числами, допустимі значення яких обмежені тільки об'ємом доступної пам'яті. Далі, система працює з циклотомічеськимі полями, кінцевими полями, р-адічеськимі числами, многочленами від багатьох змінних, раціональними функціями, векторами і матрицями. Користувачеві доступні різні комбінаторні функції, елементарні теоретико-числовые функції, різноманітні функції для роботи з множинами і списками.

Групи можуть бути задані в різній формі, наприклад, як групи підстановок, матричні групи, групи, задані елементами, що породжують, і визначальними співвідношеннями. Більш того, побудувавши, наприклад, групову алгебру, можна обчислити її мультиплікативну групу, і навіть задати її підгрупу, породжену конкретними оборотними елементами групової алгебри. Ряд груп може бути заданий безпосереднім зверненням до бібліотечних функцій (наприклад, симетрична і знакозмінна групи, група діедра, циклічна група і ін.). Функції для роботи з групами включають визначення порядку групи, обчислення класів зв'язаних елементів, центру і коммутанта групи, верхнього і нижнього центрального рядів, ряду коммутантов, Силовських підгруп, максимальних підгруп, нормальних підгруп, грат підгруп, груп автоморфізмов, і так далі Для ряду кінцевих груп доступне визначення їх типу ізоморфізму. Цікава демонстрація можливостей системи на прикладі побудови математичної моделі кубика Рубіка і дослідження групи підстановок, що описує його, за допомогою системи GAP може бути знайдена на сайті GAP за адресою http://www.gap-system.org/Doc/Examples/rubik.html <file:///d:\ Комп'ютерна%20алгебра\metgap43\tppmsgs\msgs0.htm>.

Теорія представлень груп також входить в сферу застосування системи GAP. Тут є інструменти для обчислення таблиць характерів конкретних груп, дій над характерами і інтерактивної побудови таблиць характерів, визначення теоретико-групповых властивостей на підставі властивостей таблиці характерів групи. Модулярниє представлення груп (тобто уявлення над полем, характеристика якого ділить порядок групи) також можуть бути досліджені за допомогою GAP. У останній версії системи істотним чином розширені можливості для роботи з векторними просторами, алгеброю і модулями. У системі можуть бути визначені векторні простори над всіма доступними полями і модулі над всіма доступними кільцями. Є алгоритми для обчислення структури скінченномірної алгебри Лі, яка може бути, наприклад, задані структурними константами або елементами, що породжують, обчислення різних їх Лієвських підалгебри і ідеалів. Серед інших сфер застосування системи - теорія графів і їх автоморфізмов, теорія кодування, групи Галуа, напівгрупи, кристалографічні групи, і багато що інше. Існує графічний інтерфейс XGAP, який працює під OC Linux або Unix і дозволяє, наприклад, графічно зобразити грати підгруп групи. Інформація про існуючі розробки для застосування в тій або проблемної області може бути знайдена на сайті GAP ( http://www.gap-system.org <file:///d:\ Комп'ютерна%20алгебра\metgap43\tppmsgs\msgs0.htm> ) в розділі "Packages". 1.2 Запуск GAP і вихід з системи

Запуск GAP в MS-DOS здійснюється за допомогою командного файлу gap.bat, який повинен знаходитися в каталозі, вказаному в команді PATH у файлі autoexec.bat. Якщо під час роботи з GAP необхідне читання програм (файлів з розширенням "g"), перед запуском GAP рекомендується перейти в той, що містить ці програми каталог (тут і далі передбачається, що читач вже володіє необхідними навиками роботи з ПЕВМ).

При успішному запуску GAP на екрані з'явиться емблема GAP. Після неї буде надрукована додаткова інформація про версію системи і встановлені компоненти, наприклад:

	######### ###### ########### ### ############# ###### ############ #### ############## ######## ############# ##### ############### ######## ##### ###### ##### ###### # ######### ##### ##### ###### ###### ########## ##### ##### ####### ##### ##### #### ##### ###### ######## #### ##### ##### ############# ### #### ##### ####### #### #### ########### #### #### ##### ####### ##### ##### ###### #### #### ##### ####### ##### ##### ##### ############# ##### ##### ################ ##### ############# ###### ##### ################ ##### ############# ################ ################## ##### #### ############### ##### ##### ##### #### ############# ##### ##### ##### #### ######### ##### ##### ##### ###

Information at: http://www.gap-system.org
Try '?help' for help. See also '?copyright' and '?authors'

Loading the library. Please be patient, this may take а while.
Gap4, Version: 4.4.6 of 02-Sep-2005, i686-pc-cygwin-gcc
Components: small 2.1, small2 2.0, small3 2.0, small4 1.0, small5 1.0,
small6 1.0, small7 1.0, small8 1.0, small9 1.0, small10 0.2,
id2 3.0, id3 2.1, id4 1.0, id5 1.0, id6 1.0, id9 1.0, id10 0.1,
trans 1.0, prim 2.1 loaded.
Packages: Aclib 1.1, Polycyclic 1.1, Alnuth 2.1.3, Crystcat 1.1.2,
Cryst 4.1.4, Autpgrp 1.2, CRISP 1.2.1, Ctbllib 1.1.3,
Tomlib 1.1.2, Factint 1.4.10, FGA 1.1.0.1, Gapdoc 0.9999,
IRREDSOL 1.0.9, LAGUNA 3.3.1, Sophus 1.21, Polenta 1.2.1,
Resclasses 2.1.1 loaded.
gap>


Запрошення системи (командний рядок) має наступний вигляд:

gap>

Для виходу з системи застосовується команда quit; (відмітимо, що будь-яка команда завершується крапкою з комою, після чого потрібно натиснути <Enter>).

Примітка. Для дублювання введених команд і результатів, що виводяться на екран, в текстовому файлі використовується команда Logto("filename.log"); . Ведення файлу протоколу може бути зупинене командою Logto(); (наприклад, щоб проглянути його вміст в іншому вікні Windows, не перериваючи сеансу роботи з GAP).