Кіріспе

бағдарламалық пакет

GAP (Groups, Algorithms and Programming) – есептеулік дискретті алгебра саласындағы, әсіресе есептеулік топтар теориясына баса назар қойылатын ашық кодты компьютерлік алгебра жүйесі.

Тарих

GAP 1986-1997 жылдары Германиядағы Рейн-Вестфальск техникалық жоғары мектебінің (LDFM) математика кафедрасында әзірленді. Жоахим Нойбузер LDFM кафедрасының төрағасы лауазымынан кеткеннен кейін GAP-ты әзірлеу және күтіп ұстауды Шотландияның Сент-Эндрюс университетінің математикалық және есептеу ғылымдары мектебі үйлестірді. 2005 жылдың жазында үйлестіру Сент-Эндрюс университетінде, Аахендегі RWTH, Брауншвейг техникалық университетінде және Форт-Коллинстегі Колорадо мемлекеттік университетінде орналасқан төрт «GAP орталығының» тең серіктестігіне берілді; 2020 жылдың сәуірінде TU Kaiserslautern-де орналасқан бесінші GAP орталығы қосылды.

Ерекшеліктері

GAP процедуралық бағдарламалау тілін және әртүрлі математикалық объектілерді жасау мен өңдеуге арналған кең функциялар жинағын қамтиды. Ол кез келген мөлшердегі бүтін және рационал сандарды, жадтың көлеміне қарай қолдайды. Шектеулі топтарды ауыстырулардың топтары ретінде анықтауға болады, сондай-ақ генераторлар мен қатынастарды көрсету арқылы шектеулі түрде берілген топтарды анықтауға да болады. Маңызды шектеулі топтардың бірнеше базасы қосылған. GAP матрицалармен және шектеулі өрістермен (Конвей полиномдары арқылы бейнеленетін) жұмыс істеуге мүмкіндік береді. Сақиналар, модульдер және Ли алгебралары да қолдау көрсетіледі.

Тарату

GAP және оның дереккөздері, оның ішінде пакеттер (пайдаланушылар ұсынған бағдарламалар жиынтығы), деректер кітапханасы (кіші топтар тізімін қоса алғанда) және нұсқаулық "copyleft" талаптарына сәйкес тегін таратылады. GAP кез келген Unix жүйесінде, Windows және Macintosh жүйелерінде жұмыс істейді. Стандартты таратуға шамамен 300 МБ қажет (барлық пакеттер жүктелген жағдайда 400 МБ шамасында). Пайдаланушылар ұсынған пакеттер – жүйенің маңызды мүмкіндігі, олар көптеген қосымша функцияларды ұсынады. GAP пакет авторларына осы пакеттерді сараптау процесінен өтуге мүмкіндік береді, соның арқасында түпкі пакеттердің сапасы артады және авторларына академиялық жарияланымға ұқсас мойынсоқ беріледі. 2021 жылғы мәлімет бойынша, GAP-пен 151 пакет таратылды, олардың шамамен 71-і осы процестен өтті. GAP ішінде SINGULAR компьютерлік алгебра жүйесін пайдалануға арналған интерфейс бар. GAP сондай-ақ SageMath математикалық бағдарламалық кешеніне де кіреді.