1.1 Коротка характеристика gap

Система комп'ютерної алгебри GAP ( http://www.gap-system.org <file:///d:\ Комп'ютерна%20алгебра\metgap43\tppmsgs\msgs0.htm> ), назва якої розшифровується як "Groups, Algorithms and Programming", була задумана близько 15 років тому як інструмент комбінаторної теорії груп - розділу алгебри, що вивчає групи, задані елементами, що породжують, і визначальними співвідношеннями, а з виходом кожної нової версії програми сфера її застосування охоплювала все нові і нові розділи алгебри.

Розробка системи була почата в 1986 р. в м. Аахен, Німеччина ( http://www.math.rwth-aachen.de/LDFM/ <file:///d:\ Комп'ютерна%20алгебра\metgap43\tppmsgs\msgs0.htm> ). У 1997 р. центр, який здійснює координацію розробки і технічну підтримку користувачів, перемістився в Університет р. Сент-ендрюс (Шотландія). Поточна версія системи - GAP 4.4.6 - вийшла в світ 2 вересня 2006 р.

Спочатку система GAP розроблялася під Unix, а потім була експортована для роботи в інших операційних системах. В даний час вона працює під різноманітними версіями Unix/linux, а також під Windows 9x, Windows NT, MACOS. Відмітимо, що продуктивність системи під Unix/linux зростає на 20-40% в порівнянні з Windows.

GAP є вільно поширюваною, відкритою і розширюваною системою. Вона розповсюджується безкоштовно (виняток можуть становити тільки накладні витрати), і користувачі можуть вільно передавати її іншим користувачам (з деякими обмеженнями, що стосуються модифікації системи або її частин). Далі, система поставляється разом з початковими текстами, які написані на двох мовах: ядро системи написане на Сі, а бібліотека функцій - на спеціальній мові, так званому GAP, який нагадує Pascal. Користувачі можуть створювати свої власні програми на цій мові, і тут початкові тексти є незамінною наочною допомогою. Нарешті розробники програм для GAP можуть оформити свої розробки у вигляді пакету для системи GAP і представити їх на розгляд в раду GAP. Після проходження процедури рецензування і схвалення радою GAP ця розробка включається в додаток до дистрибутива GAP для розповсюдження разом з ним, і прирівнюється до наукової публікації.

Окрім вже згаданих пакетів, система складається з наступних чотирьох основних компонент:

· ядра системи, що забезпечує підтримку мови GAP, роботу з системою в програмному і інтерактивному режимі;

· бібліотеки функцій, в якій реалізовані різноманітні алгоритми алгебри (більше 4000 призначених для користувача функцій, більше 140000 рядків програм на мові GAP);

· бібліотеки даних, включаючи, наприклад, бібліотеку всіх груп порядку не більше 2000 (за винятком 49487365422 груп близько 1024), бібліотеку примітивних груп підстановок, таблиці характерів кінцевих груп і так далі, що в сукупності складає ефективний засіб для висунення і тестування наукових гіпотез;

· обширній (близько півтора тисяч сторінок) документації, доступній в різноманітних форматах (tex, ps, pdf, htm), а також через інтернет.

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

The GAP Group Centre for Interdisciplinary Research in Computational Algebra University of St. Andrews Mathematical Institute The North Haugh St. Andrews, Fife, Ky16 9ss UK Fax: +44 (0)1334 463748 E-mail: support@gap-system.orghttp://www.gap-system.org <file:///d:\ Комп'ютерна%20алгебра\metgap43\tppmsgs\msgs0.htm>.

Для пошуку інформації про систему російською мовою рекомендуємо відвідати сайт Української групи користувачів GAP за адресою http://ukrgap.exponenta.ru/ <file:///d:\ Комп'ютерна%20алгебра\metgap43\tppmsgs\msgs0.htm>.