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

Система компьютерной алгебры GAP - # 30, 22-11-03


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

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

СОДЕРЖАНИЕ ВЫПУСКА:

  1. Избрание Эдмунда Робертсона Председателем Совета GAP
  2. 5000-й посетитель на нашем сайте !
  3. Рациональные числа в системе GAP
  4. Организаторам конференций: маркетинговая программа журнала "Exponenta Pro. Математика в приложениях"


Избрание Эдмунда Робертсона Председателем Совета GAP


GAP Forum: В октябре 2003 г. Председателем Совета GAP был избран Эдмунд Робертсон (Университет г.Сент-Эндрюс, Шотландия).

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

В 1995-2003 гг. Председателем Совета GAP являлся Чарльз Райт (Charles Wright, Университет штата Орегон, США). В его восьмилетний вклад в развитие системы, помимо участия в выработке ключевых решений и помощи разработчикам, входит также выполнение функций главного редактора в разработанной и внедренной им процедуре принятия пакетов GAP. Эта процедура подобна предварительному рецензированию статей, поданных для публикации в научные журналы, и, по-видимому, была первой из подобных процедур, применяемых в области разработки программного обеспечения.

Мы благодарим Чарльза Райта за все, что он сделал для развития системы GAP, и желаем Эдмунду Робетсону успехов и плодотворной работы в качестве нового Председателя Совета GAP.


На сайте Украинской группы пользователей GAP в разделе "Изучаем алгебру с GAP" опубликован материал по теме "Рациональные числа". Его полный текст приводится ниже.

Рациональные числа в системе GAP

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

Поскольку GAP может оперировать с целыми числами произвольной величины, то рациональная арифметика в GAP всегда является точной, даже в случае, когда числитель и знаменатель записываются с помощью тысяч цифр.

Все вышесказанное демонстрируется следующими примерами:
gap> 2/3;
2/3
gap> 66/123;
22/41 # после сокращения числитель и знаменатель стали взаимно просты
gap> 17/-13;
-17/13 # знак рационального числа "хранится" в числителе
gap> 121/11;
11 # после сокращения было получено целое число
gap> 18912132/414656456 + 4734788564/7867889513;
48002482065655475/74147072310457862
По аналогии с целыми числами, рациональные числа (как алгебраическая система) задаются с помощью функции Rationals:
gap> Size( Rationals ); 2/3 in Rationals;
infinity
true
Функция IsRat(obj) проверят, является ли obj рациональным числом:
gap> IsRat( 2/3 );
true
gap> IsRat( 17/-13 );
true
gap> IsRat( 11 );
true
gap> IsRat( IsRat );
false # поскольку IsRat - функция, а не рациональное число
Аналогично, функции IsPosRat(obj) и IsNegRat(obj) проверяют, является ли obj соответственно положительным и отрицательным рациональным числом.

Функция NumeratorRat возвращает числитель рационального числа rat:
gap> NumeratorRat( 2/3 );
2
gap> NumeratorRat( 66/123 );
22 # ответ после сокращения на наибольший общий делитель
gap> NumeratorRat( 17/-13 );
-17 # знак рационального числа "хранится" в числителе
gap> NumeratorRat( 11 );
11 # целые - это рациональные со знаменателем 1

Функция DenominatorRat возвращает знаменатель рационального числа rat:
gap> DenominatorRat( 2/3 );
3
gap> DenominatorRat( 66/123 );
41 # ответ после сокращения на наибольший общий делитель
gap> DenominatorRat( 17/-13 );
13 # знак рационального числа "хранится" в числителе
gap> DenominatorRat( 11 );
1 # целые - это рациональные со знаменателем 1
Функция Rat(elm) вовзращает рациональное число rat, которое определяется типом аргумента elm. Если elm является строкой, состоящей из цифр 0, 1, ... , 9 и знаков '-' (в первой позиции), '/' и десятичной точки '.', то rat - это рациональное число, описываемое данной строкой. Обратно, функция String может вычислить строку, описывающую рациональное число:
gap> Rat( "1/2" ); Rat( "35/14" ); Rat( "35/-27" ); Rat( "3.14159" );
1/2
5/2
-35/27
314159/100000
Random(Rationals) возвращает псевдослучайное число, являющееся частным двух случайных целых, которые лежат в диапазоне от -10 до 10 в соответствии с биномиальным распределением. Учтите, что для того, чтобы получить равномерное распределение целых чисел на заданном диапазоне, необходимо явно указать этот диапазон в виде Random( [ low .. high ] ).


5000-й посетитель на нашем сайте!!!

"Юбилейное" посещение было зарегистрировано с помощью системы PING в начале ноября. Таким образом, общее количество зафиксированных просмотров сайта с начала 2003 г. составляет около двух тысяч.


Организаторам конференций:
маркетинговая программа журнала "Exponenta Pro. Математика в приложениях"


Редакция журнала "Exponenta Pro. Математика в приложениях" приглашает к сотрудничеству оргкомитеты конференций в рамках своей новой маркетинговой программы

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

В рамках этой акции планируется предоставлять оргкомитетам бесплатно необходимое количество журналов "Exponenta Pro. Математика в приложениях" для распространения среди участников конференции. Список конференций, с которыми уже есть такие договоренности, размещен здесь:
http://www.exponenta.ru/journal/news/konf_2003.asp.

Также возможно бесплатное оформление подписки для членов организационного и программного комитетов.


С уважением,

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


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

В избранное