Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP - # 26 (08-09-03)


Информационный Канал Subscribe.Ru

Рассылка "Система компьютерной алгебры GAP"
ведущий рассылки А.Б.Коновалов,
a_konovalov@hotmail.com
выпуск 26 от 08 сентября 2003 г.

СОДЕРЖАНИЕ ВЫПУСКА:
  1. К новому учебному году - новый мини-дистрибутив системы GAP 4.3
  2. Дистрибутив GAP 4.3 на CHIP-CD 9/2003
  3. Пакет KBMAG (Knuth-Bendix on Monoids, and Automatic Groups)
  4. Мальцевские чтения (Новосибирск, 17-19 ноября 2003)


К новому учебному году - новый мини-дистрибутив системы GAP 4.3


В разделе "Мини-тест" (http://ukrgap.exponenta.ru/UkrGAP/minitest.htm) обновлен мини-дистрибутив системы компьютерной алгебры GAP 4.3 для Windows, предлагаемый Вам для быстрого знакомства с системой. Он состоит из архива размером 3,98 Мб, помещающегося на трех стандартных дискетах, и после инсталляции будет занимать 21,7 Мб. Дистрибутив учитывает последнее обновление системы - bugfix 5 (июнь 2003), и содержит следующие каталоги: bin (exe-, dll-, bat-файлы), doc\htm (документация в формате htm), grp и lib (библиотеки функций на языке GAP).

Кроме того, мини-дистрибутив удобен для экономии свободного пространства на жестком диске (если, например, разработка и набор текста программы выполняется на одном компьютере, а обширные вычисления - на другом), а также для использования его в учебных целях. Минимальная инсталляция на одном из компьютеров даст возможность прочитать программу и проверить ее на отсутствие синтаксических ошибок, воспользоваться справочной системой и провести простейшие вычисления, если они не требуют наличия других модулей и пакетов системы GAP.

Следует отметить, что для профессиональной работы с системой рекомендуется выполнить более полную установку в соответствии с рекомендациями, содержащимися в разделе "Инсталляция" (http://ukrgap.exponenta.ru/Gap-dist.htm). Кроме того, как Вы узнаете из следующего сообщения, в Украине версия 4.3 доступна не только через Интернет, но и на компакт-диске - приложении к журналу "CHIP" 9/2003.



Дистрибутив GAP 4.3 на CHIP-CD 9/2003

CD-приложение к сентябрьскому номеру украинской редакции журнала "CHIP" за 2003 г. содержит целую коллекцию математических пакетов. Это не только система компьютерной алгебры GAP 4.3, но и программы FlatGraph 1.01, Graph Drawer 1.22, FNGraph 2.61, Wise Calculator 7.8, Advanced Grapher 2.08, Master Function 2.0, Fractan 4.4, Mat JV 0.15, Fast Formula Painter 2.1. Описание диска находится по адресу http://chip.ua/magazine/2003-09/cd.html.



Пакет KBMAG (Knuth-Bendix on Monoids, and Automatic Groups)

GAP Forum, 5 сентября 2003 г.

Пакет KBMAG, название которого означает "Knuth-Bendix on Monoids, and Automatic Groups" (автор - Derek Holt), успешно прошел реферирование и получил статус "accepted package". Этот пакет является усовершенствованной и адаптированной к GAP 4 версией одноименного пакета для GAP 3.

KBMAG состоит из отдельного пакета, написанного на языке программирования Си и работающего в UNIX-подобных операционных системах, и интерфейса для обращения к нему из системы GAP. Интерфейс позволяет применение KBMAG для конечно-представленных групп, моноидов и полугрупп, заданных в GAP. В некоторых случаях KBMAG может быть использован для проверки того, что заданная структура не является конечной, или того, что заданная подгруппа конечно-представленной группы имеет бесконечный индекс. Пакет также содержит набор функций для работы с конечными автоматами, к которым возможен доступ через GAP-интерфейс.

Пакет KBMAG можно получить на сайте системы GAP в разделе "Пакеты" (http://www.gap-system.org/Info4/share.html).



МАЛЬЦЕВСКИЕ ЧТЕНИЯ (Новосибирск, 17-19 ноября 2003)

Институт дискретной математики и информатики, Новосибирский государственный университет и Институт математики им. С. Л. Соболева СО РАН организуют традиционную международную конференцию "МАЛЬЦЕВСКИЕ ЧТЕНИЯ". В этом году конференция пройдет с 17 по 19 ноября в г. Новосибирске. По традиции, любое выступление на конференции приравнивается к выступлению на семинаре "Алгебра и логика", т. е. изложенные результаты могут быть представлены к публикации в журнале "Алгебра и логика".

Программный комитет возглавляет академик РАН Ю. Л. Ершов. Председатель организационного комитета - д.ф.-м.н., проф. А. С. Морозов.

К участию приглашаются специалисты по всем направлениям алгебры, математической логики: теории групп, теории колец, универсальной алгебре, теории решеток, теории алгоритмов, теории моделей, приложениям алгебры и логики в информационных технологиях, и т.д. В программу конференции будут включены пленарные и секционные доклады. Конференция пройдет в Институте математики им. С. Л. Соболева СО РАН.

Информацию о конференциях, проводимых ИМ СО РАН, можно найти по адресу http://math.nsc.ru/conference/index.html.


С уважением,
Коновалов Александр Борисович , председатель Украинской группы пользователей GAP ,
доцент кафедры алгебры и геометрии Запорожского государственного университета






















http://subscribe.ru/
E-mail: ask@subscribe.ru
Отписаться
Убрать рекламу

В избранное