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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Декабрь 2004   →
 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 - # 45, 13-12-04 (Алгоритм умножения подстановок)


Информационный Канал Subscribe.Ru
тБУУЩМЛБ "уЙУФЕНБ ЛПНРШАФЕТОПК БМЗЕВТЩ GAP"
http://subscribe.ru/catalog/science.exact.gap/
ЧЕДХЭЙК ТБУУЩМЛЙ б.в.лПОПЧБМПЧ, a_konovalov@hotmail.com
ЧЩРХУЛ 45 ПФ 13 ДЕЛБВТС 2004 З.
бМЗПТЙФН ХНОПЦЕОЙС РПДУФБОПЧПЛ
оБ УБКФЕ хЛТБЙОУЛПК ЗТХРРЩ РПМШЪПЧБФЕМЕК GAP (http://ukrgap.exponenta.ru/) Ч ТБЪДЕМЕ "йЪХЮБЕН БМЗЕВТХ У GAP" РПНЕЭЕО ОПЧЩК НБФЕТЙБМ РП ФЕНЕ "бМЗПТЙФН ХНОПЦЕОЙС РПДУФБОПЧПЛ". рТЕДМБЗБЕН чБН ПЪОБЛПНЙФШУС У ОЙН Ч ДБООПН ЧЩРХУЛЕ ТБУУЩМЛЙ.
оБРПНОЙН, ЮФП ЧЪБЙНОП ПДОПЪОБЮОПЕ ПФПВТБЦЕОЙЕ НОПЦЕУФЧБ M РЕТЧЩИ n ОБФХТБМШОЩИ ЮЙУЕМ ОБ УЕВС ОБЪЩЧБЕФУС РПДУФБОПЧЛПК n-К УФЕРЕОЙ. еУМЙ x - ЬМЕНЕОФ НОПЦЕУФЧБ M, Й s - РПДУФБОПЧЛБ, ФП ПВТБЪ ЬМЕНЕОФБ x РПД ДЕКУФЧЙЕН РПДУФБОПЧЛЙ s ПВПЪОБЮБЕФУС s(x). фПЗДБ ХНОПЦЕОЙЕ РПДУФБОПЧПЛ ПРТЕДЕМСЕФУС ЛБЛ ЛПНРПЪЙГЙС ПФПВТБЦЕОЙК:
(s1*s2)(x) = s1(s2(x)).

рПДУФБОПЧЛЙ СЧМСАФУС УФБОДБТФОЩНЙ ПВЯЕЛФБНЙ Ч УЙУФЕНЕ GAP. пОЙ ЪБДБАФУС Ч ЧЙДЕ РТПЙЪЧЕДЕОЙС ОЕЪБЧЙУЙНЩИ ГЙЛМПЧ. рТЙ ЬФПН ХНОПЦЕОЙЕ РПДУФБОПЧПЛ ЧЩРПМОСЕФУС УМЕЧБ ОБРТБЧП, Б ОЕ УРТБЧБ ОБМЕЧП. ьФП УЧСЪБОП У ФЕН, ЮФП ДМС ПВТБЪБ ФПЮЛЙ i РПД ДЕКУФЧЙЕН РПДУФБОПЧЛЙ p НПЦОП ЙУРПМШЪПЧБФШ ЛБЛ ПВПЪОБЮЕОЙЕ p(i), ФБЛ Й ПВПЪОБЮЕОЙЕ ip. ч GAP РТЙОСФ ЪБ ПУОПЧХ ЧФПТПК ЧБТЙБОФ ЪБРЙУЙ (РПУЛПМШЛХ ЪБРЙУШ p(i) ЙОФЕТРТЕФЙТПЧБМБУШ ВЩ ЛБЛ ПВТБЭЕОЙЕ Л ЖХОЛГЙЙ p У БТЗХНЕОФПН i), Й ip ЪБРЙУЩЧБЕФУС ЛБЛ i^p. фПЗДБ ЧЩРПМОСЕФУС УППФОПЫЕОЙЕ i^(p1*p2)=(i^p1)^p2, УППФЧЕФУФЧХАЭЕЕ РТБЧЙМХ (p1*p2)(i) = p1(p2(i)).

дМС ЙЪХЮЕОЙС БМЗПТЙФНБ ХНОПЦЕОЙС РПДУФБОПЧПЛ УРТБЧБ ОБМЕЧП РТЙЧЕДЕН РТЙНЕТ РТПЗТБННЩ ОБ СЪЩЛЕ GAP. ьФБ РТПЗТБННБ ТБВПФБЕФ У РПДУФБОПЧЛБНЙ, ЪБДБООЩНЙ Ч ЧЙДЕ РТПЙЪЧЕДЕОЙС ОЕЪБЧЙУЙНЩИ ГЙЛМПЧ Ч ЖПТНБФЕ [[a1,a2,...,ai],[b1,b2,...,bj],...,[z1,z2,...,zk]]. нЩ ЧЧПДЙН УЧПА ЪБРЙУШ РПДУФБОПЧПЛ, ПФМЙЮОХА ПФ РТЙОСФПК Ч GAP, УРЕГЙБМШОП ДМС ЙЪХЮЕОЙС РТБЧЙМБ ХНОПЦЕОЙС РПДУФБОПЧПЛ, Й ОЙ Ч ЛПЕН УМХЮБЕ ОЕ ДМС РТБЛФЙЮЕУЛПЗП РТЙНЕОЕОЙС Ч ОБХЮОЩИ ГЕМСИ, ФБЛ ЛБЛ Ч УЙУФЕНЕ GAP ХЦЕ ЙНЕЕФУС ОБНОПЗП ВПМЕЕ ЬЖЖЕЛФЙЧОБС ЧПЪНПЦОПУФШ ТБВПФЩ У РПДУФБОПЧЛБНЙ. дБООБС РТПЗТБННБ ФБЛЦЕ ДБЕФ РПОСФЙЕ П СЪЩЛЕ РТПЗТБННЙТПЧБОЙС GAP, ФБЛ ЛБЛ УПДЕТЦЙФ РТЙНЕТЩ ЕЗП ПУОПЧОЩИ ЛПОУФТХЛГЙК: ХУМПЧОЩЕ РЕТЕИПДЩ Й ФТЙ ТБЪМЙЮОЩИ ЧЙДБ ГЙЛМПЧ - for, while Й until.

уОБЮБМБ РТЙЧЕДЕН ФЕЛУФ РТПЗТБННЩ ВЕЪ ЛПННЕОФБТЙЕЧ, Б ЪБФЕН РПДТПВОП ЕЕ ТБЪВЕТЕН. фЕЛУФ ДБООПК РТПЗТБННЩ НПЗ ВЩ ВЩФШ УПЛТБЭЕО, ПДОБЛП ГЕМША БЧФПТБ СЧМСМБУШ ТБЪТБВПФЛБ Ч ХЮЕВОЩИ ГЕМСИ РТПЗТБННЩ, БМЗПТЙФН ЛПФПТПК НБЛУЙНБМШОП УППФЧЕФУФЧПЧБМ ВЩ РПУМЕДПЧБФЕМШОПУФЙ ЫБЗПЧ РТЙ ХНОПЦЕОЙЙ РПДУФБОПЧПЛ ЧТХЮОХА. рПЬФПНХ ПРФЙНЙЪБГЙС РТПЗТБННЩ РТЕДМБЗБЕФУС Ч ЛБЮЕУФЧЕ ХРТБЦОЕОЙС.

ProductOfTwoPermutations:=function( s1, s2 )
local c, i, p, points, pos, s, t, x;
s := Concatenation( s1, s2 );љ
if ForAny(s, x -> Length( x ) <> Length( Set( x ) ) ) then
љ Error("An argument do not represent a permutation !!!");
fi;
t := [];
points := Set( Flat( s ) );
while Length(points) > 0 do
љљљ c := [];љ
љ љ p := Minimum( points );
љљљ Add( c, p );
љљљ repeat
љљљљљљљ for i in [ Length(s), Length(s)-1 .. 1 ] do
љљљљљљљљљљљ if p in s[i] then
љљљљљљљљљљљљљљљ pos := Position( s[i], p );
љљљљљљљљљљљљљљљ if pos = Length( s[i] ) then
љљљљљљљљљљљљљљљљљљљ p := s[i][1];
љљљљљљљљљљљљљљљ else
љљљљљљљљљљљљљљљљљљљ p := s[i][pos+1];
љљљљљљљљљљљљљљљ fi;
љљљљљљљљљљљ fi;
љљљљљљљ od;
љљљљљљљ if p <> c[1] then
љљљљљљљљљљљ Add( c, p );
љљљљљљљ fi;
љљљ until p = c[1];
љљљ Add( t, c );љ
љ љ SubtractSet( points, c );
od;
return Filtered( t, x -> Length( x ) > 1 );
end;

чЧЕДС ДБООХА ЖХОЛГЙА, НЩ НПЦЕН ЧПУРПМШЪПЧБФШУС ЕК УМЕДХАЭЙН ПВТБЪПН:

gap> ProductOfTwoPermutations([[2,3,5,4],[1,6]], [[1,3,5]]);
[ [ 1, 5, 6 ], [ 2, 3, 4 ] ]

фЕРЕТШ ВПМЕЕ ДЕФБМШОП РТПЛПННЕОФЙТХЕН ЛБЦДХА УФТПЛХ РТПЗТБННЩ:

ProductOfTwoPermutations:=function( s1, s2 )
# йУРПМШЪХЕНЩЕ РЕТЕНЕООЩЕ:
local t, # ТЕЪХМШФЙТХАЭЙК УРЙУПЛ ОЕЪБЧЙУЙНЩИ ГЙЛМПЧ
љљљљљ s, # ПВЯЕДЙОЕООЩК УРЙУПЛ ОЕЪБЧЙУЙНЩИ ГЙЛМПЧ ЙЪ ТБЪМПЦЕОЙК
љљљљљљљљ # РПДУФБОПЧПЛ s1 Й s2 (УОБЮБМБ РЕТЕЮЙУМСАФУС ГЙЛМЩ ЙЪ
љљљљљљљљ # ТБЪМПЦЕОЙС РПДУФБОПЧЛЙ s1, РПФПН РПДУФБОПЧЛЙ s2)
љpoints, # НОПЦЕУФЧП ФПЮЕЛ, ЛПФПТЩЕ ЧИПДСФ Ч ЪБРЙУШ s1 Й s2
љљљљљ p, # ФЕЛХЭБС ФПЮЛБ
љљљљљ i, # УЮЕФЮЙЛ ГЙЛМПЧ Ч УРЙУЛЕ s
љљљ pos, # РПЪЙГЙС ФЕЛХЭЕК ФПЮЛЙ Ч ФЕЛХЭЕН ГЙЛМЕ s[i]
љљљљљ c, # ФЕЛХЭЙК ЖПТНЙТХЕНЩК ГЙЛМ, ЛПФПТЩК РПУМЕ ПЛПОЮБОЙС
љљљљљљљљ # ЕЗП ЖПТНЙТПЧБОЙС ДПВБЧМСЕФУС Л УРЙУЛХ t
љљљљљ x; # УМХЦЕВОБС РЕТЕНЕООБС (ЬМЕНЕОФ УРЙУЛБ РТЙ ЕЗП РЕТЕВПТЕ)
#
# ыБЗ 1. уПЕДЙОСЕН РЕТЧЩК Й ЧФПТПК БТЗХНЕОФЩ Ч ПДЙО УРЙУПЛ
# (Ф.Е. ЪБРЙУЩЧБЕН ЧФПТХА РПДУФБОПЧЛХ РПУМЕ РЕТЧПК)
s := Concatenation( s1, s2 );
#
# рТПЧЕТСЕН, ЮФП ЛБЦДЩК ГЙЛМ ОЕ УПДЕТЦЙФ РПЧФПТСАЭЙИУС ЬМЕНЕОФПЧ
# (Ч ДБООПК РТПЗТБННЕ ОЕ РТПЧЕТСЕФУС, ЮФП ГЙЛМЩ ОЕЪБЧЙУЙНЩ)
if ForAny(s, x -> Length( x ) <> Length( Set( x ) ) ) then
љ Error("An argument do not represent a permutation !!!");
fi;
#
# ыБЗ 2. уПЪДБЕН РХУФПК УРЙУПЛ, Ч ЛПФПТЩК Ч РТПГЕУУЕ ТБУЮЕФБ
# ВХДХФ ДПВБЧМСФШУС УРЙУЛЙ, УППФЧЕФУФЧХАЭЙЕ ОЕЪБЧЙУЙНЩН ГЙЛМБН
# ЙЪ ТБЪМПЦЕОЙС ЙФПЗПЧПК РПДУФБОПЧЛЙ
t := [];
#
# ыБЗ 3. жПТНЙТХЕН НОПЦЕУФЧП ФПЮЕЛ, ЧИПДСЭЙИ Ч ЪБДБООЩЕ РПДУФБОПЧЛЙ
# (ДТХЗЙЕ ФПЮЛЙ НЩ ОЕ ТБУУНБФТЙЧБЕН). пОП ВХДЕФ ОХЦОП ОБН ДМС
# ЧЩВПТБ ФПЮЕЛ, ЛПФПТЩЕ ЕЭЕ ОЕ ВЩМЙ ОБНЙ ТБУУНПФТЕОЩ, Ф.Е. ОЕ ЧИПДСФ
# Ч ХЦЕ УЖПТНЙТПЧБООЩЕ ГЙЛМЩ ТЕЪХМШФЙТХАЭЕК РПДУФБОПЧЛЙ t.
points := Set( Flat( s ) );
#
# ыБЗ 4. рПУМЕДПЧБФЕМШОЩК ЧЩВПТ ФПЮЛЙ p ЙЪ НОПЦЕУФЧБ ЕЭЕ ОЕ ЧИПДСЭЙИ
# Ч ЪБРЙУШ s1*s2 ФПЮЕЛ. у ЧЩВТБООПК ФПЮЛЙ p ОБЮЙОБЕФУС ЖПТНЙТПЧБОЙЕ
# ОПЧПЗП ГЙЛМБ (ЕЗП ЪБРЙУШ НПЦОП ОБЮЙОБФШ У МАВПК ФПЮЛЙ, ОП ДМС
# ХДПВУФЧБ НЩ ЧЩВЙТБЕН Ч ЛБЮЕУФЧЕ Т НЙОЙНБМШОХА ЙЪ ФБЛЙИ ФПЮЕЛ).
while Length(points) > 0 do
љ # ыБЗ 4.1.
љ # УПЪДБЕН РХУФПК УРЙУПЛ c, Ч ЛПФПТЩК ВХДЕН ЪБРЙУЩЧБФШ ФПЮЛЙ ГЙЛМБ
љ # (ЙОЩНЙ УМПЧБНЙ, ПФЛТЩЧБЕН МЕЧХА УЛПВЛХ)
љ c := [];
љ # чЩВПТ НЙОЙНБМШОПЗП p, ЕЭЕ ОЕ ЧИПДСЭЕЗП Ч ЪБРЙУШ s1*s2
љ p := Minimum( points );
љ # ЪБРЙУЩЧБЕН Т Ч УРЙУПЛ c - ЬФП РЕТЧЩК ЬМЕНЕОФ ОБЫЕЗП ГЙЛМБ
љ Add( c, p );
љ # ыБЗ 4.2. рТПДПМЦЕОЙЕ ЖПТНЙТПЧБОЙЕ ГЙЛМБ c: ЕУМЙ ОБ ОЕЛПФПТПН ЫБЗЕ
љ # ЕЗП РПУМЕДОЙК ЬМЕНЕОФ - ФПЮЛБ p, ФП ДПВБЧМСЕН Л ГЙЛМХ c ПВТБЪ
љ # ФПЮЛЙ p РПД ДЕКУФЧЙЕН РПДУФБОПЧЛЙ s1*s2. рТПГЕУУ РТПДПМЦБЕН
љ # ДП ФЕИ РПТ, РПЛБ ГЙЛМ ОЕ ЪБНЛОЕФУС, Ф.Е. РПЛБ ОЕ РПМХЮЙН РЕТЧЩК
љ # ЬМЕНЕОФ ГЙЛМБ c.
љ repeat
љљљ # ыБЗ 4.3. рЕТЕВПТ ГЙЛМПЧ ЙЪ УРЙУЛБ s Ч ПВТБФОПН РПТСДЛЕ
љљљ # ДМС ПРТЕДЕМЕОЙС ПВТБЪБ ФПЮЛЙ p
љљљ for i in [ Length(s), Length(s)-1 .. 1 ] do
љљљљљ # ЕУМЙ ФЕЛХЭЙК ГЙЛМ s[i] ОЕ УПДЕТЦЙФ p, НЩ ЕЗП РТПРХУЛБЕН
љљљљљ if p in s[i] then
љљљљљљљ # ЙОБЮЕ ПРТЕДЕМСЕН ОПНЕТ ФПЮЛЙ p Ч ГЙЛМЕ s[i]
љљљљљљљ pos := Position( s[i], p );
љљљљљљљ if pos = Length( s[i] ) then
љљљљљљљљљ # ЕУМЙ ФПЮЛБ Т - РПУМЕДОСС Ч ГЙЛМЕ s[i], ФП ПОБ
љљљљљљљљљ # РЕТЕИПДЙФ Ч РЕТЧЩК ЕЗП ЬМЕНЕОФ
љљљљљљљљљ p := s[i][1];
љљљљљљљ else
љљљљљљљљљ # Ч РТПФЙЧОПН УМХЮБЕ ПОБ РЕТЕИПДЙФ Ч ЬМЕНЕОФ ГЙЛМБ
љљљљљљљљљ # У ОПНЕТПН, ОБ ЕДЙОЙГХ ВПМШЫЙН, Ф.Е. УМЕДХАЭЙК ЪБ ОЕК
љљљљљљљљљ p := s[i][pos+1];
љљљљљљљ fi;
љљљљљ fi;
љљљљљ # ЕУМЙ i ОЕ ТБЧОСЕФУС ЕДЙОЙГЕ, ФП ЧПЪЧТБЭБЕНУС ОБ ЫБЗ 4.2,
љљљљљ # ХНЕОШЫБС i ОБ ЕДЙОЙГХ (Ф.Л. РЕТЕВЙТБЕН ГЙЛМЩ УРТБЧБ ОБМЕЧП)
љљљ od;
љљљ # Ч ТЕЪХМШФБФЕ РПУМЕ ЫБЗБ 4.3 ЧНЕУФП ЙУИПДОПЗП ЪОБЮЕОЙС Т
љљљ # НЩ РПМХЮЙМЙ ЕЗП ПВТБЪ РПД ДЕКУФЧЙЕН РПДУФБОПЧЛЙ s1*s2. еУМЙ
љљљ # ЬФПФ ПВТБЪ УПЧРБДБЕФ У РЕТЧЩН ЬМЕНЕОФПН ЖПТНЙТХЕНПЗП ГЙЛМБ,
љљљ # ФП ГЙЛМ ЪБНЛОХМУС (УФБЧЙН РТБЧХА УЛПВЛХ). ч РТПФЙЧОПН УМХЮБЕ
љљљ # ДПВБЧМСЕН ЬФПФ ЬМЕНЕОФ Л ГЙЛМХ Й ЧПЧЪТБЭБЕНУС ОБ ЫБЗ 4.2
љљљ if p <> c[1] then
љљљљљ Add( c, p );љљљ
љљљ fi;
љ until p = c[1];
љ # дПВБЧМСЕН РПМХЮЕООЩК ГЙЛМ Л ТЕЪХМШФЙТХАЭЕНХ УРЙУЛХ t
љ Add( t, c );љљљ
љ # фЕРЕТШ ХДБМСЕН ЙЪ УРЙУЛБ points ЧУЕ ФПЮЛЙ, ЧИПДСЭЙЕ Ч ГЙЛМ c,
љ # ДМС ФПЗП, ЮФПВЩ ЪБФЕН ПРТЕДЕМЙФШ, ЛБЛЙЕ ЕЭЕ ФПЮЛЙ ОЕ ВЩМЙ ХЮФЕОЩ
љ SubtractSet( points, c );
љ # еУМЙ РПУМЕ ЬФПЗП УРЙУПЛ points ЕЭЕ ОЕ РХУФ, ФП ЧПЪЧТБЭБЕНУС
љ # ОБ ЫБЗ 4 Й ОБЮЙОБЕН ЖПТНЙТПЧБОЙЕ УМЕДХАЭЕЗП ГЙЛМБ
od;
# ЕУМЙ ЦЕ РЕТЕВТБМЙ ХЦЕ ЧУЕ ЧПЪНПЦОЩЕ ФПЮЛЙ, ФП ХДБМСЕН ЙЪ
# УРЙУЛБ t ГЙЛМЩ ЕДЙОЙЮОПК ДМЙОЩ, Б ЪБФЕН ЧПЪЧТБЭБЕН ТЕЪХМШФБФ
return Filtered( t, x -> Length( x ) > 1 );
end;
вМПЛ-УИЕНБ
вМПЛ-УИЕНБ ДБООПК РТПЗТБННЩ ОБИПДЙФУС ЪДЕУШ.

тБВПФХ РТПЗТБННЩ НПЦОП ХУПЧЕТЫЕОУФЧПЧБФШ, УДЕМБЧ ЕЕ ВПМЕЕ ОБЗМСДОПК. лПОЕЮОП, ОЕУМПЦОП ВЩМП ВЩ РТПУФП ЧУФБЧЙФШ Ч ОЕЕ РТПНЕЦХФПЮОХА РЕЮБФШ ТЕЪХМШФБФПЧ. пДОБЛП, НЩ РТПДЕНПОУФТЙТХЕН ДТХЗПК РПДИПД, РПЪЧПМСАЭЙК ХРТБЧМСФШ ПВЯЕНПН ЙОЖПТНБГЙЙ, ЧЩЧПДЙНПК ОБ ЬЛТБО, ВЕЪ РПУМЕДХАЭЕЗП ЧОЕУЕОЙС ЙЪНЕОЕОЙК Ч РТПЗТБННХ. дМС ЬФПЗП ОХЦОП ЧЧЕУФЙ ЛПНБОДХ

DeclareInfoClass("MyInfo");

ьФБ ЛПНБОДБ ПРТЕДЕМСЕФ ФБЛ ОБЪЩЧБЕНЩК InfoClass РПД ЙНЕОЕН "MyInfo". еНХ УППФЧЕФУФЧХЕФ ХТПЧЕОШ ЧЩЧПДБ ЙОЖПТНБГЙЙ, ЛПФПТЩК ОБЪЩЧБЕФУСљ InfoLevel. рП ХНПМЮБОЙА InfoLevel ДМС ЧОПЧШ УПЪДБООПЗП ЛМБУУБ ТБЧЕО ОХМА, Й ОЙЛБЛЙЕ ЙОЖПТНБГЙПООЩЕ УППВЭЕОЙС ОЕ РЕЮБФБАФУС. дБМЕЕ, ДМС РЕЮБФЙ ЙОЖПТНБГЙПООЩИ УППВЭЕОЙК Ч РТПЗТБННХ ЧЛМАЮБАФУС УФТПЛЙ ЧЙДБ

Info( MyInfo, i, "text", variable );

еУМЙ ФЕРЕТШ ЧЧЕУФЙ, ОБРТЙНЕТ, ЛПНБОДХ

SetInfoLevel(MyInfo,1);

ФП РТЙ ЬФПН ЧУЕ ЙОЖПТНБГЙПООЩЕ УППВЭЕОЙС, Х ЛПФПТЩИ РБТБНЕФТ i ОЕ ВХДЕФ РТЕЧЩЫБФШ 1, ВХДХФ ЧЩДБЧБФШ ЙОЖПТНБГЙА ОБ ЬЛТБО, Б УППВЭЕОЙС У ВПМШЫЙН ЪОБЮЕОЙЕН РБТБНЕФТБ i ВХДХФ ЙЗОПТЙТПЧБФШУС.

рТЙЧЕДЕООБС ЧЩЫЕ РТПЗТБННБ У ЛПННЕОФБТЙСНЙ, Ч ЛПФПТПК ФБЛЦЕ ДПВБЧМЕОБ РЕЮБФШ ЙОЖПТНБГЙПООЩИ УППВЭЕОЙК, ОБИПДЙФУС ЪДЕУШ. рПУМЕ ЮФЕОЙС ЕЕ ЛПНБОДПК

gap> Read("prodperm.g");

ДМС ЧЛМАЮЕОЙС ТЕЦЙНБ РЕЮБФЙ ЙОЖПТНБГЙПООЩИ УППВЭЕОЙК ОХЦОП ЧЧЕУФЙ ЛПНБОДХ

gap> SetInfoLevel(MyInfo,1);

фПЗДБ ТБВПФБ У РПДУФБОПЧЛБНЙ ВХДЕФ ЧЩЗМСДЕФШ ФБЛ:

gap> ProductOfTwoPermutations([[2,3,5,4],[1,6]], [[1,3,5]]);
љ Starting from 1
љљљ ( 1
љљљљљ cycle 3 : 1 -> 3
љљљљљ cycle 1 : 3 -> 5
љљљ ( 1 5
љљљљљ cycle 3 : 5 -> 1
љљљљљ cycle 2 : 1 -> 6
љљљ ( 1 5 6
љљљљљ cycle 2 : 6 -> 1
љљљ ( 1 5 6 )
љ Starting from 2
љљљ ( 1 5 6 )( 2
љљљљљ cycle 1 : 2 -> 3
љљљ ( 1 5 6 )( 2 3
љљљљљ cycle 3 : 3 -> 5
љљљљљ cycle 1 : 5 -> 4
љљљ ( 1 5 6 )( 2 3 4
љљљљљ cycle 1 : 4 -> 2
љљљ ( 1 5 6 )( 2 3 4 )
[ [ 1, 5, 6 ], [ 2, 3, 4 ] ]

дЙБЗТБННБ ьФЙ ЙОЖПТНБГЙПООЩЕ УППВЭЕОЙС РПЛБЪЩЧБАФ УМЕДХАЭХА ЙОЖПТНБГЙА:
  • У ЛБЛПК ФПЮЛЙ ОБЮЙОБЕФУС ЪБРЙУШ ФЕЛХЭЕЗП ГЙЛМБ;
  • ЛБЛ ЧЩЗМСДЙФ ХЦЕ ЪБРЙУБООЩК ФЕЛУФ ОБ ФЕЛХЭЕН ЫБЗЕ БМЗПТЙФНБ;
  • ЛБЛ ПРТЕДЕМСЕФУС ЬМЕНЕОФ, ЛПФПТЩК ОХЦОП ЪБРЙУЩЧБФШ УМЕДХАЭЙН (Ч Ф.Ю. ЛБЛЙЕ ГЙЛМЩ Й ЛБЛЙН ПВТБЪПН ХЮБУФЧХАФ Ч ЕЗП ПРТЕДЕМЕОЙЙ).љ
рПМЕЪОЩН ХРТБЦОЕОЙЕН ВХДЕФ ЙЪХЮЕОЙЕ ФЕЛУФБ РТПЗТБННЩ prodperm.g Й УПРПУФБЧМЕОЙЕ ЫБЗП БМЗПТЙФНБ Й ЧЩЧПДЙНЩИ ОБ РЕЮБФШ ЙОЖПТНБГЙПООЩИ УППВЭЕОЙК.

дМС ЙЪХЮЕОЙС БМЗПТЙФНБ ХНОПЦЕОЙС РПДУФБОПЧПЛ Ч ЧЙДЕ РТПЙЪЧЕДЕОЙС ГЙЛМПЧ РТЕДМБЗБЕН ПЪОБЛПНЙФШУС ФБЛЦЕ У РТЕЪЕОФБГЙЕК Ч MS PowerPoint, РПЛБЪЩЧБАЭХА ЕЗП ОБ РТЙНЕТЕ. чЩ НПЦЕФЕ ЪБЗТХЪЙФШ РТЕЪЕОФБГЙА ЪДЕУШ. еУМЙ ЦЕ Х чБУ ОЕ ХУФБОПЧМЕО MS PowerPoint, ФП чЩ НПЦЕФЕ ЪБЗТХЪЙФШ ЙЪПВТБЦЕОЙЕ Ч ЖПТНБФЕ WMF ЪДЕУШ.

ч ЪБЛМАЮЕОЙЕ ПФНЕФЙН, ЮФП РТЙ УЧЕТЛЕ УФХДЕОФБНЙ ТЕЪХМШФБФПЧ ТБУЮЕФПЧ У ПФЧЕФБНЙ Ч ХЮЕВОЙЛЕ УМЕДХЕФ ВЩФШ ЧОЙНБФЕМШОЩН, ФБЛ ЛБЛ Ч ОЕЛПФПТЩИ ЙЪДБОЙСИ РТЙОСФП ХНОПЦБФШ РПДУФБОПЧЛЙ УМЕЧБ ОБРТБЧП. ч ЬФПН УМХЮБЕ ДМС УПЧРБДЕОЙС ПФЧЕФБ ЙИ РПТСДПЛ ДПМЦЕО ВЩФШ ЙЪНЕОЕО ОБ РТПФЙЧПРПМПЦОЩК.
у ХЧБЦЕОЙЕН,
бМЕЛУБОДТ вПТЙУПЧЙЮ лПОПЧБМПЧ
РТЕДУЕДБФЕМШ хЛТБЙОУЛПК ЗТХРРЩ РПМШЪПЧБФЕМЕК GAP (http://ukrgap.exponenta.ru/)
ДПГЕОФ ЛБЖЕДТЩ БМЗЕВТЩ Й ЗЕПНЕФТЙЙ ъБРПТПЦУЛПЗП ЗПУХДБТУФЧЕООПЗП ХОЙЧЕТУЙФЕФБ
E-mail: a_konovalov (at) hotmail.com
http://subscribe.ru/
http://subscribe.ru/feedback/		 Подписан адрес:
Код этой рассылки: science.exact.gap		 Отписаться
В избранное