Geddes, Czapor, Ladahn - Algorithms for Computer Algebra (523146), страница 9
Текст из файла (страница 9)
А чету еГГес6че а!лот!йш Гот сошрибпа ОСР(а, Ь) 1п апу Еисббеап долам тч!О потч Ье 6ече!орет!. ОС0'в Гл Еис1Иеал Ропш1пв ТЬеогепт 220 СЕчел а, Ь л Р (Ь ттО) тчЬеге Р 1в а Еис1!6еап допей, 1ес Е, г Ье ат)ио6епт апт1 гептв!обет ват(в(у!па а=Ьт)+г «ий г=О от ч(г)е.ч(Ь).
(2.2) ТЬеп ОСР(а, Ь) = ОСР(Ь, г ). Ргооут Зиррове йат р = ОСР(Ь, г) апб Ь = ОСР(а, Ь). Ргош (2.2) «те вес йат в / а эл6 6тете(ше в !в а сопипол 61ч!зог оГ а ал6 Ь. Ву дейл)6ол оГ ОСР, и Го!!о«в йат 4 ~ Ь. Ке«тп6пв щиабоп (2.1) ав г=а — Ьт) тче все йат Ь) г апд во ы а сопипоп йчбзст оГ Ь ап6 г. Ааап Ьу йе 6е(ш)6оп оГОСР, В Го!!отчв йат Ь ~ 4. ТЬив в шивт Ье а вгеагевг сопи«оп 6!ч!вот оГ а ап6 Ь апд Ьепсе ал аввос!ате оГЬ, 3!леев ап6 Ь ате Ьой ип11 поппа1, тче лет тЬатг = Ь. 1п апу 1пшвта! 6ошып Р, Ь Е изе(и! то 6еЕпе ОСР(0, 0) = О, апд оЬтбоив1у(отапу а,Ь и Р: ОСР(а, Ь) = ОСР(6„а). 11 1з а1во еаву то вЬотч Ногп тпе деЕллтоы йат йе Го)!отч!пв ргорегбев Ьо!д Гог апу а, Ь л 0: ОСР(а, Ь) = ОСР(п(и), п(Ь)); ОСР(а,О) = п(а), тчЬеге п(а) 6епомв йе поппа! рап оГ а ав дейпе6 1п РейпЬюп 2УА !п апу Еис1й)еап доли!и Р, Е а,Ь л 0 тч!16 Ь л 0 1ет тт ап6 г Ье а т!иобепт ал6 теша!л6ет зисЬ йа! 33 2.
А1аеьга оЕ Ро!упоп ба1я а =Ь|2+г чс!ГЬ г =О осч(г) <ч(Ь) апб бейпе йе Гипсбопя сума апб гепс Ьу с[по(а, Ь) = с); гепс(а, Ь) = г. го=а, г|— - Ь, г;= гепс(гс в, г; |), | = 2, 3, 4, (2.3) (ТЬе ясс)иепсе!я ипбейпеб Ьеуопб а ро1пс |чьеге г|=О !ог хоп|с |'.) ТЬеоге|п 2 4, 1 е| Р Ье а Еис1! беап с1опвип ипй а, Ь а Р апб ч(а) ь ч(Ь ) > О. )ес (г ) Ье а гегпа|пбег яес[иепсе Гог а апб Ь аепега~еб ая 1п (2.3). ТЬеп йеге !я а Егбсе |пбех Гс с 1 яисЬ йасгг | = Оапб (2.4) 0СР(а, Ь) = п(гв). РгооЕГ Сопя[бег йе вес[иепсе оГ ча1иабопя (ч(гс) ) Гоппеб Ггогп йе попвего е1егпепся Г йе яес[иепсе [г,).
Ву беЕЬ|[боп, (ч(г;)) !в а яспс|1у бесгеав!па яес[иепсе оГ поппеаас!че ссссеаегя. 3!псе йе Йгяс е!е|пепс оГ й1я вес[иепсе !в ч(а), йеге сап Ье ас гпояс ч(а)+1 е1е|пепся |и йе яес)иепсе. ТЬегеЕоге 1| пи|яс Ьарреп йас г~+|=О Гог во|по х < ч(Ь). Рго|п ТЬеоге|п 2.3 сче Ьаче: 0СР(а „Ь) = 0 СР(гп, гс) = 0СР(г|, гв). О | =О йеп Гс=! апб (2.4) Ьо1сЬ Ьу бейс!боп. Осьегв|1ве, ие Ьаче Его|и гереамс1 иве оГ П|соге|п 2.3: 0СР(а,Ь)=0СР(Ь, в)= =0СР(гв гв !)=и(' ) «! нсЬ [я йе беягеб геяи1|. ! Ье !!ав)с Аваопйга !|гого ТЬеогегп 2.4.
йе 0СР оГ а, Ь а Р (Ь а О) !я яипр1у йе поппа1 рап оГ йе 1авс псе|о е!е|пепс оЕ а геп|а|пс1ег яес[иепсе [г; ) аепегасеб ая |и (2.3). [Е Ь = О йеп 0СР(а, Ь) , |»чсп Ьу п(а). ТЬия сче Ьаче а со|пр!есе ярес!Есабоп оЕ йе Еис!Гс(еап а!вопгьги со согпгнп. С |(ЧУв в ипу Еисьбеап ба|па|п, апб Ь !я Ьсчеп Гоги|а!!у ая А!аог!ГЬгп 2.1. %е Ьаче й сгп |о ыМс йс пог|пи! рагп оГ а апб Ь !пп|аПу |и А1ропй|п 2,! в|псе й!в о(сеп (Ь)осе: ТЬе аЬоче йпсбопя аге по| исе













