← Август 2004 → | ||||||
1
|
||||||
---|---|---|---|---|---|---|
2
|
4
|
5
|
6
|
7
|
8
|
|
10
|
11
|
12
|
13
|
14
|
15
|
|
16
|
17
|
18
|
19
|
20
|
22
|
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
31
|
За последние 60 дней ни разу не выходила
Сайт рассылки:
http://www.gap-system.org/ukrgap/
Открыта:
05-02-2002
Статистика
0 за неделю
Система компьютерной алгебры GAP - GAP на CHIP-CD 9/2004
Информационный Канал Subscribe.Ru |
(http://subscribe.ru/catalog/science.exact.gap/)
ведущий рассылки А.Б.Коновалов, a_konovalov@hotmail.com
выпуск 40 от 21 августа 2004 г.
на CHIP-CD 9/2004
2. Работа с алгебраическими объектами
3. Инсталляция системы
3.1. Системные требования
3.2. Основные этапы инсталляции
3.3. Содержание CHIP-CD
3.4. Инсталляция GAP в зависимости от операционной системы
3.4.1. Инсталляция GAP для UNIX (в т.ч. Linux и Mac OS X)
3.4.2. Инсталляция GAP для Windows
3.4.3. Инсталляция GAP для Macintosh (MacOS)
3.5. Тестирование
3.6. Нужна помощь?
3.7. Обратная связь
4. Первые шаги
- ядра системы, обеспечивающего интерпретацию языка GAP, работу с системой в программном и интерактивном режиме;
- библиотеки функций, в которой реализованы разнообразные алгебраические алгоритмы (более 4000 пользовательских функций, более 140000 строк программ на языке GAP);
- библиотеки данных, включая, например, библиотеку всех групп порядка не более 2000 (за исключением 49487365422 групп порядка 1024, точное количество которых также было определено с помощью системы GAP!), библиотеку примитивных групп подстановок, таблицы характеров конечных групп и т.д., что в совокупности составляет эффективное средство для выдвижения и тестирования научных гипотез;
- обширной (около полутора тысяч страниц) документации, доступной в разнообразных форматах (tex, ps, pdf, html), а также через Интернет.
3.1. Системные требования
3.2. Основные этапы инсталляции
- Получение и распаковка архивов.
- В UNIX/Linux - компиляция ядра GAP (исполняемые файлы для Windows и Macintosh входят в состав архивов).
- В UNIX/Linux - дальнейшая инсталляция некоторых пакетов для достижения их полной функциональности (не доступной в Windows и Macintosh).
- Настройка, в зависимости от операционной системы, ссылок, скриптов, командных файлов, ярлыков для обеспечения удобной работы с системой всех пользователей Вашего компьютера.
- Опционально: запуск некоторых тестов.
- Опционально, но приветствуется: сообщение в GAP Group о Вашей инсталляции.
3.3. Содержание CHIP-CD
- gap4r4p3.zoo - ядро системы GAP (включая исполнимые файлы для Windows и Mac).
- packages-2004_...UTC.zoo - объединенный архив пакетов для GAP (для последующего индивидуального обновления отдельных пакетов см. страницу http://www.gap-system.org/Packages/packages.html).
- xtom1r1.zoo - опциональный архив с некоторыми дополнительными таблицами меток (около 80 Мб в распакованном виде).
- tools4r4p2.zoo - некоторые утилиты, предназначенные, в основном, для авторов пакетов (подготовка документации и архивов).
- htmie4r4p2.zoo - документация, оптимизированная для более корректного отображения математических символов в Internet Explorer.
-
unzoo.c - для UNIX/Linux, команда для компиляции: cc -o unzoo -DSYS_IS_UNIX unzoo.c
-
unzoo.exe - для Windows
-
unzoo4r4-PPC.sit - для MacOS
unzoo -l XXX.zoo
Для его распаковки используется команда
unzoo -x XXX.zoo
(предупреждения о невозможности создания каталогов в процессе ее работы могут быть уверенно проигнорированы).
3.4. Инсталляция GAP в зависимости от операционной системы
./configure
make
setenv COPTS "-v9a -fast"
setenv LOPTS -static
./configure
make
./unzoo -x gap4r4p3.zoo
3.5. Тестирование
147808829414345923316083210206383297601
gap> G:=SymmetricGroup(10);
Sym( [ 1 .. 10 ] )
gap> Size(G);
3628800
gap> tst := Filename( DirectoriesLibrary("tst"), "testall.g" );;
gap> Read(tst);
You should start GAP4 using: gap -N -A -x 80 -r -m 100m'. The more
GAP4stones you get, the faster your system is. The runtime of
the following tests (in general) increases. You should expect
about 100000 GAP4stones on a Pentium 3, 1GHz.
The next' time is an approximation of the running time for the next test.
Architecture: i686-pc-linux-gnu-gcc
test file GAP4stones time(msec)
-------------------------------------------
testing: /cygdrive/d/GAP4R4/tst/zlattice.tst
zlattice.tst 0 219
[ ... много строк вывода ... ]
grppcnrm.tst 40534 37795 (next ~ 39 sec)
testing: /cygdrive/d/GAP4R4/tst/grpmat.tst
grpmat.tst 40783 38251
-------------------------------------------
total 37223 229058
gap> quit;
3.7. Обратная связь
Если Вы воспользовались CHIP-CD 9/2004 для установки системы GAP, мы также будем благодарны за краткое сообщение об этом по адресу a_konovalov (at) hotmail.com.
Если Вы использовали систему GAP в Вашем исследовании, просим Вас включить ее в библиографию и ссылаться на нее так же, как Вы ссылаетесь на книги и статьи (рекомендуемые форматы приведены на странице http://www.gap-system.org/Contacts/cite.html).
######### ###### ########### ###
############# ###### ############ ####
############## ######## ############# #####
############### ######## ##### ###### #####
###### # ######### ##### ##### ######
###### ########## ##### ##### #######
##### ##### #### ##### ###### ########
#### ##### ##### ############# ### ####
##### ####### #### #### ########### #### ####
##### ####### ##### ##### ###### #### ####
##### ####### ##### ##### ##### #############
##### ##### ################ ##### #############
###### ##### ################ ##### #############
################ ################## ##### ####
############### ##### ##### ##### ####
############# ##### ##### ##### ####
######### ##### ##### ##### ####
Information at: http://www.gap-system.org
Try '?help' for help. See also '?copyright' and '?authors'
Loading the library. Please be patient, this may take a while.
GAP4, Version: 4.4.3 of 3-May-2004, i686-pc-cygwin-gcc
Components: small 2.0, small2 2.0, small3 2.0, small4 1.0, id2 3.0, id3
2.1, id4 1.0, trans 1.0, prim 2.1 loaded.
Packages: AClib 1.1, Polycyclic 1.1, Alnuth 1.0, CrystCat 1.1.2,
Cryst 4.1.2, AutPGrp 1.2, CRISP 1.2, CTblLib 1.1.3, TomLib 1.1.1,
FactInt 1.3.1, GAPDoc 0.9999, LAGUNA 3.3.beta, Polenta 1.0,
ResClasses 1.1.1, Sophus 1.0 loaded.
gap>
gap> (9 - 7) * (5 + 6);
22
gap> 2^64;
18446744073709551616
gap> 3^132;
955004950796825236893190701774414011919935138974343129836853841
<<an integer too large to be printed>>
gap> a mod 100000;
82047
4
gap> Gcdex(100, 48);
rec( gcd := 4, coeff1 := 1, coeff2 := -2, coeff3 := -12, coeff4 := 25 )
gap> 100*1+48*-2;
4
gap> 100*-12+48*25;
0
[3, 5, 17, 257, 641, 65537, 6700417]
gap> FactorsInt(2^128-1);
[3, 5, 17, 257, 641, 65537, 274177, 6700417, 67280421310721]
gap> FactorsInt(2^200-1);
[3, 5, 5, 5, 11, 17, 31, 41, 101, 251, 401, 601, 1801, 4051, 8101, 61681, 268501, 340801, 2787601, 3173389601]
[ 1, 4, 9, 16, 25, 36, 49, 64, 81, 100 ]
[ 8, 12, 18, 20, 27, 28, 30, 42, 44, 45, 50, 52, 63, 66, 68, 70, 75, 76, 78,
92, 98, 99 ]
gap> A:=[[1,2,3,4],[4,2,1,5],[-1,10,0,0],[2,-4,7,0]];
[ [ 1, 2, 3, 4 ], [ 4, 2, 1, 5 ], [ -1, 10, 0, 0 ], [ 2, -4, 7, 0 ] ]
Для того, чтобы вывести ее на экран в удобочитаемой форме, используется команда Display:
gap> Display(A);
[ [ 1, 2, 3, 4 ],
[ 4, 2, 1, 5 ],
[ -1, 10, 0, 0 ],
[ 2, -4, 7, 0 ] ]
Вычислим определитель этой матрицы:
gap> DeterminantMat(A);
-932
[ 519/932, 36/233, -323/932, -243/932 ]
Проверим, что действительно было найдено решение системы:
gap> v*A;
[ 1, -1, 0, 3 ]
Можно задать подстановки и вычислить их произведение:
(1,2,3)
gap> (1,2,3) * (1,2);
(2,3)
Найти подстановку, обратную к данной:
gap> (1,2,3)^-1;
(1,3,2)
Найти образ точки под действием данной подстановки:
gap> 2^(1,2,3);
3
Вычислить подстановку, сопряженную с данной с помощью другой подстановки:
gap> (1,2,3)^(1,2);
(1,3,2)
Теперь зададим группу, порожденную двумя подстановками:
gap> s8 := Group( (1,2), (1,2,3,4,5,6,7,8) );
Group( [ (1,2), (1,2,3,4,5,6,7,8) ] )
Как известно, это есть не что иное, как симметрическая группа подстановок 8-й степени. Теперь мы можем вычислить ее коммутант:
gap> a8 := DerivedSubgroup( s8 );
Group([(1,2,3),(2,3,4),(2,4)(3,5),(2,6,4),(2,4)(5,7),(2,8,6,4)(3,5)])
Исследуем свойства коммутанта - найдем его порядок, проверим его коммутативность:
gap> Size( a8 ); IsAbelian( a8 );
20160
false
Материалы о системе компьютерной алгебры GAP на русском языке Вы можете найти, посетив сайт Украинской группы пользователей GAP (http://ukrgap.exponenta.ru/) и подписавшись на рассылку его новостей (http://subscribe.ru/catalog/science.exact.gap/). В частности, в разделе "Изучаем алгебру с GAP" этого сайта содержится серия примеров к курсу алгебры и теории чисел, а в разделе "Подробнее..." - методическое пособие по системе GAP.
http://subscribe.ru/
http://subscribe.ru/feedback/ |
Адрес подписки |
Отписаться |
В избранное | ||