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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Июнь 2002   →
 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


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


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

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

Статистика

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

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


Информационный Канал Subscribe.Ru 
Рассылка "Система компьютерной алгебры GAP"

Выпуск 11 от 10 июня 2002 г.

----------------------------------------------------------------------------

Здравствуйте, уважаемые подписчики!!!

Направляем Вам 11-й выпуск рассылки "Система компьютерной алгебры GAP".

За дополнительной информацией просим обращаться к ведущему рассылки по
адресу a_konovalov@hotmail.com

Содержание выпуска:

1. ANUPQ 1.1 - алгоритмы для работы с конечными р-группами в GAP

2. GRAPE 4.1 - теория графов в GAP

3. Научная конференция "Алгебраические методы дискретной математики"
(Луганск, Украина, 23-27 сентября 2002 г.)

4. Международная Алгебраическая конференция памяти З.И.Боревича
(Санкт-Петербург, Россия, 17-23 сентября 2002 г.)

5. Конференция, посвященная 100-летию начала работы Д.А.Граве в Киевском
университете
(Киев, Украина, 18-22 июня 2002 г.)

----------------------------------------------------------------------------

1. ANUPQ 1.1 - алгоритмы для работы с конечными р-группами в GAP

GAP Group сообщила о выходе нового share package для GAP4 - ANUPQ 1.1
(авторы - Eamonn O'Brien, Werner Nickel и Greg Gamble). Эта программа
написана на языках GAP и C, работает только в среде Unix/Linux, и
обеспечивает интерфейс GAP для программы ANUpq, которую Eamonn O'Brien
разработал на языке С.

ANUPQ 1.1 позволяет пользователям GAP 4.2 и 4.3 использовать множество
алгоритмов для создания и исследования конечных р-групп, включая так
называемые "p-quotient algorithm", "p-group generation algorithm" и
"standard presentation algorithm".

Программа ANUPQ 1.1 входит в состав архива accpkg4r3.zoo из дистрибутива GAP
4.3. Эта программа также может быть загружена c сайтов
http://www.math.rwth-aachen.de/~Greg.Gamble/anupq-1.1.zoo или
http://www-groups.dcs.st-and.ac.uk/~gap/Accepted/anupq.html, а также же
непосредственно по адресу
ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/accpkg/anupq-1.1.zoo или с
соответствующих зеркал дистрибутива системы GAP.

Предыдущая версия ANUPQ 1.0 была доступна только для GAP 3.4.4. Таким
образом, с момента выхода 4й версии системы GAP это первая совместимая с ней
версия ANUPQ, что, несомненно, будет являться большим удобством для
пользователей, вынужденных устанавливать обе версии системы для обеспечения
доступа ко всем реализованным в ней когда-либо алгоритмам. Несмотря на то,
что ANUPQ 1.1 совместима с как с GAP 4.2, так и с 4.3, для большей
эффективности и надежности все же рекомендуется работать со свежей версией
системы.

----------------------------------------------------------------------------

2. GRAPE 4.1 - теория графов в GAP

Вышла новая версия программы GRAPE 4.1 (GRaph Algorithms using PErmutation
groups) для работы с графами, разработанной, главным образом, для построения
и анализа графов, связанных с группами, конечными геометриями и теорией
принятия решений. Особое внимание уделяется определению свойств регулярности
и структуре подграфов. Идея программы заключается в том, что граф
связывается с известной подгруппой своей группы автоморфизмов, и эта группа
используется для сокращения объема сохраняемых данных и времени вычисления.
Конечно, эта группа может оказаться тривиальной, и в этом случае GRAPE может
работать дольше по сравнению с прямыми комбинаторными алгоритмами.

Программа GRAPE 4.1 входит в состав архива accpkg4r3.zoo из дистрибутива GAP
4.3, а также может быть загружена со страницы
http://www.gap-system.org/Share/grape.html, сожержащей также дальнейшую
информацию о ней. Несмотря на то, что она совместима с как с GAP 4.2, так и
с 4.3, рекомендуется работать со свежей версией системы.

Пример работы с GRAPE:

gap> RequirePackage("grape");

Loading  GRAPE 4.1  (GRaph Algorithms using PErmutation groups),
by L.H.Soicher@qmul.ac.uk.

true
gap> P := Graph( SymmetricGroup(5), [[1,2]], OnSets,
>             function(x,y) return Intersection(x,y)=[]; end );
rec( isGraph := true, order := 10,
  group := Group([ ( 1, 2, 3, 5, 7)( 4, 6, 8, 9,10), ( 2, 4)( 6, 9)(
7,10) ]),
  schreierVector := [ -1, 1, 1, 2, 1, 1, 1, 1, 2, 2 ],
  adjacencies := [ [ 3, 5, 8 ] ], representatives := [ 1 ],
  names := [ [ 1, 2 ], [ 2, 3 ], [ 3, 4 ], [ 1, 3 ], [ 4, 5 ], [ 2, 4 ],
      [ 1, 5 ], [ 3, 5 ], [ 1, 4 ], [ 2, 5 ] ] )
gap> Diameter(P);
2
gap> Girth(P);
5
gap> EP := EdgeGraph(P);
rec( isGraph := true, order := 15,
  group := Group([ ( 1, 4, 7, 2, 5)( 3, 6, 8, 9,12)(10,13,14,15,11),
      ( 4, 9)( 5,11)( 6,10)( 7, 8)(12,15)(13,14) ]),
  schreierVector := [ -1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 2, 1, 1, 1, 2 ],
  adjacencies := [ [ 2, 3, 7, 8 ] ], representatives := [ 1 ],
  isSimple := true,
  names := [ [ [ 1, 2 ], [ 3, 4 ] ], [ [ 1, 2 ], [ 4, 5 ] ],
      [ [ 1, 2 ], [ 3, 5 ] ], [ [ 2, 3 ], [ 4, 5 ] ], [ [ 2, 3 ], [ 1,
5 ] ],
      [ [ 2, 3 ], [ 1, 4 ] ], [ [ 3, 4 ], [ 1, 5 ] ], [ [ 3, 4 ], [ 2,
5 ] ],
      [ [ 1, 3 ], [ 4, 5 ] ], [ [ 1, 3 ], [ 2, 4 ] ], [ [ 1, 3 ], [ 2,
5 ] ],
      [ [ 2, 4 ], [ 1, 5 ] ], [ [ 2, 4 ], [ 3, 5 ] ], [ [ 3, 5 ], [ 1,
4 ] ],
      [ [ 1, 4 ], [ 2, 5 ] ] ] )
gap> GlobalParameters(EP);
[ [ 0, 0, 4 ], [ 1, 1, 2 ], [ 1, 2, 1 ], [ 4, 0, 0 ] ]

----------------------------------------------------------------------------

3. Научная конференция "Алгебраические методы дискретной математики"
(Украина, Луганск, 23-27 сентября 2002 г.)

Луганский государственный педагогический университет им. Тараса Шевченко,
Институт прикладной математики и механики НАН Украины, Киевский национальный
университет им. Тараса Шевченко и Национальный педагогический университет
им. М.П.Драгоманова организовывают 23-27 сентября 2002 г. на базе
Лаборатории теоретических и прикладных проблем математики Луганского
государственного педагогического университета научную конференцию
"Алгебраические методы дискретной математики". Основной задачей конференции
является координация исследований в обслати применения алгебраических
методов в таких разделах дискретной математики, как теория автоматов,
компьютерная алгебра, алгебраическая комбинаторика, теория кодирования, и
т.д. Перед началом конференции планируется издание сборника тезисов
конференции. Материалы конференции будут печататься в журнале "Algebra and
Discrete Mathematics", издание которого начинается в этом году.

----------------------------------------------------------------------------

4. Международная Алгебраическая конференция памяти З.И.Боревича
(Санкт-Петербург, Россия, 17-23 сентября 2002 г.)

Санкт-Петербургский государственный университет, Санкт-Петербургское
отделение Математического института им. В.А.Стеклова, Санкт-Петербургское
математическое общество, Эйлеровский Математический институт, ТПО "Северный
очаг" проводят с 17 по 23 сентября 2002 года в Санкт-Петербурге
Международную алгебраическую конференцию, посвященную 80-летию со дня
рождения З.И.Боревича.

Конференция будет проходить в главном здании Санкт-Петербургского
государственного университета, в центре Петербурга, по адресу:
Университетская набережная, 7/9 (вход с Менделеевской линии). Регистрация
участников конференции будет проходить в главном здании университета  16
сентября с 10 до 20 часов и 17 сентября с 9 часов. Вы должны
зарегистрироваться, чтобы получить направление на поселение и информацию о
конференции.

Регистрационный взнос для граждан СНГ - 1200 рублей. Ориентировочная
стоимость проживания от 300 до 600 рублей в сутки. Открытие конференции
состоится 17 сентября 2002 года в 10-30 в главном здании университета.
Программа конференции включает утренние и вечерние заседания. Часть работы
будет проходить по секциям. Предусматриваются следующие секции: Теория
Групп, Алгебраическая Теория Чисел, Алгебраическая Геометрия, Кольца и
Модули, Алгебраические Группы и Представления, Общая и Алгоритмическая
Алгебра.

На приглашение выступить с пленарными и часовыми секционными докладами
откликнулись многие ведущие математики, в том числе С.И.Aдян, Ф.Ван
Ойстайен, Э.Б.Винберг, К.Де Кончини,  Ли Шанчжы, В.Д.Мазуров, Ю.И.Манин,
А.В.Михалев, Б.И.Плоткин, А.А.Премет, К.Прочези, А.В.Ройтер, Й.Сегев,
Т.А.Спрингер, М.К.Тамбурини, М.Хазевинкель, И.Р.Шафаревич.

Имеется официальная страница конференции в Интернете:
http://www.umsolver.com/borevich.htm

----------------------------------------------------------------------------

5. Конференция, посвященная 100-летию начала работы Д.А.Граве в Киевском
университете
(Киев, Украина, 18-22 июня 2002 г.)

Конференция, посвященная 100-летию начала работы Д.А.Граве в Киевском
университете, будет проходить 18-22 июня 2002 г. на базе
механико-математического факультета Киевского Национального университета им
Т.Шевченко. День прибытия участников - понедельник, 17 июня, день отъезда -
суббота, 22 июня. Регистрация участников будет происходить 17 и 18 июня.

----------------------------------------------------------------------------

Полезные ссылки:
http://www.zsu.zp.ua/UkrGAP/ - Украинская группа пользователей GAP
http://www.gap-system.org/ - Система компьютерной алгебры GAP
http://subscribe.ru/catalog/science.exact.gap/ - наша рассылка
http://subscribe.ru/archive/science.exact.gap/ - архив нашей рассылки

----------------------------------------------------------------------------

С уважением,
Коновалов Александр Борисович,
Председатель Украинской группы пользователей GAP,
доцент кафедры алгебры и геометрии
Запорожского государственного университета
E-mail  : a_konovalov@hotmail.com
homepage: http://www.zsu.zp.ua/ppages/konoval/konov.htm
http://subscribe.ru/
E-mail: ask@subscribe.ru 		Отписаться
Убрать рекламу
В избранное