Algorithm, Proof and Performances of a new Division of Floating Point Expansions
19
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Algorithm, Proof and Performances of a new Division of Floating Point Expansions Marc Daumas, CNRS Claire Finot, ENS de Lyon. No 3771 September 1999 ` THEME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) !"#$%& (') * + ,-
(6) . '/ 0123 4$ 5 76894' ' :<;>=@?A;>B!CD;>EGFIHKJ4LM HONP;>QR=@STUQRV!W>XGF!YJZM\[!S^] _`W`V a bdcfeKghikjUlnmdopgqsrutvoswfopgnq gfxywfz{q|w}~qe>ruqso| v}~g r{gfxylfm~zuopg z{~rvxggnwbdgnwb~gmuuigfxgfe5gnnvui@5~z{tvgn. !¡n¢f£"¤d¥{¢v¦§ gdgn¨gfmGxopmxbdosy©&rv¨ª zKm~gf©«z{qsturv¨opx¨bde¬®rv(x¨b~gos¯Go|¨oprvm4ru¬ °rvz"xopm~tO>ruosmGxg±~zum~osrumf²I³ qsrvz{x¨osmdt °~g ±rG~z"zux¨osm~md¨tOoprvm´rvoposmGxzµ}dm~eo¶x}~q¶¬®xruopdqswfgrudgU¨g@wfwruo|eKosrudm2}xdz"z"xopxrvzm~xop>mgxgndzugf·¯ugnr{qprv¬ dx¨>bdg3gn´osmG©(x¨gfoptvx¨bgf z{}dmdopx¨opbdxn²&eK(gxgnos¨w4gnzuru>wgfbdg@z"Ixrurvm·xxbdb~o|(z"xK}d}~d¨ggnw
(7) x¨x(bdgb~z¸d¯vgUrzuwfgn¨o|¨gnrv wgnrvweKgnmGdx¨}qsx¨gn¬®nru²#e¹½x¨z{b~mgº rv¨~opeKgnd¨¯"qsgz{x¨z{osruopmOx¨bdx¨eKb~z{gx&xosxwUbdrvg°gnrvz{z"x¨xruopm~t»z{>m~ru4osmvx»rv}deOmdg3opx»¯v>gfgnwfru}~eKgngf»¬®}dzqsq¾eKtugfrvrv¨eKgyzugm~x¨o|wyeKrvrugngz{gfx¨¼ruwf&opgnb~mGz¸x»¯u~g3zuz{x&qs¨r{g@¬zueKr>gfgfgnmm dgn¨gfmGx¨g@ rvm4gf±z{m~¨oprvm~n²¿gfx(d¨gn¯oprv}~»©&rv¨ªdgn¨gfmGxgn rvmdqs·zO¯ugf ¨opeKdqsgop¯o|osrumz{qsturv¨opx¨bdeZ² § gU~¨g@gnmvx(osm x¨b~os ©»ruªz5m~gf©Àzuqptvruo¶xbdeZ² § gUxzuªugºx¨bdo| rud>ru¨x¨}~mdo¶xKxrKg±x¨gnm~ xbdggfx(r{¬/tvgfrueKgfx¨oswºru>gfz"xru©(opx¨bÂÁ z{gfo|¨nà gfx¨gfeKopmz{mGx(rum4z5ez"x¨op±·r{¬ osÄfg3>gx©»gfgfmZOz{m~µnÅ~² (}~mdmdosmdtOx¨oseOg@ ©(o¶xbÂo¶Æ`gfgfmGxgfx¨gfeKopmz{mGx zuqptvruo¶xbdeIrvm opÆ>gn¨gnmGxezuwbdosmdg@/z{gIwfrueK~z{gn3©(opx¨br{x¨b~gf e}dqpx¨osdgnwo|¨oprvm~zuwª"z{tvgn¾osm~wfqp}~dopmdt3j3½Â!ÇuÈ»yÉUÊy2z{m~zºwrveO~}x¨gn tugnrueKgx¨zuwª"z{tvgº©»ruªopmdtO©(opx¨bZeKrd}dqszuz{o¶xbdeKgxoswu² ËÂÌGÍ`ΨÏÐ £"Ñ¡v¦ÓÒ ±dzvw
(8) xz{o¶xbdeKgxoswuÇde}dqpx¨osdqsgdgnwo|¨oprvmÇg±~z{mosrumÇddop¯o|osrumÇdwfrueKd}xz"xoprvm~z{q¾tvgfrueKgfx¨u². àá¸âäã¾å¾æ
(9) çRè(åéã/ê"éç®ëÝâìéíäí îïpæ
(10) ð¸ñ¸ò¸óòºôfîëRá¸óõ®ö ÷õùøµúdâìéô¸íäó!ê@çRæûüóýþë¨ÿ. Unit´e de recherche INRIA Rhˆone-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) T´el´ephone : 04 76 61 52 00 - International: +33 4 76 61 52 00 T´el´ecopie : 04 76 61 52 52 - International: +33 4 76 61 52 52. Ô|Õ¾Ö¨×PØnÙ Ö(Ú Û|×ÝÜÝÞß.
(11) ! Z$ Z9 4. » )9µ !"#$4%» (' 4 4. (
(12) . '/ f 4 (' »89Z4' ') ! (' 3 / 5 '.
(13) ¡ ¦ Êrv}~dln¨gfmGxrum~~z{m~wfgz{d>ru¨x}dm mdrv}d¯ugnq~z{qsturv¨opx¨b~eOgdgyos¯Go|¨oprvm }dIqpg@g±~zum~¨oprvm~gm~rue~¨g@ °~¾ruà rux>xzulfmGz"xxngf² }dIà gfz{±op~x¨z{bdm~eK¨oslruxmÀos G}dg@g ºmd Grv}deo }dxopgnqs os¨gf°~mGr{xUx¨xqRz{à }dmGmdxop4x¨lOg@xg5}dwnmÀz{q|wm~}druq}dgf¯vmgnz{¯} os¨tvxG}d>qpgg °~r{g x¨xz{dmGruxmdg5mdlng^}gn~mÀ¨rdwg@ln¨wf¨gfos¨}~oprvm rve}d}~yq¶qsxgnopdUqswfg zuqswfr{}dxq|l osmvxgfmdgn µqszµdq|zuwfg4gZqÝà }dm~o¶xlZdgwnz{q|w}dq gfmGxopgnn² /gnOgnwbdgnwbdg@¨}dwgZ}{gx gZ¨rumGxKdlf¯ugnqprvd>lfgn µqsz }~o¶xg rugqÝosm~à rvz"~x¨gfgf}d¯¸z{x¨eKosrurm gn v¨}~mdgOg@fqݲUà }dÉymdopgOx¨l·mdrvegdwnz{gfq|w}}d±Zqrugn>mµlf¯z"os¨xtvgf}d}dqsg5y°zur{¨opxx¨xb~z{eOmGx¨lfgx¨o| Ggn}d¯gnopUgnmvosxeK}~dmdqsgngKº~gz{xU¨x¨ Gos}dg gnqs GgK}ddg@qsy}~rvgflnm z{dx¨gnqs}~}d3ydtu}~lnosru¨eKzumGlfx¨gos G}dgng@ }dxoplnqs¨gngfºmGrux¨lmGxº G}Ãl}d m oslfeKx¨l5dqsdzul mG~xmdz"xo|Uoprvm3}dx¨ºqpcng@¨osgfeO±~z{qpgIm~¨dopgrvm~qRà yz{qsdtugrv¨mdopx¨rub~e5eOdggnd(gI°r{os¯Gxxo|¨z{opmGrvxmn²/²yÊÊyrvln}~z{m~~eO¨l@rvopmgnmvfÇxruqpg@m~`xo|wovz¸}d¯"z{m}dmd±rv}dz{mG¯uxgnlfquz{opqsgntu}drv¨opx¨mbdà eKrvmGgvx ² wgfxx¨grwfwnzu¨oprvmÇmdrv}~Olx¨gnm~rvm~OqRà gfm~¨gfe5dqsgg@Oru>lfz"x¨osrumtvlfrueKlfx¨os G}dg@5¨}dKqpg@Og±~z{mosrum~5gfm2dru>rvz{mGx qswg·rveKwfzu~qsz{wf}druqIm~/}´qpg&x¨lfgnx¨eKgn¨~eK!osm~g»z{mGwnxz{q|w¾}dà }dqmdz¸g ¯ug@ewIz{x¨opÆ`oslfwfg gfmGxg!xz{zuqstuopqsrvqsg·¨opx¨wb~rveKeO~¨o|g gKlgnxmvgfx¨eOg osm~zugmvx x!n}~ÅZ!dz{o¶Æ`lfq|zZgfmGeKx¨lg@x¨/b~erdzvg·wbdopm~g·gn Á z¸z{¯ugngfo|w&f¾²·Ã z{Êy}xru¨}~g@ qsrutuo|wosgfq|5gfm´dlnwfos¨osrum´e5}dq¶xop~qpg@xgfq|K v}~gZj3½Â gx·È»yÉUÊy gxz¸¯ug@w }dmDqprvtuo|wosgfq»>lnwfoszuqpo|l>ru}dOqsz^tulnrueKgx¨osg z{qsturv¨opx¨b~eOo| G}dg3 v}~o}x¨osqsos¨gqRà z{opx¨bdeKlxos G}dg3eKr}dq|z{os¨gv² Ð ¢n¡ Î ¥ ¦ opx¨bdeKlxos G}dggf±dzuw
(14) xguÇdlnwfos¨osrume}dqpx¨osdqsguÇdgf±z{m~¨oprvmÇdos¯os¨oprvmÇtulnrueKlx¨osg3z{qsturuopx¨bdeKo| v}~gu².
(15) 4%I a b~zumdªxr·>r{x¨b {·z{m~v ÒÒÒ xz{m~dzu~ s¸GÇ! dÇ`dÇ
(16) ÝǾ>r{xbÂx¨bdgOru>gfz"xoprvm~rvm°~rGz"x¨osmdt4rvopmGx3mG}~e>gf z{mZx¨bdgO>gfb~z¸¯osruru¬x¨bdg°~rvz{x¨osmdt·>ruosmGxº}dm~o¶x3opm wfzvg@r{¬gf±dwgfdx¨osrum~ºz{g5wrveKdqpgfx¨gnqp¨g@wo ~gn¾²osm~wgO½³ ºI ~tv}d¨g@z{g3bdostubdqs·d}~dqpo|wosÄfg@Z4drwg@¨¨ru ez{m}¬üzvw
(17) x¨}~¨gnnÇx¨bdg5xz{m~dzu4°~rGz"xopmdtK>ruosmGxyru>gfz"xru(z{g3zuqs¨rKx¨b~g eKrvÒ x±~gfzu¯vm~gfqsruosru>mgnI©»z{gfm~4gyx¨osmGb~x¨greOdrG}~wx(g@ >r"©&gn¬®}~opqg@z{x o¶opxmµbdeKnvgdx¨ o|wUsrun> /gfzvz"&xz5rue&}~rvq¶mxopwfdruqsgUeKdeK¨g@ruwmo|dosrum rwfx¨gnrrurvq`ru m· d°~Ç rvz{Ç/x¨os mdt P² >ruosmGx(mG}~e>gf ~zvg@rumµgnzu¨qsopgnº©»ruªÂÉygnªªugf Iz{m 3m}x¨b snÅ P² ygO~¨rvrGg@z{qsturv¨opx¨bdeºrum g±~zum~osrumyosm~wqs}~osmdtx¨b~g zua ~bdgno¶xoprvzum¨gÇ!wfx¨b~rug4¨g@e5w
(18) x(}dq¶¬®xrvop~ºqpo|wfopz{Æ>x¨gnos¨rugnmDmGxyzum~©& rv¨xªbdosmdgtdop¯zuo|o|oswrug@m² z{m~opg@¬®rvx@à Kxbdzug5qptvruopÆ`o¶gfxbdgfemGxyqs©»gf¯ugfgng·qsywfr{zu¬#~dz{dgnqswfg os¨xoprµrvmzvdzuz{wbdosx5gf¯vx¨gnrµx¨rubdmÂgeruzu}~wm~bdososmdmdgvt ² x¨þb~m2g3n°~urv z{·x¨oszumdm~tK @rvuopmGx }dmdbdopgnxn©»² wb}dªÂoseKdqsgfeKgfmGx¨g@ rveOgOgfm~b~z{m~wfgn z{qsturv¨opx¨bdeº¨g@x¨o|w
(19) xgnx¨rx¨bdg wnzu¨g5ru¬»zum ÒÒIÒ xz{mdz{Z°~rGz"x¨osmdtrvopmGxru}dm~dopmdt p dÇ#@ ݲ o|3qposdz{o|3z¸¯"z{osqszudqpg5rum^x¨bdgKmdgf x ©(o¶xb zum zuddqsoswnz"xoprvmÂx¨rÂwrve d}xz"xoprvm~z{q¾tvgfrueKgfx¨u ² Px(opm~wfqp}gn xbdgzu~o¶xoprvmÇx¨b~g}ddx¨zuw
(20) xoprvmzum~·x¨bdgwfzuqposmdtKr{¬!z{mg±~z{mosrum·z5°~rvz{x¨osmdt >ruosmvxm}de5gnn² ºmdgKru¬&}~3dru>rv¨gnµos m ~Ç x¨bdgKe5}dq¶xop~qpo|wfz{x¨osrum r{¬&x©&rZg±~zum~¨oprvm~U©(o¶xb zZ¨}d¯ugfÂrvm^¬®rv¨eKgn ©»ruªrumg±~z{mosrum~n² °~rGz"ax¨osbdmdgt~>ruosx(mGxIg@gw
(21) ±x¨~osruzum·m~r{os¬rumxbdf²os»§ gngº¨gnb~zuz¸¯uwg bKo|rvgf>qsz{rux¨¨gnx&Kdzgnm~¨gfgf©mGxqp»gneKg eK~mdzopx¨x¨osb~ruz{m~xI osz{Im}~¨gndOruopm >gfx¨¨bdx¨o|osgn&~zur{¬¾gn°~nrG² z"§ x¨osmdgyt5x}~rvopmGOx opm mG}~¨egnw>x¨osgfrumK&zux©»m~r }~z5mdx¨gfr ©<oseKopd¯qpo|gnoseKrum4gfmGruxy>rugf!m z" Ýqsxoprum~»g©(eKo¶xrvbxyz5osqpturmdrvoªKwnx¨rOz{mGxy¨osgnostuxnopxà ~dopxºrv»zvddz{op¯do|x¨osos¯urugmwz{rvqseKturud}opx¨x¨bdosmdeZt² ² ºa }db~ geOx¨bdrosÂo ~g@g@4w
(22) x¨zuosqprutvmZrudo¶xbdr"e¯ug@»©(x¨opbdqsq`g5gfm~g±dzuzudwqsgx b~zuq¶xopmdtµr{¬(>r{x¨bDz{qsturuopx¨bde "5©(bdgnm x¨b~g·gn¨}dq¶xOr{¬(xbdg4os¯os¨osrum g±dzvw
(23) x¨qs dx5opmDz{m´gf±z{m~¨oprvmÇ rux¨bDzuqptvruo¶xbde ~m~opxn²Ia b~gqszvx¨gnw
(24) xoprvmÇru}dx¨qsopmdg@z{mZz{~dqpo|wfz{x¨osrumr{¬!g±~zum~osrumIxr wrveO~}x¨g3xbdgg±dzuwxgxgfeOosm~zumvx(ru¬!zK¨eKzuqpq ez"x¨op±$#ü¨opÄngO·x¨r nÅ&%yzvyopxez¸ÂgK}~¨gn^opm wrueKdÒ}dÒIxz"Ò xoprvm~z{q!tvgfrueKgfx¨u² § g5dgn¨gfmGxUx¨bdgfgKopÆ>gn¨gnmGxzuqptvruo¶xbde z{m ¨ostumdo wfzumGx3}dmdm~opmdtZxopeKg@rum x©»rÂo¶Æ`gfgfmG x ezuwbdosmdgnn²·a bdo|z{>gfgfmd©(opx¨b´wrvm~wqs}~osmdtÂgfez{ª z{m4osgnw
(25) xoprvm~»¬®ru ¬®}~xbdgfydgf¯ugnqprvdeKgfmGxn² ,-) ( 4')4 94!9µ (' ' *,+-*. .0/214365!798;:=<>147-8?5$8)@BADC>EGFH. soJm I!Ð tu¤}d¢ gKKML6uN0² O PxÐ ¨KML`g@zu¢;dL µ Ì £ o| xrugn3osmdosm~z{3zu/z ~mdopx¨g»qpgnmdt{xb¬®zuw
(26) xoprvmz{m~z>ru}dm~dgngf±>rum~gfmGx zv/dgn¨gfmGxgn PRQTS-U>V
(27) WYX[Z \^]`_aS2Vb ¬®zuwx¨osrum W_cdfehgi^]jdY]lk § opx¨bµx¨bdo|Umdr{xz"x¨osrum/Ç`z4©»gfostubGx3wnz{m>gzurwfosz{x¨gnÂx¨rgnzuwb^do¶xru¬x¨bdgOez{mGx¨o|¨z~²/z"xgfUrumǾ©»g5wnz{qsq,m x¨b~g ©»gfostubGx»ru¬/xbdg3eOrGx¨optvmdo wfzumvx mdrvom ÝÄngfrdopx(r{¬ P zum~ § p SqPnW xbdg3©&gnoptv bvqx O r{¬ o¶x qpg@zuxostumdo wnz{mGx»m~ruom PÄfgn¨r5dS[o¶Pnx@W²³drv zKq|mdzurvwf¨g eu3zvz{qsosÄfx¨g3b~gm}d©&egnop>tvgfbv x(P rurǬm xbdSqPngW q|zuos(x x¨bd~go¶xygfru±¬>xrubdm~ggfmGexz{r{mG¬ x¨o|P ¨² zOr{g¬ P g²&~³dmdrugºxz{bdmg mdrvm4¬®Än}dgfmw
(28) r5x¨os°rurvmz"xxb~opm~z"tOxy>eKrug@osz{mGm~xy ms9}dtemd>opxygf@osÇm©»x¨gbdg g~zum~gx vS[PnW o V^cU n! ² vwSqPnW?Q y!zx vwSqP~W os(x¨bdgez{mGxos¨z5r{¬ P z{m x
(29) {}| £ Ð O Ì £¸
(30) ¢ K Ì ¡ gfB x z{m~ yg3x©»rO°~rvz{x¨osmdtOrvopmGxm}de>gfn² § g3ªmdr"© xb~z"
(31) x " m S W ~! c m S W # % m S W m S W m S o W)c m S W m S W #R h% _ m S W #ü& % c _ m S W £ Ðn Ð rÐ O £ Ð O Ì £¸¢ DÍ ! ¦ osm~wfg Q m S W vS W dzum~ vwS W ValcaW x¨bdgnm m S W ~! c m S W ² £ Ðn Ð OnÐ O £ Ð O Ì £¸¢ Í 9n ¦ § g4gf±~z{m~$ m S WQ m S m S WYvwS WB_ m S W2vS W-W0Q m S W m S W m S[vS WYvwS W9W ²Dosm~wf g vS W2vS W-W ow V-W ©»g3ªmdr"© xb~z"xBm SqvwS WYvwS W-W V^co zum~·©»g ~m~ m S W m S W; m S o W)c m S W m S W ² ¡-¢ ¤ ÷ £n¥
(32) ¦h§ §l¨©qª ª9« « «¬[ ®&¬[f¯ °¬²±l³l´ ªhµ^¶ · ®fÿ ÷/÷ ñ ¸ ¹hº º ».
(33)
(34) "$# .
(35) !. "" # . %& # ')( " !. ³ ostu}dgKa"(gnd¨g@gnmGxz"xoprvm·ru¬/°~rGz"x¨osmdtK>ruosmvxm}de5gn osm ÒÒÒ xzum~dz{·dru}ddqsgdgnwfos¨oprvm £ ÐÐn Ðr O£ Ð O Ì £@¢ Í ~ ¦ opmwgZrux¨D b #z{m~ !z{gopm Ç ì²2³druqsqsr"©(opmdtµx¨b~g g ~mdopx¨osrumZr{¬ vwS W ~z{m~w vS W ¶Çd©»gUbz¸¯u0g vw _ Sm S W W c ~vw _ S m W S W ² V^cW vS W c vwS W a bd)g ÒÒÒ xz{m~dzuOg@¨wf¨osg@ ¬®ru}d#ru}~m~osmdt3eOrg@#d}x#xbdgru}dmopm~tºxrUx¨bdgm~gnz{gnx °~rvz{x¨osmdt3rvopmGxm}de>gf ox¨|Ib~g·xbdzug3d¨drvo¶}dxopm~rvmosÇ mdt5x¨bdeOg re5}dg3qpx¨}~os¨dgnqp·o|wfz{x¨ osrumgÇ ¬üzux}dbdq¶g·x(osm4os¯eKos¨oprGrvm x(wz{rvm~eO ~x}bdx¨g·gnn v²#}a z{bdggº¨rgnr{¨}dxqpx»gf±rux¨¬zuz{w
(36) mxoprvosmeKÇ dosqpgneKx¨bdgfg mGx¨g@ru·}~m~rvgngnz{x¨gnosru¨m}dqpÇGxm~r{z{¬eKx¨gnb~qp g g±dzvw
(37) xez"xbdgfez"xoswnz{qrvgnz{x¨osrum²»³drvg±dz{eKdqsguÇ~o¶¬ o|(xbdgru}dmgn4x¨rKxbdgmdg@z{gnx¯"z{qs}dgr{¬ ¬®rvyz{m Çzum~ x¨b~gyeKIzvdwbdruosmd>gUrv¨°~gnrvKz{x¨osOmdtKɺgfªrvªvopmGgfxBzu d ¾dz{o¶xmop0rvm3rumG¬ }d4x¨b z{m~sn Å PºÇz{os m S[ Pngf±W$zvw
(38) ¸xÇdx¨xbd©»gnr m þ¨}de $rv Q gnz{Sx¨ ru& wfz{Wm·² gUwrumx¨}~wx¨g@P O¬®¨rve¹xzuP m~dz{ °~rGz"x¨osmdt3>ruosmvxrvgnz{x¨rvn²a bdg(gn¨}dqpx#r{¬>x¨bdgyzvdopx¨osrumOosIz3~z{os S W ¨}~wbxb~z"x Q S R W zum~ Q ¸² m4g±dzuwx»e5}dqpx¨osdqpo|wfx z{ x¨osruz{m qs©»o| z¸z{ q|drOxz¸(¯"opz{mÂosqszzudwfqprugveK6² PeKx(ruwmrveK°~drvz{}x¨x¨osg@md tKz~rvzuopmGop xS m }de5 W gnn}~²Iwa b b~x¨gb~z{g)x±dzu wxyQ }de7S md_ gf g@W dz{ m~K °~ rGwz"xop mdtKQ > ruos_ mG¸x ² Px© zu(dr"¯ug@xb~z" zu~o¶xoprvm~!z{m~Oh °~rGz"xopmdtºrvopmGx¨}dx¨zuwx¨osrum~n¤² þm5~z{¨x¨o|w}dq|z{!wfzvg@fÇ"zy¬üzux gf±dzuw
(39) x#¨}de«rumdqs3¨g@ G}dopgn!h°~rvz{x¨osmdty>ruosmGx zu~o¶xoprvm~z{m^rvmdgO°~rvz{x¨osmdt4>ruosmGx}ddx¨zuw
(40) xoprvm²Ka bdgn¨gKru>gfz"x¨rvUz{gK}d¯ugnug@os m ~Ç/
(41) &©(o¶xb zmdgn© oseO~¨r"¯vgn wrvm~opx¨osrum4x¨r zuddqsx¨bdg3¬üzvx(gf±zvw
(42) xy¨}deZ² ¤ K®£ Ì ¡f¢OLK® ¡ ¢ KMK NrÐ LL K ¥u¤ L`¢O¥ O L L`¢ ! Q Ð Ð Ð Ì *. ,+. .-. .-. +. '1. 0/. 21. 31. 1. 1. +. 4/. 1. '15/. 21. 6/. 1 /. +. 1. 7. 21. 98. ;:=<?>6@BAC<EDGF <?>IH J,KLHMDN>OQP'RTS HUOQPV>WP XZY[AC< \5FT]4OQ>Q^_OQ>FTF2XZYa`. 8. cb;degf. t. `p o <5u?X DNvwF.>HG>Q^ <x\HNXZPzy9<CyG>HG>Q^ <TP{<CDN\<?F5>}|UDUv X <~H JL` t. `p o <5u?X DNvwF.>HG>Q^ <x\HNXZPzy9<CyG>HG>Q^ <TP{<CDN\<?F5>}|UDUv X <~H JL`.[]4OQ>^. `. `0. U. ~ Sq ~ 6S. £ Ð O Ì £¸
(43) ¢ K Ì ¡ gfx >g^z´¨gx·ru¬3°~rvz{x¨osmdt rvopmGxmG}~e>gf©(o¶xb opx·¨}de ¨optvmdo >wfz{mGxwrveKrvmdgfmGxn²#a bdg3¬®rvqpqsr"©(osmdt5~¨rvgnxopg@(z{gUz"xos~gn¤" . @. ` . . U. . `o . . . . . `o . ~ V m S /. c. ` c . c c. V. n_. V m S. `o. W. m S. `. W. . . . . . . U. . ` . `o . m S `. m S. `o. . R. #[&%. `o. ~ S m S. W b nnW. m S . V. ~ . W _h ~ z. `o. . c. V /. /. /. c. ~ . Q. `o. +. S `. . W. z{m~ `. U `. . ~ 6S[ n6S. `o. W-W. ². . `o . n6S. `o. V m S. `o. /. c. Ý. # a%. U. . ~ Sq ~ S `o. #q% W. `o. W. `0. W-W. `o. W. . `0aM/. U. Ǻz{m~ -z ¬üz{os eKrvx. # %. . `. W-W. `o . £ ÐÐnÐr O £ Ð O Ì £¸¢ ÍD a b~z{mdª»xrKdg~mdopx¨osrum vÇ©&g3ªmdr"© xb~z"x . `o. Qb;degf . `. . . ihkjE<lF?DNmn>^$DN>G`p o OFqD. H JL`rO Jl<?OQ>^$< \ s. c. V m S. `o. m S. `o. W W,_h n. W _j n W. õ®ö ÷õùø.
(44) ru>gf¨x #R%»os(zx¨oswxwruruqsq|z{Oru¬ ~¨rvgnx #[&% z{m·opx(~¨ruÆos(rveKo¶x¨x¨gn4bdgn¨gv² £ ÐÐnÐr O £ Ð O Ì £¸¢ ÍD ~ a b~z{mdª»xrO~¨rvgnx Ç©&g3ªmdr"©Àx¨b~z{xnÇ . . . . rOx¨b~gfgg±osx. B. U>Va Vh. . U. `. . n_ . n_. `o . V /. ~ V m S. V /. o ~ V `. c c. W. `o. #[&%. ¨}~wb·xb~z"x
(45) " U `. a bdgnm. . Q `. y. . `. W. Q. m . m S `. W. m. . a bdgnm. _j ~ . _j ~ . m S. . . Q. `o. _h n. . _j ~ . V. V. c. V. `o. / . V m S. . V /. V . `o . m. `
(46) o . V. V /. W `. ~ . . `o. ~ . /. c. ~ . / . /. c. n /. c. V . . /. c. n /. c. _ n. . m S. V . V . c. W. `o. £ ÐÐnÐr O £ Ð O Ì £¸¢ ÍD n y ©»gososm·xbdgdrr{¬ru¬ ~¨rvgnx #M%
(47) Ç~©&gwfzum
(48) m~ osmw U>Va Vh ¨}~wb·xb~z"x
(49) " . . . ` U `. Px(¬®ruqsqsr"©Ixb~z"x
(50) ". . U. `. . . n6S[ n6S. _h nV)_ m S. Q. `0. Q. . `0. c m S. W9W)$ ~ . `o. `. WjSqvwS. W `. _ m S . `o. W)c n . _ m S `. W. W `. c /. . _ n. W . . Q. `o. +. `. . . m S `. . . . m S. `. W. `o . WhS[vS `. m S Q. . Sm S. W `. W +. SqvwS. W +. S2VUc ~ . `. W. . c /. _j ~ zjW-W . c / . _h ~ zjW. W. osm~wg S2V)UJc ~ W QDV ²Px(¬®rvqpqsr"©»x¨bz"xBm S W m S W ² >ruosmva x&bdmGgy}~¨eop±O>dgfru>zugf#¨©»x¨osgfgnqsIq~dzv!gnx¨¨bdgfgymGx¨qpgng@eOOezuzvr"#¯vdgz{gnm~¨gfmGx¨x¨bdg@5g(¬®osrvmqpqs r"~©(ÇGosmd ݲ#ta qsgfbdeKgne©(zosz{qpqg(d¨¯urvgn~¨Oz{~tuqpgn5mdgfgyz{zuqdddgn¨qsop}dg@qpOx#opmKrvm·xbdg(xz{¬®m}dx}dz{¨g5x¨°~rrvruz{x¨x¨bdosmdgnt ¨o¶x}~z"xoprvm~f² § gb~z¸¯ugxzuxgn4d}dosqsosmdtz{mÂzvdz{xgn »r{¬!gnm~osdqsg¨g@}~q¶x rum4°~rvz{x¨osmdtKrvopmGx(ru>gfz"xoprvm~f² q+. . ` o . `. 5HU\SzX'F. ÷/÷ ñ ¸ ¹hº º ».
(51) . X=. . . . . . ³ optv}d¨gh!"!gfdgn¨gfmGxz{x¨osrumr{¬!z{mg±~z{mosrum IÌ ¤. . 5DUPV>. F2O)RNPVO. : < >0@.
(52) . A5<. D. 5HUY S$HNPz< P >h. . b `pDNPzy Q. . m. £ ÐÐn ¦ þ m4xbdgeKrvx(tugfm~gfz{q¾wfzvgvÇ . . Sz\H5S$< \2>m. F2X C^k>Q^ DU>. KLHMDN>OQP'R.S HUOQPV>,PVXZYEA5< \5F. . ]4OQ>^;OQ> FkF2XZY ` Q b degf F2X C^ >^$DU> ` o OFGF DU>OF ,<5y~J?HU\kDUPVmqKLHMDN>OQP'RnS$HNOQP >TPVXZYEA5< \_DNPzy. F < >GH JxKLHDU>OQP3R_S HUOQP >EPVXZYEA5< \5F {^ <TJ?HUvQvHN]4OQP3R. c m S W_ m S. o . . S. +. +. o. . _j ~ . y vwS W c. _ m S Wm S . U ~ . `. W. Çd©(opx¨b. z{m~w vS. . B. Q o. Q W `. Ç. +. S[vS. m. o . . +. ?`. . . `. YEHUF5> F < >TH J. h. o. W-W. /. `. W. ² § gªmdr"©\xb~z"x
(53) ". WYvwS W `. D. . + S m S W m S ` Y W vwS ` YW vwS W / m S W m S ` W + qS vwS ` 2W vS W. c G w v S . Px(¬®ruqsqsr"©Ixb~z"x
(54) ". U9. W. n . . . 5DUPV> 5HUY S HUPz< P >LH J. OF DUPVm. W. `o. _ m S o W c ~ _ m S W c ~ _ m S 2` W a ~ _ m S W m S . Q. . o. gfx. OFlDGYEHUF5> F2O)RNPVO. W (© o¶xbJ U n6S[ n6S Q S W Q S W Q. o. ©(opx¨b. . o. WYvwS W. . / /. _h ~ . . _j ~ zhW. /. _h ~ . _j n. _ m S Wm S . cSMc U nnW. . c!S c U ~ ~W. m Sm S Wm S . m S Wm S` , W _ m SMcSMc U nnW9W c m S Wm S` W c m S W m S `o W . . . `. W-W. W. . `. /. a ~ . z{m. W _ cSMc U nnW9W. . <B3,8BH721?8BH >rumosmvÌ xK mO!}d¤!eL >¡ K gfÐ L Sqo|P x-bdP gb bgfb d9P gn! ¨W gfmGwfxz{z{qsqsx¨gnosru mxbdr{¬#g zK¥ Ðqszu¨tvO gUÐ °~L rvÌ z{L`x¨os¢nmd¡ t#ü¨gfrvg
(55) opmG~xytu G}d}~zugmvxho¶%
(56) x²vÇ a #bdÇ>g G Ì z{LmZN~mo¢"! Ýx¨}dru~¬(qpgx¨bdrugZ¬ ge±zv~wzubdm~op¨m~opg3rvm °~rvosz{5x¨x¨osmdb~tg *,+. m}dea >bdgfgy(wfruru¬ eKopx>yruwmdrugneKmvx>rue5mdgn}~mGxx»n²gUrvxgnO5ezutumdopx¨}~dgºz{mOx©&rwfrueK>rumdgnmvxIwnz{mdmdruxIb~z¸¯vgostumdo wnz{mGxIdopx&©(o¶xbx¨b~g z{eKg3©&gnoptvbvxzv opqsqp}xz{x¨gn
(57) ~tv}d¨g3d² § gz¸Kx¨b~z{x(x¨bdgwfrueKrvmdgfmGx(z{g L Ð L Î$Ð #>Ì £ Ro¤ OOKML6N ²³drvz{m ¯"z{qs}dg3r{&¬ %Ç x©»rO³dm~rvrumz{mÄfgf rewz"rvxeObdgf>eruz{m~x¨gfo|mGw3xru >P(gf'*) z"Ux¨oszurum~m/ .Ç P ' o|(z"g@x vos}¬®z{0 q`px¨rKS[P x'+bd) gW-gf±, zvw
(58) m xSq¨P }d'YeW ² ru¬!zuqpqopxywrueK>rumdgnmGxn²Ia bdgzu~o¶xoprvmÂz{m~4x¨b~g e}~q¶xopdqso|wfz"xoprvmrumÂgf±~z{m~¨osrum~zu¨gopeKdqsgfeKgfmGxgn©(opx¨bµg±dzuwxyru>gfz"xoprvm~f²Êyr osm¬®ruez"x¨osrumÂo|ºqprGx@²³druUg±dzueO~qpgvÇ . . . . õ®ö ÷õùø.
(59)
(60) .
(61) . 1.001010001010000....0. . 1.011101001100101....1. H. . 1.101011011101001....0. . }. . . }. ³ optv}d¨g"!³ qsrvz{x¨osmdtKrvopmGxm}de>gf(«z{m4Á rKmdr{x(r"¯ugn¨q|z{4©(bdgfgnzv ÁÀz{mZÈÀr . . . ³ optv}d¨g`r"Pxgfz"xoprvm %ru¬ I¨osgnxnà (z{qsturv¨opx¨bde " '*) Q ' U ' _! ² x¨b~gO¨}de c "#" V o|ºgf~¨g@gnmvxgnZZx©»r4wrveKrvmdgfmGx c "#" zum~ V ² § gr4mdr{xx¨rugKz{qsq/xbdgKÄfgfr·~o¶xº>gx©»gfgnm x¨b~g3x©&rwrveKrvmdgfmGxn² opg@x3dru>rv¨gnz4mdrvom Ýgnx¨rv¨osmdt·zuqptvruo¶xbde ¬®ruUx¨b~gKdop¯o|osrumru¬&gf±z{m~¨oprvm~p¸hÇ!u P²}Px3opm~o¶xoszuqpqs^x¨rugnyx¨b~g ¯"z{qs}dgr{¬!xbdgos¯Go|gnm~ZopmZxbdggfez{osm~gn$ " ²&»xyopx¨gnz{x¨osrum %ÇzKmdgn©<zuddr¸±osez"x&g % Ð ¢ K Ì L`¢Ñ K[NnK®¢ ' os(tv}dgn¨gn ¬®ruezO¬üz{osyeKrvxyostum~o wnz{mGxywrveKrvmdgfmGx ru¬ xbdgos¯os¨ru z{m~ÂzO¬üzuopºeOrGxy¨ostumdo wfzumGxºwrveO>rum~gfmGx ' r{¬!x¨b~g gfez{osm~gn' ' " ' Q S ')( W ²&a bdg3¨gneKzuopmgf(o| ¨gndq|zuwg3* '*) Q ' U+ ' _, zv dgn¨gfmGx¨g@ ~tv}dg ² G}dr{xoposgnm~mGwx&-g e z¸' 5o|>gz"xKx¨}~qsgnm~zuwfz{xx¨gnOop¯xo|r5gnzDtuos¯u´gfmKzµdwfrugnm~wfos¨xoszurumGmKxx¨¬ür5zuwrux¨rvxKz{osz{m xOz{g@m·zuwzubDddo¶xgfr¸±z"opx¨eosruz"m/xg(Ç#x¨gbd±gÂ~zuzum~qptvosrurumo¶x©(bde opx¨b4osKzwrvrvm}d¯um~gfg@tuosmdmt}d² ea >b~gfg r{¬#wrveKrvmdgfmGxn² /. . . /. . o. +. o. o. . o. ". Q. . 0 ' '21 ". /. . . (Z ( f! Z º}dIzuqptvruo¶xbdervmdqp5gnx¨osez"x¨g@!x¨b~geKrvxIostumdo wnz{mGxIostuopx ru¬`x¨bdg(gfez{osm~gnn²!a bdg(qsgn¨optvmdo >wfz{mGxIwfrueKrvmdgfmGx r{gn¬ºx¨}~bdwfggndop¨¯ro|¬ügfzum~n²U2 z{dgZosruxruo¶xgn´ v}~}~m~gfw}db~gOz{gm~±tux¨gnDzuw©(xopx¨x¨bbdg5z{qseOq rGx¨bdx3gÂwosturvm~eKo ' wnrvz{mdmGgfxºmGxwfKrueKru¬yxrvbdmdggfmGx¨xgfºezueO rvU$md t' x_5bdosU¨x¨gb~xnz{²3x a b~bdz¸g@¯ugg5mdmGru}~xKe>>gfgfgnm tuz{}g^z{zvz{wfmGwx¨}~gnegn&}dx¨q|b~z"xz{gnx \ }d' mGosxyopqUzOx¬ü©»z{opr x¨bmd¬®}drvq m z{Äfdgn~¨¨r´r¸±m~osrueKmÀz{x¨r"osru¯vm4gfr{qszu8¬ d dos' md²»t´³ ostuos}dtuopxg O ru' }xz{qpmosmd7 g@ 6 x¨' bdgwnz{¨m gnqsz{>x¨g^os¯ug3g@xoprGeopz"x¨xosrugnmZ¾² ru¬a xbdbdgo|4dopÆ>¨gnr¨wfgngnmGx G}~z{mGxo¶xopg@(}deKeKgn rv}dz{qsturv¨opx¨bdeZ² 3. 4. o. ;o. o. ÷/÷ ñ ¸ ¹hº º ».
(62) '. o. $ ' U. . çüâäæ
(63) çRâ ëùî nð@óð@ó.
(64) . . '+). . '.
(65) . ¤d£@¢
(66) Kü¤ £ Ì Ñ ¥u¢ K Ð L . }. . } }. ' . '. . . çüâäæ
(67) çRâ ëùî nð@óð@ó.
(68) . . . ³ optv}dg!",Px¨gnz{x¨osrum %&r{¬ ru}d(eKro ~gnZz{qsturv¨opx¨b~e !" g@xopez"xg +' ) Uz{m 6 +' ) "² o. )+-*. . . 148 4EGF!: EG8 ~E. a bdg4mdgf© gfez{osm~gn '*) o|xbdg4¨}de r{¬(xbdgfg xgfeR#Rgng gn G}~z{x¨osrum &%
(69) ²µa b~g4 G}~z{mGxo¶x S ' U ' W gf~¨g@gnmvx z{gfqsqex¨z{bdosgOmdosmdopt3tvo¶dx¨rru¬ } w
(70) xI' o|d#}xºgfdx¨bdgng5¨gfeOmGx¨rGg@5x3zvos!tux¨m~b~o gwnz{}dmGe¹xyrvr{md¬guhÇ Pmx¨}dbdegO>g@gfw#rvgfm~±~z{x¨gnm~¨¨eosrum~o|º¨z ru¨¨x¨osmdg@tuqsg5°~rGeKz"zuxtuopmdmdt·opx¨}rvopg(mGruxºImzv}de5hUggn±º~zuzum~m~Zosrux¨b~mg r{¬!qsgfmdtux¨b S U VW zu os»xbdgqpgnmdt{xbZr{¬ ² '+) Q S ' U ' W S ' U+ ' W U+ ' S U RW #ü& % º}d(z{qsturv¨opx¨b~e)os(wfrum¯ugn¨tvopm~t5¨opm~wfgUx¨bdg¨gn G}dgnm~wg3r{; ¬ ' Gosy v}~oswªqs·gnwf¨g@zu¨opm~tOzv d¨g@gnmGx¨gn·gnqpr"©² . o. . . . '+) . /. o. 'U '. . . o. o. 'U ' . . . / . o. o. . / . . '. . o. o. o. U. nÅ. . # &%. . § gU~¨g@gnmvxzum}~dgn(rv}dm~r{¬!gnzvwb·xgfe)r{¬!osmdgn G}~z{x¨osrumw#nÅ&%
(71) ² »xo¶xgfz"x¨osrum %Çx¨b~gd¨osruopx· G}dgf}dgwfrumGxzuopm(z"xeKrvx % g±~zum~¨oprvm~(osm~wfggnzuwb zvdd x©»r gx¨bd±g~z{qsr"m©&osgnru&m~&z{x¨r5x xbdg G}dgf}~ag "#ru¬®m~ru(gº' ¬®rv x¨bdg}~² dgn~zux(r{¬ SMx¨c b~gopm~V
(72) dW op¯o|}~z{q¾~¨r}~wx S '! #"
(73) ' W%S $ {z U m~4Wrum~g3¬®ru x¨b~g . {/. t. S. ' !. " W &. Q. o. c!b b . . ' U '. . %. SMc. {/. SMc %. . . '. . VWY ~ 6S W VW m S 2W n V
(74) W n. ' % ' c!SMc 'U ' wnz{mDgZgn}~wfgn´¬®¨rve x¨bdgÂg ~mdopx¨osrum ru¬ ' }osmdt zuK{z >r"¯ug·x¨bdgdru>gf¨x¨osgn #%
(75) Ç #[%dqs}~Kmdr"© . . {/. z/. t. . . d¨rvgnx Ý# a%² . o. o. . ' U+ ' . o. o. ) . . . . . Q. o . o. . . . . o . V c . V. . c . . U. c. . . . . _ c. ' ~ . . o. '. . ) +. o. '. . '. u. # % . +*,* o. ). . . ) +. _h ~ . . o. '. . *#*. . . ~ . . õ®ö ÷õùø.
(76) t. a bdg3qszvx x¨gn¨e7os >ru}~m~gn4z5¬®}dmw
(77) x¨osrumZru¬ ' ² . o. 'S. . . . . . . '. . . U RW o. . . . . o . c . . W. m S W o _ n . '. . o. . '. o. . . . _j ~ 6S . o. . . . o . . . _h ~ . @h. ' _j ~ . . . # %. a b}~nÇ©&gwfzum4©(opx¨ga" '*) Sq % WY ~ 6b ' È&rumg@ v}~gfmGx¨qsuÇGx¨b~gz{qsturuopx¨bde)o|(wrvm¯ugftuosmdtOzu(¨rGrvmzv %
(78) ² . )+. . 14A=<3FE ~14A=</-E. {/. ;7Y5. § ·g wrvm~o|gnx¨b~z{xgf¯"zuqp}~z{x¨osmdtZx¨b~g m}de>gf5r{¬ °~rvz{x¨osmdtÂ>ruosmvx5ru>gfz"x¨osrum0#üzu~o¶xoprvm~nÇ e5}dqpx¨osdqpo|wfz{x¨osrum~nÇ!op¯o|osrum z{m>g wx¨rubdeKg(~qsgfzum~¨o|t{¨x¨rubm~lru%¬o|xIbd¨g(}¼ gfewosz{gfosmGm~xxgnrwz"rvxeOopx¨gfz{z"g(xoprvrum}dI% zuz{qpm~tvruo¶xbd>eg ©(x¨b~opx¨gbm}deosgn>gfxn#à ruru¬>m~opx¨gugn² z{x¨gosxrum~ n² >ga xb~bdg(gqpgnqsgfmdmdt{tuxx¨bObKrur{¬¬`xx¨bdb~ggy G}dosr{¯Gxo|op¨gnrumG@x Ç v o| (' }dg@ v}~gfmGx¨qs·os¨g@w
(79) xqpg ~m~gnZzu v ² Á»r{xb^z{qsturv¨opx¨bdeºmdgfg@ e5}dq¶xop~qpo|wfz{x¨osrum~3z{m zvdopx¨osrum~yx¨rZ¨dqpopxUx¨bdgKwrveO>rum~gfmGxUr{¬#xbdgos¯Go|¨ruºzum~ e}~q¶xopdqso|wfz"xoprvm~(z{m v zud do¶xoprvm~»x¨r¨dqpopx(x¨b~gwrueK >rumdgnmGx r{¬ x¨b~g v}~r{x¨osgfmGxostuopx(zv»x¨bdgn4z{g3drd}~wg@¾² v wrveKþdm^}Ix¨g ¨osxgnbdgyxnà 3 G}~z{zuqstumvruxo¶xopx¨bdx¨eZb~z{Ç`xIgnzvb~wrub}do¶q|xOgfz"gxop©(rvm^opx¨bo|º~z¸¨©(rvªumOgf¬®mµrue r"©(x¨bdmg(osmvgfxeRr z{Zosm~x¨gfgn j| "UwrvweOrueK~}dx¨}dg x¨gKxbdz·gmdmdgngn©©Dgfosetuopxz{osr{m~¬gnxbdgOz{m~ G }dru~x¨mosgfz{mGqsqpx | wrveKd¨g@¨»opxn² Gx¨gn V c (dopx¨osrum v S[ ' c GW ! ' ' S[ ' c GW ! È&rueK~zu¨o|rvm S[ ' c GW ! V ' ½ÂÉyos}d¯qposx¨¨ososdruqsm oswnz"x¨osrum v v drþmZ}~wrug@}d¾º² z{Ò qstuzvruwbopx¨ Gbd}deZrux¨Ços©»gfmGgxywfzuosmtuopgnx ¯"tvz{gfqs}~mdz"gnxz{gx¨g@(opgnz5wtvx¨qsop ¯vgfxmbdgm}dme}de>gf>(gfyru¬r{x¬!zuru¨>ªgfn²z"Gx¨x¨osrugnm~»¬®¨rvz{e)mx¨b~hKgzum¨gU}de}dm~>wgfb~ºzur{md¬#tu vg@·}~r{gfx¨±dosgfwmGgfxydx(osx¨tub~opz{xx x¨gf z{q|rOosm~wqs}~g@(zxgnx»¬®rv(g±dzuwx»bz{qpx¨osmdt #ü¨gfgg@w
(80) xoprvm4 %²IGx¨gn~(Kz{m~R Kz{gºgfdq|zuwfgn·G x¨bdg3gfqsoseOosm~z{x¨osrumr{¬ x¨b~g3x¨gfe r{¬ x¨bdg G}dgn}dag "!ez{mz{tugUxbdgdoprv¨opx G}dgf}dgzum~Zwrum}deKgUx¨b~g3x¨ru~eOrGxostuopxop¬xopeKgo|(wrugnw
(81) x@² Gx¨gn V c (È&rudeKop~x¨oszuru¨m o|rvm cv v v cvwS UV
(82) W ! v cvwS U VW ! v v cvwS UV
(83) W ½Â}dqpx¨osdqsoswnz"x¨osrum v v Éyos¯os¨osrum v ar4>ru}dmÂx¨b~qpg@gKzuwfosrumdeKt4dx¨qsr g±opxÂr{¬I% osgnxnà ² § z{qstugruwfz{opx¨mµbdeZbdr"Ç`©»©&gfgO¯ugnb~ºz¸¯vzvg¨¨x¨}dreKgfg¯"xzub~qp}~z"z{xx¨g©»g5 ' b}² z¸þ¯um^g5xzbdgK¨o¶©&x}~rvz"xopxUrvmµwnzuw¨qsgurvÇ`¨©&g5gKx¨rwfzux¨m^bdgOb~ruz¸m~¯vgg gx¨ ';b~±os>Dgfwn opzu' gn. ¨m~guwÇg@©»gc ©( ¨o¶z¸xKbxe5b~z"}dx qpx¨osdqpg ';d¨Tg@wco|%os rumZz{ " opx¨ ZbdeK©(gbdxgnos¨w3 g Zzu¨o|gnzKruwmZrvm~osmvxxz{gftvmGgfx@² > #®q|z"x¨gnrumÂwnz{qsqpg@4osmGx¨gntugf9 Pqposªug3z{qsturv¨opx¨bde %² þm Á»r{xb3zuqptvruo¶xbde¾gn G ',}dos ¨g v U v v e5}dqpx¨osdqpo|wfz{x¨osrum~z{m~ v os¯Go|¨oprvm~f ² º}d/z{qsturv¨opx¨b~eÀgn G}dos¨g@ v zvdopx¨osrum~zuq e}~q¶xopdqso|wfz"xoprvm~#xrdgn¨gf¯ug g±dzvw
(84) xb~zuq¶xopmdt5zu#dgn¨gfmGxgnOopm x¨bdgm~g±x&¨gnw
(85) xoprvm²!a bdg(x¨ruxzuq~m}de>gf&r{¬`°~rGz"x¨osmdt>ruosmGx b. /. b. /. b. / /. W/. /. {/ /. ÷/÷ ñ ¸ ¹hº º ». /. /. /.
(86) §ruzumZ~g¨o¶b~opxeKopz¸rv¯udm~gqs!gzKz{wfm~>zvOgg@x¨wx¨&rvgf©(eKUb~zu~gf¨z{gºeOos¨xrudbdmx¨gr{xgf¬®osrvm~w b~wfz{g@ruzum~eKwwfbKgndZqsz{gqsw±turvoprvxmG¨x¨opx¨x¨bdrub~q`ezutumÂo|os¯u!gntum4osop¯ug@gnmx@à >xbdgfzugqsqpr"tvd©ru² opo¶rvx½¨bdope)zux m~z{os GmÂtv}dopgftum~}dgntmdg3x¨gfb~o|(g»z{mdqÝ~Çru¨dx osru}m~xygno¶xwIg@¨¨ Gosgn}dz{gnxn}duà g² z{os!qstu Grv}d¨opopx¨x¨g(b~e)gf±>osgfm¬üzuosx¨¯ugngv ² yqptvruo¶xbde I¨osgnxnà þmGxgftugn- Pqsopªvg ½rdo ~g@. (dopx¨osrum. Vc v V v v v vS-V
(87) c U W c v Ucv /. v. /. /. /. È&rveK~z{os¨rum. c v / vwSqvU VW v / v / z { cvwS U V W v / cv. /. . /. /. . . .. . 6\8% 7 4 § bdgnm x¨bdg· G}drux¨osgfmGxez¸^>g gfdgn¨gfmGxgn zuzZ°rvz"xopm~t>ruosmGxg±~zum~¨oprvmÇ/>r{xb z{qsturv¨opx¨bde ~m o¶x@²Za b~gf^bz{qpx z"¬ùxgfyz mdo¶xgm}de5gnr{¬#xgf~y©(o¶xbZx¨bdgg±dzuwxy v}~r{x¨osgfmGx@² § g¨bdr"©Àxb~z"x(xbdgru}dmopm~tgf¨rv osmGx¨rd}~wg@4osmZx¨b~g z{ G~}ddr{x¨opr¸gn±mGosx(edz"opx¨tvg·o¶xtu }dx¨g@b~¨z{¨xgn©&r{rv¬}dq|x4bdg4wfru Gm}d¯urugnx¨¨ostvgfgmGxKx¨rOdxoptvbdo¶gx5 G}dzu¨r{g4xopgnmdmvr{xxK~}}x(¼ ¬üwfz{oposgnq`mvx¨xOr x¨z{r xxwzuopgnmz{x¨opxg4gz^±dzuopmwx¨~qsmdu²opx¨gZg@ v}~gfm~wfg·r{¬Uz{ddr¸±opez{x¨g (gnqsz{x¨gn^ v}~gnx¨osrum~ºz{ggfmGx¨osgfqs4mdgn©«opm^x¨bdg5qpopx¨gnz{x¨}dgrvm°~rvz{x¨osmdt >ruosmGxUrvgnz{x¨osrum~n;² þmGx¨gn¨g@xopmdtvqpvÇ~©»g©»gfg ¬®z{rum wg@¬®rv(xrUru}deKrzuqpoptv¬®ruruo¶x}~bd!eZzu²qptvruo¶xbdex¨r3rvxzuopm5g±dzuwx!bz{qpx¨osmdt~² a bdos!qsgn5}~ xr3zUopÆ>gn¨gnmGx!~¨rr{¬~¬®ru#opg@x@à #zuqptvruo¶xbde . )+-*. Fr72EGH5[Hw3,/2: 14F7Y5 BA. § G}dgKr{x¬®oprgnwfmG}~xOrvostu}dopxn² opmGxa gfbdgngZx3oprvÆ>m gn¨x¨gnbdm~g wgx¨gngf
(88) x©& µgn©(gfm bdgnx¨bdgOgxgbd±dg zuz{wx5qsturvgn¨¨opx¨}dbdq¶xKe-z{©&m~´rv}dx¨qsbd gZ~¨md}do|e¨b r{op¬ ¬o¶xx bd~g md3©»x¨gb~g·b~wz¸rv¯u¨g·gnwfwruxºeK°~drG}z"xxgnopDmdtZr^>ru¬üosz{mG@x Ç o|z°~rvz{x¨osmdtZrvopmGxm}de5gnnÇ Q ( ²
(89) /gx gKxbdg ¯"z{qs}dg wrveKd}x¨g@ G^x¨bdg4 ' z{qsturuopx¨bde-zum~ x¨b~g g±dzuwx #®m~r{xºru}~m~gnr % G}dr{xopgnmGxyr{¬#¬üzuopUeKrvxºostum~o wnz{mGxºwfrueKrvmdgfmGxyru¬ zum~ " ²gn¨gvÇ©»g5zv¨¨}deKgzv bdgn©»wb}dª4wrum{gnw
(90) x}dgn4opwm s@
(91) xb~z"x xbdgwrveO~¨g@¨(zuqptvruo¶xbde ¨gfx¨}dm~(z5¬üz{os(eK rv xQ ostumdo (wnz{mGxwrueK>rumdgnmGxn² 1. 1. 1. U. . V Q. . o. V . . V . b ~ 6S cV . . o. V . b ~ S. o. V. a ~ S. o. V. . . . V c. . . . . / . . U. . o ~ ~W m S W /. nnW /. c. . . . . . /. . . . . ~ 6S. V c. /. . o. . ~ ~W m S. / m S W _ m S W o o c m S W,_ m S RW. . /. . ~ ~W6_ m S W _ m S /. m S W,_h n6S V c. . o. o U+ . . o. . o + 1 =U. o. W . . . y¨opm~td¨rvgnx tºosmdtqsgfeKez4 t. #[&%. W. nnW. n #j%. x¨rÅ~yÇy3rubdyr"©(h5mZ}dqsrv~m f² § tu}dgg b~z¸¯vg3 I©(hObdgnopÆ>¨ggn¨wfgn¨mGrGxy¨¨wfgnzu ¨gnz{ "ggfdgn¨gfmGxzudqsgº°rvz"xopm~tO>ruosmGxy¯"z{qs}dgnnÇxbdg¯"z{qs}dgr{¬B U g@ v}z{q| U Q ²#a bdgzuqptvruo¶xbde ~m~d(x¨bdggf±zvw
(92) x(gn¨}dq¶x@² U ! Q c ²a bdggf±zvw
(93) x(gn¨}dq¶x(©(osqpq/g3¬®rv}dm~Zz"x x¨b~gmdg±xyx¨gf/² . c. . _j ~ _ m S W. # &%. t t. õ®ö ÷õùø.
(94) . . . )+. . . . ³ optv}dg`"ÉyopÆ`gfgfm~wfgU>gx©»gfgnm {z m. . 7 ;7-H7-148. 1 B7
(95) E. osm~wgopxOrvmdqp g@xopez"xgn5x¨b~g4eKrvxostumdo wnz{mGx5wrveKrvmdgfmGxKr{¬xbdg4gfezuopm~dgf@Ç#ru}dKz{qsturv¨opx¨bde ez¸ d¨r}wg4zum osm ~mdopx¨gx¨opmdtKru¬z{d~¨r¸±oseKz{x¨g@ G}dr{xopgnmvxostuopxn² § g3b~z¸¯vgºosm~¨gf¨x¨g@·zKwrv¨gnwx¨osrum osm·xbdg3ez{osm4qsrru xrz¸¯uruo|Kxbdos ¨o¶x}~»z"xxyoprvg@mzu²wbZo¶xgfz"xoprvmÂr{¬#rux¨b^zuqptvruo¶xbde3Ç~xbdg5 G}drux¨osgfmGxºostuopxyb~zv x¨r4g5dqsopxºosmvxrx©»rb~z{qp¬#©&rvd(x¨r·wfrueKd}xg x¨x¨b~bgz"xxgfxbdeKg qsr"U$©& gn'_ b~zuq¶`²¬#©»þm^ruru4}~ºo|z{m~qstur{rvxy¨opx¨gfb~qsgfe¯"z{Ç>mGop¬x@² x¨bd³~gKruº G}dg±dr{xz{opeKgnmGdx3qsguÇ>ostuz{opmÂxºgno|Ux¨¯uosegn¨z"ZxgnwÂqsrv G¨g}dr{xxr·opgnopmGxUxºbdosostutubdopxºgnyr{¬(b~vzuq¶² Å~¬In©»ÅuruÅvÅu¾ÅvÇ>Åu©&ÅuÅvgOÅuwÅ~rv²p²sm~² ÅuÅuo|Ågnv Ç u² ÅuÅ~uvuuvuvuu²s²s²pvfÅuźruv² Å~nÅuÅvÅuÅvÅuÅuÅvÅuÅ~²p²s² ÅdufÅ~Ç"©(opqsq¾ggf~qszvwgn4u² Åd@ÅuÅvÅuÅuÅvÅuÅvÅuÅd²s²s² ÅvÅ{ÅuŲ opx¨gfPz"¬¾xopx¨rvb~mgº²#qsr"y©&(gngf±~zug@w
(96) x»x¨g@r{¾¬¾Çx¨xb~bdgºososgftu¯uopgnx»mG©»x gfbz{gydwf>rugfm~¨g@ w
(97) x¨z{qsgfg@qsxoposemZz{zvx¨w
(98) gnx}~Çvz{xqbdzuo|dIdrvqsoswngnz"x¨z{osx¨ruosmrumf² rum~qpKqsgfmdtux¨bdgnm~xbdgºzuqptvruo¶xbde¹r{¬rum~g 9 9f %& y»z{m·g±dz{eKdqsguÇG©&gº}~¨gngf±z{m~¨oprvm~#xr5wfrueKd}xgx¨b~gºgfx¨gfeKopmz{mGx&ru¬/z¨eKzuqpq>ez"x¨op± #RosÄfgUxr·nÅ&%
(99) ² Ò ¯"z{qs}~z"xopm~t x¨b~gUgf±x¨gfmgnostum4r{¬!z5gfx¨gn¨eKosm~z{mG x #®Ängfr~ÇrGopx¨os¯ugUru mdgntvz{x¨os¯u
(100) g %os(zOw}~wfoszuq>o|}dgUosmwfrueKd}xz"x¨osrumz{q`tugnrueKgx¨v² a bdgzuqptvruo¶xbde b~zu»xrKg3¬üzvxyzum~·gn¨ru»¬®gfgv² . . . . C. . . _j_ _ _j_ _. . . . ²² ²² ² ² ² ²² _j_ _ gfx >gx¨b~g G}~z{g ez"x¨op±Kg ~mdg@z{>r"¯ugu² gfx >g(x¨b~gyeKopm~ru&zv¨¨rwo|z"xgnx¨r} ²#a/rwfrueKd}xgx¨b~g gfx¨gfeKopmz{mGxnÇd©»g ~! xy zuddqsopg@·xbdg ¥ Ð JL Ï Kü¡ Ì Ñ Ì #>Ì Ð O v ' " Ì L`¢ rum zu ¬®rvqpqsr"©f² § ggnw}~' " ¨op¯vgfqs z{d~qposgn4x¨b~g gn¯um~gfzuqseOru~o|wUeOdgnmGruxUturvmz{eKx¨b~eKg osmdv t5' © zu»gxoseKgfdeOqpgnosm~eKzugfmvmGxx¨ºg@x¨·b~xz{rx3¨m~g@gfgn}~wfgºx¨rZxbd>g3gKx¨wfruruxeKzuq¾d¨}}dxm~gnmd^opm~x¨t5r x~opmdeKo|gvbµ² x¨b~gKwfrueKd}xz"xoprvm²OrveKg5qsopeKopx¨g@ . Q. . . . . . . C. . . . . . . S . Q. Q. $ v. W. 0 '1. . C. S2U>VW. U . . v. . '+) ' . . . !. . /$ 2. '. v. v. 2. U b b b /. S-U>V
(101) W. ) b v . . . . ¤ ¡n
(102) ¡ Kü¤ L Ì [K $K[L ¤ ¢ K Ð L }~¨gnru>gfz"xoprvm~rumxbdg&qsosmdgnr{¬dxbdg»eKz{x¨o¶±3xrºwrveKd}x¨g z{m}dd>gf x¨oszumdtu}~qszu/ez"x¨op±¾² a bdgKdr}~w
(103) x3r{¬&x¨bdgOxgfeKUrvmx¨b~gKdoszuturumz{q ososgnw
(104) xqpwfrumdm~gnw
(105) xgnx¨rx¨bdgKgfx¨gfeKopmz{mGxr{¬ ² § g5}~¨gnµ~zuxoszuq dos¯urux¨osmdtK©(bdgfmZmdg@wgnz{u² º}d(g@wrum4zuqptvruo¶xbde)o|(gnwop>gn4>gfqsr"© ©(opx¨bdrv}xyos¯os¨oprvm~n² x¨eK 5 | ³drv( ª Ux¨r!m r ³~ru(o "ª !5yxrmr ³~ru!# "ª !5 U %x¨rK$ m r %$ . '". Q. vRQ v ( vQ v $ v. ¨gfx¨}dm ÷/÷ ñ ¸ ¹hº º ». ' ";U '. ".
(106) Running time (Ratio to Gaussian elimination on floating point numbers) 100000. 10000. 1000. 100. 10. Recursive development Gaussian elimination Gaussian elimination Bareiss method Bareiss method. on expansions on expansions with GMP on expansions with GMP. 1. ³ ostu}dg"(g@}~q¶x rumÂz È&Gop±R"±!a©(o¶xbzOzum~rue ez{x¨o¶±¾² G}do|wa ªGbdqsÂgÂqsegnzuz{dtvopmdmdopt4x¨}~x¨rÂgzuzumµm~gfD±>x¨bdrugÂm~gfqsmGgfx¨m~o|t{z{x¨q!b\turur"¬º© xx¨bdb/g²osmGx¨¤gf£ Ì eKKR¡ngn¡ o|z" xgZÌ ¢"¯¸!zuqpÐ }~Ñ gnosmGosm\x¨rrud}d}~·wj3g@UzuzZ}~o|osz{¯m2os¨osgfruqsmµopeKz{osxm~z"gnxzuopwrvb mtuxgfr"µ© x¨rZ}dgn¯u}~gn¨wf g x¨b~gK¨osÄfgKr{¬xbdgKopmGxgfeOg@o|z"x¨gwfrGgf¼ wosgfmGxn²5a bdgKos¯os¨oprvmµo|Ug±dzuwxz{m~x¨bdg G}dr{xopgnmGx3o|3mdrux3zuddr¸±osez"xgn¾²a b~g z{qsturv¨opx¨b~e g@wrueKg@j " ³d % rvv ª Q V U| xrom r ³dru(o «"ª !5ºxrKmZdr ³dru!# "ª !5U x¨ %rK$ mÂr %$ 3. 4. 5. 6. 7. % vQ. " QDS . ; " U . '. '. '. 8.
(107) " W. 9. 10. ( % v. gx¨}~¨m § oseO~§ qpgneOg^gnwmGrvxeOz"xopz{rvm~gnnD² a x¨bdbdg^g(q|x¨z"bdxgfgfgµ~¨ro¶Æ`gf}~wfgfgnmGOx4wzurvqpm~tvruxz{o¶xmGbdx¨eqsgn¨rumrumdrvgn}dru·}~ ~zvgnw¨ª"}dz{qptuxgvÇ&zv#rvmÀrruj3mK½Âzu #x¨zubdm~g¨opÄnrug(m\r{¬>gfx¨tvbd}dg(qszuez{°~x¨rGosz"wfx¨gnos!mdt gnzu>wrub~osgnmG x x¨~r² j3z{g5}~bdr"o|©»z{mÂgf¯vgngfqposeK}opmg@z"Zx¨osx¨rubdm^gneÓrumZzu°~UrGz z"x¨osgmd¬®t gn¨>gnm~ruoswmGgvxy²ºma }dbdeg >~gftu}dn²ygna 3bdOo|xrz"·x¨osr d¨o|g@xgnbdmGgxºz ~¨o|wz"gxopr xr ru>¬gx¨b~~g5zuosZ}dmdxmdr osmdrutdxxz{oposeKmÂgKxbdwg5rveOwfruz{¨g@gnw
(108) x gn¨}dq¶x@² j3½Â #Rj3BÊ t½Â}~q¶xopdqsgZgnwo|¨oprvm ~zvwª¸zutug %o|Oz^©&gnqpq PªGm~r"©(m´qposdz{ x¨b~z{xO}~¨gnKzv¨¨gfe5dqp wfrdg4rvm´x¨b~g osmvxgftvgf(}dmdopx(x¨rwfrum~x¨}~w
(109) x(¯vgf g¼ wosgfmGx(e}~q¶xopdqsgdgnwfos¨oprvm4rvgnz{x¨£"rv¤!nL ² Ñ ´¤¢n£KR¥ ¡ þm ru}~x¨g@x@Ç ©»gb~z¸¯vg}~g@ x©&rdo¶Æ`gfgfmGxx>gnru¬(eKz{x¨oswfgn " Ð Ì # t~²!Âz{m~ &%3z{m~ L Ð L K[L #>Ì £@
(110) ¢ K® Ì ¤¢f£ Kü¥ Ì ¡ # ~t~²# %²Da bdg4¬®rueKgfK}~¨gZGÂ~o¶xKzum~rve opmGx¨gntugnn²´a bdgZqsz{x¨gn5}~¨gZopqsq»¬®rueKgnh{ÅuÅ^dopx osmvxgf³dtvrvgf»z{wfqsruqeKxbddg}xxgngnZxn¨r5Ç!wfxrub~qsz"}dx(eKxm bdg©(osz{¨mdg·ªrugn¯u¬gnxqpbdrvgdeKegfz"mGx¨x5op±·¨bdosr" ©& g@UtuV r² rµ>gf¨¬®ruez{m~wfgn©(opx¨bDez{qsqez"x¨o|wg@f²j3zu}~¨¨o|z{m gf¨rGqsosrveOmosm~zvz{»x¨x¨osrubdm gzv©»dzv3opx¨¨os}~rumdm~mdzuosqmdwtÂrGwx(rur{¬gnx¨w
(111) bdxqpgd¬®opru¯o|eKosrugnmososy}de z{eKruosÄf¨x¨gosÄfeg@ z{x¨ oswfgnxnbd² gÁ»qpgnzumd¨t{gnxosb4nruÃ>¬gnqpxosbdeKgopmg±z"x¨~oszurum~m ¨opo|rv3mx¨² b~g g@xzuqptvruo¶xbde-zv a bdgÂx©»r´opÆ>gn¨gnmGx4ezuwbdosmdg@opm¯vruqs¯ugn2osm\x¨b~gÂx¨g@xZwrumGxz{osmz2È&Gop± {o± ¬®ruxbdg x·rum~g^z{m~\zum þmGx¨gfq x¨!b~gfgmGx¨gos±}d~e z{mosrur4m~¬®nru² ºx¨bdgKg@wrvm~Ârum~gu²a bdgOru}d~qpgOg±x¨gnm~g@ uÅ·dopxº¬®rv¨ez"x3© zu}g@Âx¨rZx¨rugxbdgKwrueK>rumdgnmGxºr{¬ õ®ö ÷õùø.
(112) Running time (Ratio to Gaussian elimination on floating point numbers) 100000. 10000. 1000. 100. Recursive development on expansions Gaussian elimination on expansions Gaussian elimination with GMP Bareiss method on expansions Bareiss method with GMP. 10. 1 3. ³ optv}dg`"(gn¨}dqpx rvmzum þ mGxgfq¾!gfmGx¨os}de7¨r©(opx¨bÂzOz{m~rve ez"x¨op±`² 4. 5. 6. 7. 8. 9. 10. Running time (Ratio to Gaussian elimination on floating point numbers) 100000. 10000. 1000. 100. 10. Recursive development Gaussian elimination Gaussian elimination Bareiss method Bareiss method. 1 3. ÷/÷ ñ ¸ ¹hº º ». on expansions on expansions with GMP on expansions with GMP. ³ optv}dg3"#(gn¨}dqpx(rvmzumRþmGx¨gnq!gfmGx¨os}de7¨rK©(opx¨bÂzKwbdrv¨gfmez"x¨op±¾² 4. 5. 6. 7. 8. 9. 10.
(113) %& 4' § g(mdr"©Dbz¸¯ug zwrueKdqsgxg(qposdz{r{¬¾z{o¶xbdeKgxosw rvgnz{x¨osrum~!rvm5gf±z{m~¨oprvm~#z{m5©»g b~z¸¯ug»xgnx¨gn5xbdg>gf¨¬®rueKzum~wg@ r{¬g±~z{mosrum~&rum x¨bdgwrveKd}xz{x¨osrum ru¬zOez{qsq`gxgfeOosm~zumvx@²#(gn¨}dqpx z{gº G}dopx¨gUturr·zum~©(opx¨bZwbdrv¨gfm ez{x¨oswfgnnÇ g±~zum~¨oprvm~!b~z¸¯ug(>gx¨x¨gnIgn¨}dq¶x!x¨bz{mK©(osdgfqs5}~¨gnKqsosdzu¨osgn!qsosªugyj3½Â!²³drux¨bdg(xbdosKo|z{tvzueÇ{x¨bdgez{x¨oswfgn#©»gfg wfzu¨gf¬®}dqsqp^wb~rv¨gfmµx¨rZtuos¯ugzqpopxxqpg zv¯"z{mGxzutug5x¨rZxbdgg±~zum~osrumºr"¯vgfj3½Â!² § g }wfwgngng@ osm~wgKgf±z{m~¨oprvm~Uos x¨b~gfg3wfrum~xzumGx¨qsx¨bdg>gnx~zvwª¸zutugv² a bdo|(opx¨}z"x¨osrumo|(¨gndgn¨gfmGxz{x¨os¯ugUr{¬ zO}~¨gf xb~z"xydrGg@ mdr{x© z{mGx x¨rqsgnzu¨mz{>ru}x(xbdg>gnw}~qpo|z{o¶xopg@ r{¬!bdo|(wrgu² ruym Uz{opxm^xz{¨opm~x¨d}~nz{Çx¨osrugfmx¨²0gfeKr"opm©»z{gfmG¯vxgfU@Çruzmb~°~z{rvm~z{µx¨osmdxt4}dmd>gnru osmG~xUzvgfw±ª"~z{tuz{gKm~¨osx¨ruosm~qpqUz{gf~g5¨g@z4gntumvrxr3^z·¨¬üruzvqs}xx¨gfosrum^¨ru¬®qsru}3x¨osz·rumµzu¬®ruwª"z{ztvg}~¨x¨gfbz"x©(opx¨bdb rv}dzq|tur}drm g±>(gfg@opgn}dm~qpwxg3 osrvmmx¨x¨bdb~o|)g {~!± gnaqs¾² zu¨g»mdr{x!¯ugn¨3tvrGr¬®ru!g±~zum~osrumwfrueK~z{gnx¨rj3½Â!²{a bdgyÈ&Gop>± {!± ao| ªmdr"©(mxrºb~z¸¯vg z ©»gnzuª°~rvz{x¨osmdt·>ruosmGxU}dm~o¶xwrveOz{gnZxr4opxUosmvxgftvgfy}~mdo¶x@²a bdgOg@wrum^o|z{tvzue ¨bdr"©yz4¯os¨osdqpg5opeKdr"¯ugneKgfmGx ©(opx¨bOg±dzuwx¨qsx¨bdg(z{eKg&x¨gnx#zum~5g±dzuwx¨qs3x¨bdg(z{eKg d¨rvtuz{eZ²a bdg g±~zum~¨oprvmqsopdz{}~¨gnx¨b~g&°rvz"xopm~tº>ruosmGx!}~mdo¶x ©(bdgn¨g@zu(j3½Â}~¨gn»x¨b~gopmGx¨gntugn(}dmdopxn²yqprvmdtOzv»x¨bdg3°rvz"xopm~t5>ruosmGx}dmdopxywrumGxopm}dg@»x¨r>gfg@·}~osmÂwrveOz{os¨rum x¨r xbdgZopmGx¨gntugnO}~mdo¶x@Ç&gf±~z{m~¨osrum ©(osqsqbdr"© opeKdgnos¯uggn¨}dq¶xKwrueK~zu¨g@ xr osmGx¨gntugfKqsop~zu¨osgn¬®ruKxbdosKªosm~Dr{¬ z{~dqpo|wfopz{g@x¨osx@ruà m~Inz{² qsturuopx¨bdem~gfgn~z{qsqdxbdgywrveKrvmdgfmGx!ru¬`x¨bdgydop¯o|rvz{m~5x¨b~gyos¯Go|gnm~Kgf¬®rug(o¶x&gntuosm~wrveKd}xz{x¨osrum² ºos}dtu!opxz{r{qstu¬Urvx¨¨bdopx¨gÂbde G}drvr{mdxqpopgnmGxngn² G}d§ osggn/zyz¸¬®gf© x¨br{z"¬dxxbdru}dgfos !deOop¯rGo|x#osru¨opm2tvmdeo >z¸wf z{mG©&x!rvw¨ruª eKrv>om ru ÝmdqsosgnmdmGgZx©(o¶xgfb¬®ruxg&bdgÂopx#eKd¨rvrx}¨wosgntu/mdx¨o b~g&wfzueKmGxrvdx#optvoso¶tuxmdKo r{wn¬ºz{opmGxx ru>gfz{md ~x@²»¿gxnÇx¨b~g¨}~mZx¨oseOgOx¨gne7z{~qpgxrxzuªugzv¯"z{mGxzutugr{¬ x¨b~osºdru>gf¨x·o|yx¨osqpq/x¨r >gwgnz{x¨g@¾² ºm~g r{~¬#zv}~o|ywºdx¨rgnru¨q|gfmGxz{yx¨bdopm gn»sux¨b~Ç`zuh mZ z z5dx¨zurum~x¨ruxGz{>ggfmGr{x ¬¨¨}~wxbgfeZ¨² x¨gneZ² Uddgfezuopm~(x¨b~z{xyx¨b~g}~¨gfy©(osqsq/>gdr"¯osg@opm~dop¯o|}~z{q a bdgzudopx¨osrumDz{m~ xbdge}dqpx¨osdqsoswnz"x¨osrumDru>gfz"xruopeKdqsgfeKgnmvxgn opm p@Ç& dÇ @Ç# ru>gfz"xg·qsgnzvxKostumdo wnz{mGx x¨rKosturvopx xzuopmÂxnz{² mZ§ zug~z{©(osxqpqop¯vosgUmZqsmdosdgnzuzu ¨v¬®}² x¨}~¨g3xzum~¬®rv¨e7z{qsq`x¨bdg@grvgnz{x¨ru&x¨rrvgnz{x¨g3rumo Pqsopmdgv²a bdo|(os(x¨bdgm~z{x¨}dz{qx¨gn (" (%& (' . .
(114) . . . . . .
(115). . . . . !. #"$.
(116). . .
(117) !. . # %'&)(*.
(118) . . +"-, . !. . . . .
(119) . .
(120) .. . / 103246573298 4;:=<298>@?@<2A
(121) 5752CB35D<2E03246573F 8G>9H54JI'<
(122) KL 8 29K1?@<MONCP4657OQR:=K+5#KDST7#<
(123) <UALO:V21WCBX:Y529B35Z829KD[T2\:J2-557:J2\]_^C &.
(124) . `a
(125) b_` c ]Cdfe. `
(126) k. g !. . . c . 1. y.
(127) . . . ]-. . . 54;:=BX]C .
(128) . }}. %. ". ^. . ^. . . ]C . . . . h.
(129) . vv . . i. h. &' d. . . ^' #} ;].
(130) ^. G. . . $. ]iGi . ^. G _]wi c. . . %'&^.
(131) . f
Documents relatifs
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA
