Отправляет 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 - # 50, 14-05-2005 (GAP 4.4.5, LAGUNA 3.3.1)


Информационный Канал Subscribe.Ru
Рассылка "Система компьютерной алгебры GAP"
(http://subscribe.ru/catalog/science.exact.gap/)
ведущий рассылки А.Б.Коновалов, a_konovalov [at] hotmail [dot] com
выпуск 50 от 14 мая 2005 г.
GAP Forum, 13 мая 2005 г.
Выход GAP 4.4.5 и обновления для GAP 4.4

Выпущена очередная версия 4.4.5 системы GAP. Пользователям предыдущих версий системы достаточно произвести обновление до версии 4.4.5, если они используют одну из предыдущих версий GAP 4.4. Если же используется система GAP 4.3 или более ранняя, то вместо обновления необходима загрузка всего дистрибутива и полная инсталляция. Рекомендуем сделать это как можно скорее, так как в версии 4.4.5 исправлены выявленные в версии 4.4.4 ошибки, которые могут без предупреждения приводить к ложным результатам.

По сравнению с предыдущими обновлениями, нынешнее не только исправляет ошибки, но также добавляет в систему новые возможности и расширяет или уточняет документацию. С другой стороны, оно не является полномасштабным релизом, так как пользователям любой из суб-версий 4.4 не нужно полностью переустанавливать систему. Идея такого подхода заключается в том, чтобы дать возможность некоторым нововведениям и улучшениям оказаться в рабочей версии системы, не дожидаясь выхода следующего полного релиза. Это полезно, например, разработчикам пакетов, которым иногда нужны расширения ядра или библиотеки системы. Побочный эффект по сравнению с предыдущими обновлениями заключается в том, что объем обновления увеличивается в несколько раз, однако это компенсируется расширением функциональности системы.

Полный список новых возможностей и выявленных ошибок находится на странице http://www.gap-system.org/Download/bugs.html. Обновление и инструкции по его загрузке, инсталляции и тестированию находятся на странице http://www.gap-system.org/Download/upgrade.html. Там же находится раздел, описывающий проверку того, что Вы имеее последние версии всех пакетов, т.к. их новые версии могли быть выпущены независимо. Кроме того, в ближайшем будущем GAP 4.4.5 будет помещен на зеркало дистрибутива системы в Запорожском национальном университете, а пока, если Вы будете пользоваться этим зеркалом, Вы можете загрузить с него версию 4.4.4, а потом обновить ее до 4.4.5 с сайта GAP.

Некоторые из исправленных ошибок:
  • ошибка при вычислении пересечений подгрупп в PC-группах
  • вычисление замыкания группы подстановок с элементом из ее нормализатора может привести к повреждению цепи стабилизаторов
  • вычисление прообразов относительно отображения вложения в прямое произведение групп подстановок возвращает подстановку вместо fail в случае, если элемент не принадлежит образу
  • две ошибки в функции PowerMod для многочленов (сообщил Jack Schmidt)
  • некоторые методы для вычисления суммы идеалов возвращают первый из идеалов вместо их суммы
  • InducedPcgs(pcgs,H) иногда работает некорректно и может привести к непредсказуемому поведению
Некоторые улучшения и расширения функциональности:
  • в библиотеку малых групп добавлены:
    • группы порядков p^4, p^5, p^6 для произвольных простых p
    • группы, порядок которых свободен от квадратов
    • группы, порядок которых свободен от кубов и не превышает 50000 (пятьдесят тысяч)
  • новая функция StructureDescription для вычисления структурных описаний конечных групп, например:
gap> l := AllSmallGroups( Size, 8 );;
gap> List( l, StructureDescription );
[ "C8", "C4 x C2", "D8", "Q8", "C2 x C2 x C2" ]
11 мая 2005 г.

Новая версия пакета LAGUNA для вычислений в групповых кольцах

Выпущена новая версия 3.3.1 пакета LAGUNA, расширяющего функциональность системы GAP для вычислений в групповых кольцах (авторы - В.Бовди, Р.Россманиц, Ч.Шнайдер и А.Коновалов). Название пакета расшифровывается как "Lie AlGebras and UNits of group Algebras". Кроме определения некоторых общих характеристик групповых колец и их элементов, LAGUNA позволяет исследовать Лиевские свойства группового кольца конечной группы и вычислять нормированную мультипликативную группу модулярной групповой алгебры конечной р-группы над полем из р элементов. Пример работы с пакетом приведен в разделе "Изучаем алгебру с GAP". Дистрибутив и документация доступны на странице пакета LAGUNA,а также на сайте системы GAP в разделе "Пакеты".

В новой версии добавлены:
  • функции для быстрого построения левого/правого/двустороннего идеала группового кольца KG, порожденного элементами вида h-1, где h пробегает множество H\{1}, и H - подгруппа группы G (разработка А.Цапок)
  • метод для выбора случайного элемента из (нормированной) мультипликативной группы модулярной групповой алгебры конечной р-группы в ее естественном представлении (в предыдущей версии случайный выбор был доступен только в изоморфной ей РС-группе, т.е. группе, заданной абстрактными порождающими элементами и определяющими соотношениями)
  • метод для вложения подгруппы H исходной группы G в нормированную мультипликативную группу V(KG), заданную РС-представлением
  • операция PartialAugmentations, возвращающая список частичных аугментаций элемента произвольного (в т.ч. целочисленного) группового кольца конечной группы, и соответствующих им классов сопряженных элементов группы (разработка А.Цапок)
  • новый атрибут LieDerivedLength, хранящий Лиевскую ступень разрешимости алгебры Ли
  • вычисление бициклических единиц группового кольца для любой конечной группы, и вычисление группы, порожденной всеми бициклическими единицами для модулярной групповой алгебры конечной р-группы над полем из р элементов
  • вычисление унитарной подгруппы нормированной мультипликативной группы модулярной групповой алгебры конечной р-группы над полем из р элементов (непосредственный метод для групп малых порядков)
  • вычисление Лиевских коразмерностных подгрупп для конечных p-групп (при участии Е.Якименко).
Исправления и уточнения:
  • использование GeneratorsOfGroup заменено на использование MinimalGeneratingSet в функции DimensionBasis для устранения ошибки, проявляющейся при работе с группой SmallGroup(512,2)
  • модифицирована функция LieDerivedSubalgebra для обеспечения совместимости с пакетом Sophus
  • исправлена ошибка при вычислении индекса нильпотентности фундаментального идеала при p>2 (обнаружена И.К.Борге)
  • исправлена ошибка в функциях IsUnit и InverseOp при работе с элементами порядка q^n в характеристике p, где p и q взаимно просты
  • в вычисление нормированной мультипликативной группы добавлена установка свойства IsPGroup для обеспечения правильного выбора методов для работы с р-группами, например, при вычислении группы автоморфизмов группы V(KG) с помощью пакета AutPGrp
С уважением,
Александр Борисович Коновалов
председатель Украинской группы пользователей GAP (http://ukrgap.exponenta.ru/)
доцент кафедры алгебры и геометрии Запорожского государственного университета
E-mail: a_konovalov [at] hotmail [dot] com
http://subscribe.ru/
http://subscribe.ru/feedback/		 Подписан адрес:
Код этой рассылки: science.exact.gap		 Отписаться
В избранное