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

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Июль 2005   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP - #52, 11-07-2005 (GAP digest)


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

Рассылка "Система компьютерной алгебры GAP"
(http://subscribe.ru/catalog/science.exact.gap/)
ведущий рассылки А.Б.Коновалов, a_konovalov [at] hotmail [dot] com
выпуск 52 от 11 июля 2005 г.

Добрый день !

В этом выпуске рассылки - краткий обзор новостей, связанных с системой GAP, за последний период.
Как следует из названия, ресурс http://DesignTheory.org посвящен теории дизайнов. Дизайны (design, см. http://mathworld.wolfram.com/DesignTheory.html) - математические объекты, возникающие в некоторых задачах комбинаторики, статистической обработки экспериментальных данных и др.областях. Сайт создан в ходе работы над проектом, авторами которого являются R. A. Bailey, Peter J. Cameron, Peter Dobcsányi, John P. Morgan и Leonard H. Soicher из Queen Mary College (Лондон). На нем представлено программное обеспечение для создания, анализа и применения комбинаторных и статистических дизайнов, в т.ч. пакет Design для системы GAP, база данных блочных дизайнов, электронная энциклопедия по теории дизайнов, препринты и статьи по данной тематике, описание стандарта XML-представления дизайнов, а также предлагается подписка на два списка рассылки новостей.
David Joyner поместил на своей странице в разделе http://cadigweb.ew.usna.edu/~wdj/gap/ некоторые рекомендации и вспомогательные программы, которые могут сделать работу с системой GAP более эффективной:
Yevgen Muntyan работает над проектом создания графического интерфейса для GAP, который называется GGAP. Текущая версия программы может быть загружена со страницы http://ggap.sourceforge.net (там же можно посмотреть и скриншоты). GGAP работает в Linux, Windows и MacOS, имеет меню и панели инструментов, встроенный текстовый редактор. Завершение разработки будет существенным успехом в направлении создания графического интерфейса для системы GAP.
В вышедшей в мае 2005 г. новой версии GAP 4.4.5 существенно расширена библиотека групп малых порядков (см. http://www.gap-system.org/Packages/sgl.html или http://www-public.tu-bs.de:8080/~beick/soft/small/small.html), авторами которой являются Hans Ulrich Besche, Bettina Eick и Eamonn O'Brien). В данном контексте слово "малый" означает что порядок группы не превышает некоторой (изменяемой) границы или разлагается в произведение простых множителей, количество которых не превосходит некоторой (также изменяемой) границы.

В версии 4.4.5 в библиотеку групп малых порядков были добавлены:
  • группы порядков p^4, p^5, p^6 для произвольных простых p
  • группы, порядок которых свободен от квадратов
  • группы, порядок которых свободен от кубов и не превышает 50000
Таким образом, в настоящее время библиотека групп малых порядков содержит:
  • 423 164 062 группы порядка не более 2000, за исключением групп порядка 1024
  • 395 703 группы, порядок которых свободен от кубов и не превышает 50000
  • группы порядков p^n для n не превышающего 6 и произвольного простого p
  • группы порядков q^n * p, где q^n делит 2^8, 3^6, 5^5 или 7^4 и p - простое число, отличное от q
  • группы, порядок которых свободен от квадратов
  • группы, порядок которых разлагается в произведение не более чем трех простых чисел.
Кроме этого, функция IdGroup устанавливает тип изоморфизма, т.е. определяет номер заданной группы в библиотеке, для любой группы, изоморфной одной из групп библиотеки, за исключением групп порядков 512 и 1536, а также групп порядков p^5 и p^6, если их порядок превышает 2000.
3 мая Совет GAP объявил о принятии пакета RCWA (автор - Stefan Kohl). Пакет позволяет работать со специальными классами аффинных отображений евклидовых колец, так называемыми RCWA-отображениями (residue class-wise affine mappings). Например, таким является отображение из кольца целых чисел в себя, определенное следующим образом: f(n) = n/2, если n четное, и f(n) = (3n+1)/2, если n - нечетное - это отображение лежит в основе открытой до сих пор гипотезы о том, что если последовательно применять его, начав с любого целого числа, то полученная последовательность всегда достигнет единицы. Кроме того, пакет содержит методы для вычисления групп взаимнооднозначных RCWA-отображений евклидовых колец на себя. Такие группы являются интересными примерами бесконечных групп со слабо изученной в настоящее время структурой, и пакет RCWA представляет собой первую попытку продвинуться в этом направлении. Пакет RCWA может быть загружен со страницы http://www.gap-system.org/Packages/rcwa.html или со страницы http://www.cip.mathematik.uni-stuttgart.de/~kohlsn/rcwa.html.
23 мая Совет GAP объявил о принятии пакета FGA (автор - Christian Sievers). Пакет содержит методы для работы с конечнопорожденными подгруппами свободных групп. Он позволяет, работая с такими подгруппами, проверять принадлежность и сопряженность элементов, находить их порождающие элементы, ранг, индекс, нормализаторы, централизаторы, пересечения. Кроме того, он вычисляет порождающие элементы и определяющие соотношения для групп автоморфизмов таких групп и позволяет выразить через них любой автоморфизм этих групп. Пакет может быть загружен со страницы http://www.gap-system.org/Packages/fga.html или по адресу http://cayley.math.nat.tu-bs.de/software/sievers/FGA/FGA-1.1.tar.gz.
8 июня Andreas Distler объявил в GAP Forum о пакете radiroot, который позволяет выразить, если это возможно, корни полиномов в радикалах. В настоящее время пакет находится по адресу:
http://www.icm.tu-bs.de/ag_algebra/software/distler/radiroot/.

Обращаем внимание на то, что, помимо официальных пакетов, перечисленных на странице http://www.gap-system.org/Packages/packages.html, существует множество различных авторских разработок, использующих систему GAP. По мере информирования о них авторами, GAP Group публикует информацию о них на следующих страницах:
24 июня Sebastian Pauli и Sebastian Freundt из KANT Group Berlin объявили о интерфейсе, с помощью которого из GAP через Интернет можно получить доступ к библиотеке числовых полей системы KANT. Для этого на компьютер нужно дополнительно установить программу cURL (http://curl.haxx.se/). Необходимый программный код на языке GAP находится по адресу http://www.math.tu-berlin.de/~kant/download/kantdb.g.
Вышедшая в июне 2005 г. операционная система Debian 3.1 содержит (в стабильной ветви) Debian-пакеты для GAP 4.4.4 (http://packages.debian.org/stable/math/gap). В нестабильной ветви дистрибутива уже содержатся пакеты для GAP 4.4.5 (http://packages.debian.org/unstable/math/gap).
5 июля 2005 вышла новая версия пакета GUAVA 2.4, связанного с теорией кодирования (http://cadigweb.ew.usna.edu/~wdj/gap/GUAVA/). Заметим, что недавно в GAP Forum был анонсирован графический интерфейс к этому пакету - VisualGUAVA, который находится на http://visualguava.tk/.
С уважением,
Александр Борисович Коновалов
председатель Украинской группы пользователей GAP (http://ukrgap.exponenta.ru/)
доцент кафедры алгебры и геометрии Запорожского государственного университета
E-mail: a_konovalov [at] hotmail [dot] com
Subscribe.Ru
Поддержка подписчиков
Другие рассылки этой тематики
Другие рассылки этого автора 		Подписан адрес:
Код этой рассылки: science.exact.gap 		Отписаться
Вспомнить пароль
В избранное