Geddes, Czapor, Ladahn - Algorithms for Computer Algebra (523146), страница 105
Текст из файла (страница 105)
%е Ьаче йив ргочесС рагс (й) оЕ йе йеогесп ап»С сче Ьаче рвоте»С йе "оп1у тр' саве оГ рагс (1). ЪУе Ьаче а1во ргочет[ рагс (ш) яшее сче аззише»Е Р» со Ье йе пии!тпа1 а1зеьгасс ехсепя!оп оГ Р ап»С йеп ргочетс сЬас йе гоош оГ ЕС(т) шияс арреы. 557 12. ТЬе гя!ясЬ Го!ее«аппп А!еопйгп То ргоче йе "1П' саяе оГ рап (1), яиррояе йаг а)! йе гоой оЕ ГЕ(г) аге сопя!аппп (ег с; (1 а г < й) Ье йе д)ядпсг гоой оЕ К(г) апд девпе ч (6) (1 ~ 1 ~ пг) Ьу ч (6) =ОС(7(а(6) — с; Ь(6)', Ь(6)) и Р(сг,..., с„)(8] . ТЬе чав агеипгепг ая ш гЬе ргооЕ оЕ ТЬеогегп 12.7 1еадя го йе сопс1ия!оп йаг Ь(8) = П ч;(8) ~=! ««Ьеге «;(8) аге «поп(с апд ПСО(«г(6), ч,(6)) = 1 гог г и Г.
1«ов деЕ!пе а(8) = г Ь(6) + 2„сг «;(6)' П «.(8) г!'' пи вЬеге я ' )я ая дейпед ш йе ягагепгепг оЕ йе йеогегп. Б!псе ь(е)' = 5 «г(е)' й «7(в) !М ве Ьаче, Гог 1 6 lг < пг, а(8) — сг Ь(В)' = 8 сЬ(8) + 'ч" (с; — с„) ч;(8)' П ч (6) г=1 Гчи (гоги в)дсЬ гг Ео!! овя йаг (6) ~ (о(е) - с ь(в)'), Ву дейп(акоп, «я(В) ) (а(8) — ся Ь(6)') яо ие сап сопи!иде йаг чг(6) / (а(6) — а(8)). ТЬгя Ьо!г!я Еог еасЬ Г.
Ригйеппоге, гдпсе ОСЕ)(ч;(6), ч.(8)) = 1 Еог Е и 7' ве Ьаче Ь(8) / (а(6) — а(8)). 1)гдпд йе деепгдоп оГф, сЛе Го««пи!а деегдпа а(8) га)сея йе Гопп т ~И а(6) = 2, с; П ч (6) (ч;(8)' — дед(ч,(6)) и' ч;(6)) ' Гча Погп и ЬдсЬ Ь го11овя гЬаг дефа(8)) < дефЬ(8)) (яее йе пвясияиоп ргесейпв йе ягагегпепг оГ гЬе йеогегп гееагпвпе сапсе11адоп оГ йе !еапепе гепп оГ ч;(8)'). 5!псе а1яо дее(а(е)) < дее(Ь(6)) ие Ьаче деа(а(8) — а(6)) < дее(Ь(6)) апд йия а(8) — а(8) = О, ).е.
а(8) = а(6). %е Ьаче ргочед йаг О(61, " «Г(е) Ь(е) ш ! «,(6) апд с1еаг)у ) — )я е!егпепйгу )п йй саяе. го(6) . 3 л(в> 558 А18апйнпв Еог Сошршег А18еЬш Аз шепйопед ш йе саве оЕ!ойапйпнс ехсепяопз, йе ч;(8) ш рагс (й) сап Ье согпрнсед няп8 йе (лхагд/Е!оЬоагТга8ег ннйод аЕ йе ргечюнв сЬарют. Ехропепйа! Ехгепяоп: Всгейгаг!оп о(йе Ро!упонйа! Рагг ТЬе "Ро!Упопйв[ Рагг" оЕ аи шюйтаид Е н К(х, Вс..., 6„), ш йе сазе чгнеге йе 1азс ехсеивюп 6 = 8„!в ехропепйа! очег Р„с = К(х, Вс,..., В„с), 1з ап "ехсепдед ро!упондар' р(8)= т р Вт, р)н Р„„с (12.28) нЬеге с; н К (йе а!ВеЬгак с!озше оЕ К) Еог 1 5 с < ги апд чс(8) н Р„,(9) (йе йе1д Р„с(8) чдй нз сопвсапс ВеЫ ехсепдед со К) !ог 0 й Е 5 ш.
Аг8н1и8 ав 1и йе ргоаЕ оЕ Е!ончт1!е'в Рппсср!е (ТЬеогесп 12.5), ъе спау авва!не ъч1йош 1овз оЕ Вепега1ссу йас еасЬ с;(8) (1 5 с й ги) Ы енЬег ап е1егпепс оЕ Р„с ог е1ве !з нюп)с аид нтеднс(Ые 1п Р„
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
