Geddes, Czapor, Ladahn - Algorithms for Computer Algebra (523146), страница 89
Текст из файла (страница 89)
сггоЬпег Ваьез Гог Ро!упопна! Рдеа1з 1«пргоче йе ннр!егпепгаг!оп ог Ехегс!ве 7 Ьу адд!п8 сгиегюп1, спгепоп2 ав ш А18о- пгЛ«п 10.4. (Хопа йе ербсгепсу ог" спгеноп2 дерепсЬ оп а газ! пгеапз о( гевипр !( [и, ч) н В.) Согнраге й!ь соде анд йаг ог Ехегс!ве 7 оп: (а) йе ро!упонда1в о( Ехагпр)е 10.10, (ог <н апд <Ы (Ь)* тЛе зег (х г+хг + уз -г — 2г, гу + 2хг — Зг+х+у — 1, 2 2 в 2 2 2х~ + ау~ — Зх + 2гу + у — Зу ), ияп8 йе за«не огденпрз оп Т(„,1, РияЛег (апг1 Епа!!у!) нпргоче йе 'ппр!егпепга6оп ог" Ехегс зе 8 Ьу пгод!гу!п8 йе ргоседше зе!ее!ран го ые йе "поппар' ве1есггоп знагеру (10.17).
(Хозе: а сагей! сЛоке ог дага знисйге Еог йе вег В ч61! Ье1р.) Саге«и!1у со«праге гЛ!з апд йе соде о( Ехегсгве 8 оп сЛе уо1!съем!п8: (а) йе ро!упопиа1з ог" Ехегс!ье 8(Ь), нз!п8 <рг (Ь) йе ьяпе ьег ог ро!упопна1в, ияп8 <~,. (с) йе ро!упогп!а!ь о( Ехагпр!е 10.10 ияп8 <г. 10. Ргоче йаг !г" вега Р, Д ~ Р[х) аге висЬ йаг < Р> = < Д>, гЛеп йе гооя ог" Р, Д аге )депг!са!. 11. 1гпр1егпепг А!8опйгп 10.5!и уош (ачопге согпригег а18еЬга зувгепг,!.е. ччЛ!сЛечег опе и аз ыед !и Ехегс!зев 6-9. (Хопа !п огдег го заче хогне ноиЫе, уои гпау иве иЬагечег ьувгепг гои6пев ше ача!! аЫе !ог йе зо1идоп ог зуз!епьз оГ 1!пеаг ег)иаг!опз.) Тезг уоиг !«пр!егпепя6оп Ьу согпридп8 йе ро1упогп!а! р(г) [оипд !и Ехагпр1е 1067. ТЬеп, гог йе вег Р деЕпег) !п Ехагпр!е 10,10, ые уоиг нпр!е«пепгадоп го согпрше йе соипгеграггз 7(у), «(х) гор, !2.
ЗЛогч йас гЛе вег [р, ц, «) со«призе«) гп Ехегс!ве 11 гз а гег)исег[, пгопгс ОгбЬпег Ьаяв. (Хосе йаг й!в доев пог геци!ге со«при!а!!оп ог днв зес) у!гну доев й|в пог сопнаг)кг йе ип)г)иепеьв ог йе Ьаяз со«при)ад )п Ехагпр1е 10,10? Ь Ь ровяЫе Гог а гедисед Ыеа1 ЬавЬ, лог со«провед еп6ге)у ог" ип)чапаге ро!упопиа1з, го Ье а СгбЬпег Лаяв вдй «еврее! го пгоге йап опе гепп огг)едп8? О!че ап ехагпр1е (!Е розяЫе) ог зисЬ а ьег гчЛ!сЛ 1в а ОгбЬпег Ьаяз зч!й «еврее! го ап а«М«а«у аз[пня!Ые огг!ег!п8. 11.
ГгнпРиье «поп!с, гсйкег! (1«ВЬпгг Ьазев чдй гевРес1 Го <г (ог йе веь 10. бгбЬпег Ваяез Гот Ро! упопиа! Ыеа1к 469 18. 1зпр!етпепс (!.е. гпо6!Еу опе оГ уоиг ргеч!сия ипр!епзепсаиопя оЕ) ВисЬЬег8ет'я а!8о- пйти Еог бгоЬпег Ьаяея очег Е~, зчЬеге р !з рпгпе. Согприсе бгбЬпег Ьаяея очег Хзг[х,ух) илй теяресс со <р Гог йе Ео!!озч)п8; (а) [хху+2гку+5хя,х~ г-3, "+хуг); (Ы ( 2ху + 7у + 9х + 2.
ху + 4х — 5у + 11 ), Сопзраге Ьой геки!ся аЬоче со йе сопеяроп6)п8 Ьаяея очег 12[я,у,г). зЧЬас сопс1и- я гопк гиау Ье 6гаи и? !9. Речйе а пизд!Взсабоп оГ ВисЬЬег8ег'з а!8опйги зчЬ)сЬ, 8!чеп р а <,Ез,..., Ел> а Р[х), Ви6я а; и Р[х) яисЬ йас р = Х азу",. 1гир1епзепс уоиг ясЬегпе, апс) ияе 1с со Впс1 аз, з=! аг, ак яисЬ йас ау(х уг -хг ) + аг (ху г -хуг) + аз (х у — г ) = хт — хуг гВси!аг ап6 е9иа) зп !елей.
Н!лгг Роек йе ргоЫеиз пза)се кепке !Г уоиг "атЬ)стягу ро1пп" 6о пос теа!1у Аейпе а рага1!еПо8гатп? ссеГегепсея Р. АпиЬгиясег, "В)Еигса6оп ТЬеогу ап6 Сотприсег А18еЬпп Ап!гбпа1 АрртоасЬ," рр. 126-137!и ргос. ЕИЮСАЕ. '85, Уо!. 2, Еепиге Мосек зл Сотргаег Ясзелсе 204, е6. В. Р, Сач!иекк, 5рт!пеег-Чег!а8 (1985). Ь. ВасЬпза)т ап6 В. ВисЬЬег8ег, "А ЗипрВВе6 РгооГ оГ йе СЬатассеггяабоп ТЬеогепз Гог бгдЬпет Ваяек," АСз)Е 51654)СГ Ви!!., 14(4) рр. 29-34 (1980). А.М. Ва11апсупе ап6 Р5. Г.апЫоп), "Ыезч Рес!я)оп А18опйпв 1ог Риисе1у Ргекепсеб Сопиписай е 8епз!8тоирк," Солзр.
!ЗЕат(з. Аррс,, 7 рр. 159-!65 (1981). 1..!. ВВ1ега ап6 1..1.. Коке, "СгоЬиег Ваяк Мейобя Гот Ми!с!чапа!с ЗР11пек," ККК ЕЗ 1-89, Кисеегя Бп!ч. Рерапзпепс оГ Майепзабся ап6 Сепсег Еог Орегаиопя КеяеагсЬ (1989). В. ВисЫзег8ег, "Ап А)8опбии Гот Р!п6)п8 а Ваяя Ест йе Кея!6ие С!аяя Кхпр оГ а Усто-Рипепяопа! Ро!уполз)а! !Аеа) (Сеппап)," РЬ.Р. ТЬеязя, Бпла оЕ 1ппяЬтисЬ, МаСЬ. 1пкс. (1965). В. ВисЬЬегрег, "Ап А18опйпйса) Сгзсепоп Гог йе Бо!чаЬ!1!су оГ А18еЬгазс Буксепзя оЕ Ециас!сия (беппап)," Агсиагизлег лзай,, 4(3) рр. 374-383 (! 970). В.
ВисЬЬетрег, "Возле Ргорег6ек оГ бгоЬпег-Вакек Гог Розупозии! !Аеа!к," АСМ 5ЕС- ВАХЕ ВиИ., В!(4) рр. 19-24 ! !зг?гз!. и. 20. 1)яе СгоЬпег Ьаяея ю ргоче йас а рзиаНе)оегагп зя а и)иазе !ЕГ !ся гВа8опа1я аге регреп- 470 А!8ог[йшз [ог Согприсег А[8еЬга 10. 11. 12. 13. 14. 15. 16. 17. 18, 19.
20. 21. 22. В. ВисЬЬегбег, "А ТЬеогебса1 Ваыз сот йе Кебисбоп о[ Ро1упопиа1з со Сапоика[ Еоппз," АСМ Я)ОЯАМ Вм)!., [0(3) рр. 19-29 (1976). В. ВисЬЬетбег, "А Сгиепои [от Ресесс!п8 1)ппесеяату КесЬк6оиз ш йе Сопытисбои о! ОгоЬиег Вазез," рр. 3-21 [и Ргос. ЕИЮЯАМ '79, Еессмг е )Чогег гл Сотршег Ясс- елсе 72, еб. )У. Х8, 8 рппбег-Час[ар (1979). В. ВисЬЬегбег апс1 Р. 'сУ!и[с!ег, "МвсеВапеоиз Кехи!ь оп йе Соизсгисбои о[ СгбЬпег Вазез [ог Ро[упоппа[ !без[а," ТесЬ. Кер. 137, [[п[ч.
о[ 1.спх, Май.!пы. (1979). В. ВисЛЬегбег, "А Хосе оп йе Сошр!ехссу о! Сопзвсссв8 СгбЬпег Вазез," рр. 137- 145 сп Ргос. ЕОВОСАЕ '83, Еестге Хогез !л Сотршег Яс!елее 162, еб. Н. чыс Ни1хеи, Ярг! пбег-Уег! а8 (1983). В. ВисЬЬегбег апов К. [.ооз, "А18еЬгак ЯЬпр[![!сас!оп," рр. 11-43 !и Сотрмгег А!Ее- Ьга - ЯутЬобс алс! А)8ебга[с Соглрмгабол (Яесолб Е6[г(ол), еб.
В. ВисЬЬегбег, С. Со!1!из апб К, Еооз, Ярппбег-Уег[а8, )Уе!и - Хеи Чог[с (1983). В. ВисЬЬегбег, "ОгоЬпег Вака: Ап А18опйиис Мейоб сп Ро!упоииа1 Иеа1 ТЬеогу," рр. 184-232 ш Рго8гегз, а7гесболз алс( орел ргоЫетг (л тм!г(6[теис[ила! густели г)коту, еб. Х.К. Вохе, [3. Ке!бе[ РиЫВЬсп8 Со. (1985). %. Вбре, К. СеЬаиег, апб Н. К!еде[, "Яоше Ехыир1ез [ог Бо!сбп8 Яузсепы о[ А18е- Ьгак Ес)иас!опз Ьу Са!си!абп8 СгбЬпег Вазез,'* У. ЯутЬобс Сотр., 2(1) рр. 83-98 (1986).
!.. Сшиб[пи А. ОаВ!8о, аиб !. Не[ай, "Яоше Хесч Е[[есбч!су Воипбз !и Сошриса- 6опа! Сеошеиу," рр. 131-152 'ш Ргос. ААЕСС-6, !.гсьге )чогет сл Сотрмгег Яг[елсе 357, Ярг[пбег-Уст[ а8 (1989). 1.. Сап!81!а. А. Оай!8о, аиб !. Нет!а, "Носи со Сошрисе йе Рго)есс!че С[озгае о[ ап АЬВпе А18еЬса[с Чапе!у си ЗиЬехроиеп6а[ Типе," си Ргос. ААЕСС-7 Оо арреаг), (1989). Р.
[.е СЬепас[ес, "Сапопсса1 Раппа ш Рсп!се1у Ргезепсеб А[8еЬгаз (РгепсЬ)," РЬ.[). ТЬеыз, (!ив . о! Рапз-биб, Сепссе сГОтзау (1983). Б,С. СЬои, "Ргосбпб Е!ешепсжу Сеоспеиу ТЬеогепсз ()з!и8 'тУи'з А[8ог![Ьш," Сол- гетрогагу Май., 29 рр.
243-286 (1984). Я.К. Старог, "ОгбЬпег Ваыз Мейобз [ог Зо!чшб А18еЬга!с Ециабопз," РЬ.[т. ТЬеыз, ()и[чета!су о[%асег[оо, Рерс, о! Арр[!еб Май. (1988). [.С, Раиреге, Р. С!апи[, Р. [лхагб, апд Т. Мота, "Е%с!епс Сошршабоп о[ Уего- Оииепбоиа[ ОгбЬиег Вазез Ьу СЬап8е о[Огбепп8," вверг! пс (1990). Р. О[апп1 апб В.
Тгабег, "ССР'з апб Рассоппр Ми!бчаг[асе Ро1упопиа1з [)зш8 ()тоЬиег Вазез," рр. 409-410 !и Ргог. Е()ВОСАЕ '85, [го!. 2, !.есгше Агогег и Сот- рмсег Ясселсе 204, еб. В.Р. Са лпезз, Ярппбег-Чег1а8 (1985). 'гу. ОгбЬпег, Мог[ели А!Еебгасс Сеотеггу (Оеттап), яртшает-уег1аб, 'йг!еп-[иизЬгис[с (1949). 10.
ОгбЬпет Вавез Гог Ро1упопйа! !деа1з 471 31. Гу. Гпхагд, "Ыеа1 Вавев аид Рптпату Оесоптров!т!опт Сазе оГ Ттчо Чат!аЫев,'*.1. 5утлЬобс Сотр., 1(3) рр. 261-270 (1985). 32. Е. Мауг апд А. Меует, "ТЬе Сошр!ехйу оГ йе тЧоп) РгоЫешв 1ог Сопппптайче 33. Н.М.
Мб!!ег апд Р. Мота, "()ррег апд Г.отчет Воапдз Гог йе ОеХгее оГ ОгоЬпег Вазез," рр. 172-183 ш Ргос. ЕО805АМ '84, бес!иге (вогез го Сотри тег Зс!елее 174, ед. 1. Р!тсЛ, ЯртшХег-Чег1 а8 (1984). 34. М.Е. РоЬга апд ОХ.У. 'т'оп, "Ои Яо!ч!п8 Зугпешв оГ А!ХеЬга!с Ет(оайопв Ыа !деа! т(с Р. )Ч!и)с!ег, "Кет!пс1п8 йе Сотпр!ех!ту оГ йе КпшЬ-Вепйх Сатир!ет!оп А18опйтп: А 1)п!Есайоп оГ Г)!ГГегепт АрргоасЛсз," рр. 378-389 тп Ргос. ЕГ)ЯОСАС '85, Чо1. 2, 1есшге)уогез 1л Сотритег Зс(елее 204, ед.
В.Р. Сач!пезв, ЯргшХег-Чег1а8 (1985). )7 )Х 23. 25. 26. 27. 28. 29. 30. О. Неппапп, "ТЛе Опезг)оп оГ Р!п!те!у Малу Зтерз ш Ро!упопда! !деа1 ТЬеоту (Оег- шап)," Май. Алл., 95 рр. 736-788 (1926). Н. НЬопаЬа, "Кето!пйоп оГ ЯпХп1апйез оГ ап А18еЬгак Чапе!у очег а Р!е!д оГ СЬагастепвйс 2ето 1, П," Алл. Май., 79 рр. 109-326 (1964). М. КаПтЬгепег, "ЗоЬлп8 Яуяешз оГ А!йеЬгак Ециайопз Ьу !)гдп8 ВпсЛЬегбег'з А)8опйш," рр. 282-297 !и Ргос. Е(уКОСАГ.
'87, бес!иге Мотет т Сотригсг Зс1елсе 378, ед. !.Н. Рачепрогт, Ярпп8ег-Чег1а8 (1989). А. Капдп-Коду апт1 ГУ. Карат, "А18оййпм Гог Сотпройп8 ОгоЬпег Вазез оГ Ро!упо- пйй !деа! з очес Чаг!опз Епс! Ыеап К!пбв," рр. 195-206 )п Ргос. ЕИГОЗАМ '84, 1ес- 1иге Гчогев и Сотригег Зс)елее 174, ед.