Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers

Texte intégral

(1)Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers Laurent Imbert, Jean-Michel Muller, Fabien Rico. To cite this version: Laurent Imbert, Jean-Michel Muller, Fabien Rico. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers. [Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999. �inria-00072908�. HAL Id: inria-00072908 https://hal.inria.fr/inria-00072908 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers Laurent Imbert , Jean-Michel Muller , Fabien Rico. No 3754 Septembre 1999 ` THEME 2. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5)

(6) ! "#$%&(')*

(7) +(,-+.0/213+413+&

(8) .5+ 678/

(9) 912:$%;(')*

(10) 1<. =>@?ACBEDGF4HJI-KLBEAMF*NPORQ@BS>@D

(11) TUWVYX#Z[B]\ÛW?\_\YBEA8`4Obab>@KV_B]D7cdVYX]egf hjilknmPo*p*q rtsnuGvwo8xwySz{vw|nvwonx on};|~]xw|nGxLJm4[ySx vwlo 3y]Jon};;snu0~]v o &~]GySJ};Goto#|ilon|ilo:u4S]q@onG}onm*Go{{4q p!0~]zo# 2#E G¡{¢¤£ o¥Go#onu¦}¥~§~Sgv©¨@ª«¬{~]Jv®~]u¦}!y]¯°}Jilo±j²8³´~]x zySJv }JiGm¶µ·¸}dvw~¶JiGv©¯¹}ª¸~]ul@ª¸~SG»º ¼½ &¾t· ¼ ª¿x v ÀoÁ~]x zySJv }JiGmÂ}Ji0~]}4~]x xwyÄÃd¯¿~SJ}*|#ySm¥GG}~]}JvwySuÅy]¯j|#ySm¥GxwoC¨7oC¨gySulonu¦}Jv®~]xw!~]ul¤xwySz¦~Eª Jv }JiGmPÄµhjiGvw~Sgv©¨@ª«!¬onJvwySu¶vwGv }~]Gxwot¯¹ySv m¥GxwonmPonu}~]}JvwySuv uÆ~[y@|Àon};|#ySm¥GG}onµ Ç¶ÈÉÊË4Ì EÍ2{¢ÏÎ xwonmPonu¦}~]J¯YGul|n}JvwySulº ¼½ &¾ · ¼ ~]x zySJv }JiGmPº ¼ ySm¥GG}ond;Jv }JiGmPon}Jvw|{º~Sgv©¨@ª «¥~]Jv }JiGmPon}Jvw| Ð ÑbÒ¸Ó¿ÔÕÒjÖ»× ÓÙØÛÚnÜ Ý3÷<Þ@ø[ßù2à{ú2áMâÙûßü ã¿ÞáMêYäåýgâ¿æèþÿEçâ¿é áêYëE¹æ ìíáMã â¿ø[îù2ßã¿ú2äðï#ûñEü læ3ù3çEæû Þ òtü ê ßùLâ¿óÛú æêäõôõôöæ Râ¿æë]ßMäåâ¿æ Þ@ßà{áMâÙßã¿áMäåâ¿æèçé êYëEìíáMâ¿îßã¿äðï#ñEæ3çEæòtßâ¿óÛæäõôõôöæ . . . . Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) Téléphone : 04 76 61 52 00 - International: +33 4 76 61 52 00 Télécopie : 04 76 61 52 52 - International: +33 4 76 61 52 52.

(12) :+ ;[J

(13) 1 1.

(14) 1( ^ '-)4 /2/2)41<13. "#+/b

(15) +4.

(16) [+.0/213+4+&

(17) 13. .0)4 13. /L/L)j0/213.41;.01

(18) ¢ ySl;GySy{ySul&Gulod¬{~]Jv®~]u¦}oGo*x õ~]x zySJv }JiGmPo±j²8³ ~Sl~]G}s#o!~]Æ|~]xw|nGx2onu0~So «gµ ¼ åo#J}¥Gu%~]x zySJv }JiGmPo ~SGgv }JvwySulon}!Gs#|~]x®~]zo#ÄºèGv[onJmPon}P åsn¬{~]x lon¥~]GvwGonmPonu¦}-Go# oC¨gySulonu¦}Jvwonx xwo#on}jxwySz¦~]Jv }JiGmPo#;|#ySm¥GxwoC¨Go#µ ¼ on}J}ot¬onJvwySu ~Sl~]G}s#o4x®~40~So!«o#J}Go#J}Jv uls#o x v m¥Gx®~]u}~]}JvwySuÆGGo#|~]xw|nGx®~]}JJvw|#o#&God[y@|ilo{µ ¢ ySul|n}JvwySul^snxwsnmPonu}~]v o#ºg~]x zySJv }JiGmPo# ¼½ ;¾t· ¼ º{;Jv }JiGmPsn}Jvwlo;Go#3ySgv u0~]}onGÄº Ì Ê ¡ ~]Jv }JiGmPsn}Jvwlod0~So¥«.

(19)

(20) !#"$&%'(*)+-,.0/1 ,124365,7!5,89:2;,=<>?34@54A%'(*)+B562. . C@+&08)4/R

(21) + ½ GRzy~]xvw»}yGo#Jv z{ud¯Û~SJ}biGv©¯Y}ª¸~]ul@ª¸~SG~]x zySJv }JiGmPb¯ÛyS»v m¥GxwonmPonu¦}Jv uGz8onxwonmPonu¦}~]Jt¯¹Gul|n}JvwySulRy]¯ ~P|#ySm¥GxwoC¨§¬{~]Jv®~]Gxwo*ySu [y@|Àon} |~]xw|nGx®~]}ySµè ;~!mÁ~]}J}on y]¯<¯Û~S|n}ºG}JilodmPy{J}Ãèonx xLÀulyÄÃuJiGv©¯¹}ª ~]ul@ª¸~SG~]x zySJv }JiGm¶ºû0~]mPonx Å}Jilo ¼½ ;¾t· ¼ ~]x zySJv }JiGE m DGFlº FIHÙºî0~S¥o#onu }JilKo JlJ}P~]x zySJv }JiGm lo#¤¯ÛySon¬{~]x 0~]}Jv uGz}~]ul|#onulGonu¦}~]xw¥ySu ~y|Àon}|#ySm¥GG}onµÆ;o#|#onu}!GJ¬on@|~]u7oP¯ÛySGul v Lu DGFlMº FHÙµ @on¬on~]x~]G}JilyS!o#|#onu¦}Jx JGz{zo#J}o# o#gGull~]u¦=} DGFHj¬onJvwySul!y]¯ ¼½ ;¾t· ¼ ºR}yÆzon} ¯¿~SJ}onv }on~]}JvwySulN DGFGOº FG7º Fl7º FHÙµ ·ÙuÅ}JiGvw0~][onº^Ãèo¶~]v m ~]}¥Go#Jv z{uGv uGz7~~Sgv©¨ª«gºô#gGull~]u¦}P¬onvwySuÅy]¯ }Jilo§±°²8³ ~]x zy]ª Jv }JiGm¶µ8hjilo!±j²8³ ~]x zySJv }JiGm Ãj~Stv u¦}Jy@gl|#o# ¦ ±~E~]»º»²tx®~-~]ulÆ³Gx xwon v u {{P DGFHÙµt·Ù} vw ~ ¼½ &¾ · ¼ ª¿x v ÀoÁ~]x zySJv }JiGm }Ji0~]}*~]x xwyÄÃ8}Jilo¥|#ySm¥GG}~]}JvwySuWy]¯j|#ySm¥GxwoC¨ÆxwySz¦~]Jv }JiGmP~]ul¤oC¨@y]ª ulonu}Jv®~]xwR QÛ~]ulP}JilonoC¯¹ySo&y]¯mPy{}o~]x0onxwonmPonu¦}~]JP¯YGul|n}JvwySulT SCº¦Ãv }JilySG}è|~]xwo¯Û~S|n}ySU Q¹on¬onuPÃilonu lv uGzo#gGull~]u} ~]Jv }JiGmPon}JvwV| SCµ±~E~]¶~]ul·Ùm4[onJ}ji0~¬o8o#|#onu¦}Jx §JGz{zo#J}o#ySmPo ¬{~]Jv®~]u¦}y]¯ }JiGvw&~]x zySJv }JiGW m DGFHÙµ £ ilono~S}Jilo8ySJv z{v u0~]x<~]x zySJv }JiGm Ã°~S;JGv }o#§¯ÛyS~Sgv©¨p¥~]Jv }JiGmPon}Jvw|{ºGv©¯<ÃèodÃ°~]u¦};}y¥Go#Jv z{u ¬onJ o XÁ|nvwonu}v m¥GxwonmPonu}~]}JvwySul-¯¹yS¥y|Àon}|#ySm¥GG}onºjÃ°o¶ulo#o# ~ ~Sgv©¨ª« ¬S~]Jv®~]u}y]¯8}Jilo ~]x zySJv }JiGm¶º

(22) Jv ul|#otmPy{J}ºGv©¯<ulyS};~]x x¿ºGy|Àon};|#ySm¥GG}onlo*~~Sgv©¨ª«Á~]Jv }JiGmPon}Jvw|{µ ½ G&~]x zySJv }JiGmo#Gv o#;~¥Jo#|nv®~]Yx JlJ};}onÃily{o8GGJy{otvw}y¥o#gl|#o8}Jilodv uGv }Jv®~]xL~]Jz{gª mPonu}&}yySmPod¬{~]x lod}Ji0~]}&vw&mÁ~]x xLonulySGz{ibº[yP}Ji0~]}&}Jilo*JGlo#lonu¦} v }on~]}JvwySul Ãv x xL|#ySu¬onJzo{µ ;¯¹}on}Ji0~]}ºG}Jilo8±j²8³ v }on~]}JvwySul ~]o*~]GGx vwo#OZ Ãilono h ^ vwl|i }Ji0~]}¥~ ~]Jv }JiGmPon}Jvw|{µ wyxBw. []\_^`bacd\^7e fgih^7f$jlk ^nm o ^`bac o ^qpsrutOe fvgih^Yf$j k ^ m m*Gx }Jv Gx vw|~]}JvwySu%¦ h ^ vw}J~]v z{i¦}¯ÛySJÃ°~]gx . [on¯ÛySJmPo# v uW~Sgv©¨@ª«. z {O|~}7|9{v s * º<Ã°o*ulyS}oK s º[}Jilo4¬{~]x lo#ty]¯}Jiloo~]x<~]ulÆv mÁ~]z{v u0~]J 0~]J}8y]¯ Ì LÍ È Í Ì V È È G È #& È Ãv }Ji¯¹~S|n}JvwySu0~]xbgv z{v }µ ySoC¨l~]m¥Gxwo{ºGÃèotulyS}o _ }Jilo [ySv u}v u g |nxwy{o#J}}y µ * ºèÃèoÁulyS}o * ºR}Jilo¥¬{~]x lo#*y]¯}Jilo¥o~]xj~]ul¤v mÁ~]z{v u0~]J Í Ì@Ë Ãv }Ji¯¹~S|n}JvwySu0~]xLgv z{v }µ. úLú ëv44 ¡. 0~]J}4y]¯ bL¡ g È Í.

(23) . y~).5,8T54l5 ~,1 9 3+54y)l-u5 y

(24) 4 5,_ 3 wyx. ySm Ãv }JiyZ. }y{!9|! }Jilo8v uGv }Jv®~]xb¬{~]x lo#o a ~]ul \ a ºgÃèo8on¯ÛySJm v u0~]~]x xwonxR}Jilo ¯ÛySx xwyÃv uGz§pv }on~]}JvwySul?Z [ o ^`bac o ^qpsrutOe fvgih^Y^ f$m jlk ^+m \_^`bacd\^7e fgih^7f$j k . h ^ cL

(25) h ^" g Bh

(26) ^# p%$'&h

(27) "^)( h #^ &*$. jh iloP¬{~]x lo h^ GononulG4ySuWÃiGvw|iW¯YGul|n}JvwySuWÃèoÃvwJi }y |~]xw|nGx®~]}o{µ hjiloÁ±j²8³ ~]x zySJv }JiGm i0~S&pmPyGo#?Z ,+ Ê Ì Í È*Z v©¯*Ãèo Jlul5~7o#¦lonul|#o h^ l|i5}Ji0~]}Ko ^ zyo#-}y j º}Jilonu5ÃèoÃv x x8ySG}~]v u \ ^.- \ a0/2143 µ 5 Ê Ì Í *È Z¤v©¯dÃèo Jlm ul ~7o#¦lonul|#o h^ l|i }Ji0~]} \_^ zyo#-}y f º}Jilonu ÃèoÆÃv x x8ySG}~]v u o ^ - o agir tYe\a µ , 1 /2;('!12 12t'-+13+;[¶"#)+4/R

(28) ;+ 798 ¦ 81;: 6 ·¸u-}JiGvw°o#|n}JvwySubºÃ°o Ãv x x

(29) ¯Ûy@|nlèySu§}Jilo&GySGxwonm y]¯ Jlulgv uGzÁ~*o#lonul|#o h ^ Jl|i}Ji0~]}>o ^ zyo#°}y jµ ·Ù¯&Ã°o¶|#ySulJvwGonP}Jilo¶v }on~]}JvwySu o ^~`ba c o ^Kp r te fvgih^7f$j k ^ m ºè}Jilo¶|ilySvw|#o¶}J/ i0~]}¥v m¥mPo#g^)v®~]C }onx GJv uGzv u¶m¥v ul§¯ÛyS h^ ^ QYGG};y]¯<|#ySGo8v }vwulyS}v m¥GxwonmPonu}~]GxwVo Svw h!^c=<?> 1?@qpfBAvf$j µ DRon};l;Go JlulF o E ^ c f$j o ^ µ £ odÃv x x JlJ}&~SGmPod}Ji0~]} o ^ vw;¬onJJmÁ~]x xL|#ySm¥0~]o#}y f µ £ o Ãv x x[x®~]}onjo#oilyÄÃ }y*o#gl|#ho ^}JcKilo;J zon^MulL on~]x|~So&}yd}JiGvwjySulo{µ ½ GèGon¬@vwySl GÙvwGo~]Ix H&|ilySvw|#o;¯ÛyS h ^ vw;o#¦Gv ¬{~]xwonu¦}}yÁ|ily@y{Jv uGz E µ ·Ùu }Jilo¶¯¹ySx xwyÄÃv uGzlºÃèoJGGy{o¶}Ji0 ~]K} o ^N f µ £ o Go#|nJv [oySulo¶v }on~]}JvwySu5y]¯t}JiloÆ~]x zy]ª Jv }JiGm ~]ul Gy¬oÆ}Jilo |#ySu¦¬onJzonul|#o¤¯¹yS OQPSR v u5}Jilo GySmÁ~]v yu Z o!T VU p_jMW j~jX$Y ( jMW j~jX$Y9Zvg U p_jMW j~jX$Y ( jMW j~jX$Y9Z µ 'xBw. [i |4\ {]q|s}y{!9|!. £ Áo z{v ¬o-~]uÅ~]x zySJv }JiGmÂ¯¹yS4ÃiGvw|i ÃèoÃv x xô~]Gxwo}y J ilyÄÃ¤v ulgl|n}JvwySu }Ji0~]}4}JiloÁo~]xj~]ul v mÁ~]z{v u0~]J§0~]J}&y]¯Ê ^ i0~¬o*~]lySx G}o8¬{~]x lo8xwo#}Ji0~]u $ ¹¯ yS;~]uOµ £ odJGGy{ot}Ji0~]}º0~E¯¹}on_ O¤v }on~]}JvwySul? Z p`$ E ^ " ( E ^ # $ QV S ê ù2ú ê .

(30)

(31) !#"$&%'(*)+-,.0/1 ,124365,7!5,89:2;,=<>?34@54A%'(*)+B562. £ otÃv x xRGy¬od}Ji0~]}?Z p%$ E ^" `ba ( E ^# `ba hjilo8v }on~]}JvwySuo ^~`bac o ^qp rutOe fvg. $ W ^+m h^Yf$jlk. f o "^ p rut >fg. . o#|#ySmPo#?Z. h "^ f$j k ^ d g eh "^ gih #^ m f$j k ^ A ^ k $ f j o #^`ba c o #^ psh #^

(32) t fg h "^ f$j k ^ ·¿¯2Ãèod|#ySulJvwGon;}JilodhL~xwyS onJvwo#j¯ÛyS rutye fvg m ºl~]ul

(33) tbe m ºGÃèo*ySG}~]v uyZ f rut > fvg h " f$j k ^ gdeh " gih m f$j k ^ A h " f$j k ^ ^ #^ ^ ^ ^ h #^

(34) t fgif$h j k f$j ^ h #^ f$j k ^ "^ k @yd^ Ãèo&ulo#o# ^ h "^ }y*o¬onJP|nxwy{o}y E ^ " ~]ul

(35) h ^# |nxwy{o}yFE ^ # µ £ o&^ |~]u-|ilyy{o h "^ cKJ E ^ " L ~]ul h

(36) # c^ J E # L µ!hji0~]}8mPo~]ul8}Ji0~]}dÃ°o¥|ily@y{oÁ~S Xh ^"^ YQ o#Jbµ hX# S&}Jilo¥gv z{p`v }*$ |n&xwy{h o#J}th ^ }y&*E $ ^ " "^ ( # QYo#bµ E # S°|#ySulJvwGonJv uGzÁ}JiloRlJ J} R¥gv z{v }y]¯ E ^ " YQ o#Jbµ E # °S ySuGx µ yS}ot}Ji0~]} µ hjilonu E ^ " p E ^ " ( E ^ # p E ^ # & a a ~]ul o "^`ba c. . @y bon}lGoJlulo~Z . ^ . }Jilonu @yGºGÃèo8ulo#o#OZ. úLú ëv44 ¡. . hX"^ p E ^ " ( h #^ p E ^ # . D. . c ^ . c. . . h "^ p E ^ " ( h #^ p E ^ #. f r t'>6fvg. h #^.

(37) . ~^ " `ba E ^~# `ba. . E. . . & &. h "^ $f j h #^ f$j. . . a W &. . Y+f. &. f$j~j. h "^ f$j k ^ d g eh "^ gih #^ m $f j k ^ A ^ t fvgif$h j k f$j ^ "^ k . Y(v f gdeh Y ( fvgdeh. k^ p k^ p . . "^ f$j k ^ p. . #^ f$j k ^ p. ^ f$j ~^ `ba & ^ f$j ~^ `ba &. . ^ m $f j ~^ `ba ^ m f$j ~^ `ba jMW jMW. QÛpS QÛS.

(38) y~).5,8T54l5 ~,1 9 3+54y)l-u5 y

(39) 4 5,_ 3. Ù· u¶ySGon}y!GyÄ¬o QÛpSCºGxwon}l;GoJlulo~Z ·Ù¯Ô PRgºGÃèo8i0~¬o~Z & a µ £ o8GoJlulo~Z c Y rut > A º0~]ul c Y rut £ o8ÀulyÄÃ }Ji0~]q} QYv©¯ P j SZ &. . hjil?Z. c. hX"^ f$j k ^ d g eh

(40) "^ i g h #^ m $f j k ^ . µ. > A . rutye fvg m & . . ^ p hX"^ $f j k ^ h

(41) "^ e pf m f$j k ^ g

(42) e hX"^ gih #^ m $f j k ^ & ·¿¯ O P*RP~]ul h "^ ( h #^ *& $ ºl~S P jMW R¥Ãèodi0~#¬o ^Npsh "^ f$j k ^ f$j ^~`ba & Mj W. J v m¥v x®~]Jx §v©¯ &j º ~]ul~S & f W j~j. . ¯¹ySqQÛSCºGÃ°od|~]u ~}Ji0~]};QYv©¯ ~]ul¶}JilonubºGv©¯Ô . . . º. P j SZ &.

(43) . . ^qp h #^ f$j k ^. . &. . a ehX"^ i g h #^ m $f j k ^. jMW. tbe m &. @ a @ T & h ^# a à a @ @ p a ` @ a @ T @. &. . ^ psh "^ f$j k ^ $f j ^~`ba &. p "T . P*R+Z. hX"^ ( h #^ &*$. . rutye fvg m & &. µ. . ^. &. h ^# a à a @ @ @. jMW j R f$j k ^ W. ·Ù¯ &j Ã°o8i0~#¬o m &

(44) tbe & ~]ul¶}Jilo8~]mPo8o#JGx }µ @y!}JilodGySmÁ~]v uy]¯3|#ySu¦¬onJzonul|#o4y]¯2}Jilo*~]x zySJv }JiGm vw. p " T . ! c U pjMW j~jX$Y ( jMW j~jX$Y9ZYgs U p_jMW j~jX$Y ( jMW j~jX$Y9Z. ê ù2ú ê .

(45)

(46) !#"$&%'(*)+-,.0/1 ,124365,7!5,89:2;,=<>?34@54A%'(*)+B562. . Ãèod|~]u oC¨g}onul}JiGvwGySmÁ~]v u }y. ! c U p_jMW j Y ( jMW j R Y9Z7gs U p_jMW j R Y ( jMW j R Y9Z v ul|#o4v©¯jÃèo!o#gl|#o!}Jilo!uGm*on*y]¯è¬{~]x lo#t¯ÛyS h " ºR~]ul hX# ºÃèT o¥|~]u ySG}~]v u o !Pµ T GxwyS}J}o#}JcLilo;jMW G¯Û~S|#o#p °|#yS& Jo#h J&ySulgv uGz4}yp c & h

(47) h " f$& j k p f$j º c Xh # f$j k p $f j Gx®~]ulo ºG¯ÛyS " gR ºl~]ul R # gR µ. £ od|~]u¶o#otv u lJ z{GoPt}Ji0~]}?Z. . . h " $f j k p h # $f j k p . . . . f$j T & $f j T &. £ o!i0~¬o º@~]ul}Jilo. jMW jMW. 0.8. 0.6. 0.4. 0.2. 0. –2 3 2. 0. 1 x. y. 0 2. –1 –2. v z{GoP~Z Î JyS;ySu ! ;ug¯ÛySJ}JGu0~]}onx º@}JiGvw°~]x xwyÄÃ}Jilo&|#ySm¥GG}~]}JvwySu§y]¯ e m v u-~d}Jv u¦ÁGySmÁ~]v u§ySuGx µ3·¸uP}Jilo;uloC¨g} o#|n}JvwySubºGÃèo8Ãv x xRz{v ¬od~!mPon}Jily¶}y!o#gl|#o }y!}Jilo*|#ySu¦¬onJzonul|#o*GySmÁ~]v ubµ úLú ëv44 ¡.

(48) y~).5,8T54l5 ~,1 9 3+54y)l-u5 y

(49) 4 5,_ 3 'x. 0}O

(50) l|~B{ ] { X| \>{8b|9}. :'xBw. [i |4\ {]q|s}y{!9|! O VZ. £ o ~SJGmPo}Ji0~]}-ÃèoÆÃvwJi }yWon¬{~]x 0~]}o e m ºÃilono c Kg

(51) º;~]ul p a & (

(52) & a µ &o#gl|n}JvwySu¶}y!}JiGvw;GySmÁ~]v u vwj¯Û~]v Jx §J}J~]v z{i}¯¹ySJÃj~]»µ ¾to Jlulo

(53) N ~Sd}JiloPuGm*on¥ySG}~]v ulo#7¤}JJGul|~]}Jv uGz

(54) }y }ÙÃèy ¯¹~S|n}JvwySu0~]x°gv z{v }µ ySm

(55) N ºRÃ°o xwy@ySÀ¥G§v u§~*}~]Gxwo }Jilo;uGm*ony]¯b}Jilo&¯¹ySJm cLr7e fgPm $f$j k m º@Ãv }Ji p%YY'& &*YY }Ji0~]} vw |nxwy{o#J} }y

(56) N µ hja ilou¦a Gm4[on c psrYm e f g $f$jlk i0~S8~]uv mÁ~]z{v u0~]J0~]J} y]¯j~]lySx G}o ¬{~]x lotxwo#}Ji0~]u a g e `ba a p jMW jnaf gijMW j~j ! RRR RRXR m $+f +fVj R µ hjilo-o~]xj0~]J}¥y]"¯ vwon}ÙÃ°o#onu p pjMWuf RR7~]ul µ7¾ o Jlulo N ~S$ # / e }JJGul|~]}o# }y}ÙÃ°y ¯¹~S|n}JvwySu0~]m xgv z{v }µ ySm N Ã°oxwy@ySÀ G v u ~¶}~]Gxwo-}Jilo-u¦Gm4[onPy]¯;}JiloÁ¯ÛySJm % c r7e fg m &'!f$j k ºlÃv }Ji p( &)*' &*$Y }Ji0~]}vw|nxwy{o#J}}y N µhjilotu¦Gm4[on c prYe fg '.f$j a k i0a ~S;}Jilo* ~]mPo*v mÁ~]z{v u0~]J0~]J} ~S+ [º[~]ul¶v }o~]xL0~]J};i0~S ~]uÆ~]lySx G}o*¬S~]x lo*xwo#}Ji0~]u a g jMW jnfg jMW j~j R

(57) $jX$$YjX$j $ - Rgµ % `ba p , £ oÃv x x0|ilyy{o ~S^}Jiloo#gl|#o#-~]Jz{GmPonu¦}µ·¸}o~]x

(58) 0~]J}î0~Sè~]u§~]lySx G}o¬{~]x loxwo#^}Ji0~]u «gµõ«{pgº

(59) ~]ulv }v mÁ~]z{v u0~]J§0~]J}i0~S;~]u~]lySx G}o8¬S~]x lotxwo#}Ji0~]u«gµõ«ggµ , 1 /2;('!12

(60) ! "#)+4/R

(61) + 70/Á 84;1 : . ·¸uÁ}JiGvwjo#|n}JvwySubº@Ã°o&Ãv x x

(62) ¯Ûy|nl°ySu§}Jilo;GySGxwonm y]O¯ Jlulgv uGzP~*o#¦lonul|#o h^ l|i-}Ji0~]} \_^ zyo#°}y fµ ·Ù¯jÃèoPulyS}~o Z21 ^ c f$j ^ e\_^&p#f m ºL}JiloÁ|ilySvw|#oP}Ji0~]}*@ v m¥mPo#gv®~]}onx WJGJv uGzdv uWm¥v ul¤¯ÛyS h^ QYGG} y]¯|#ySGov }*vw4ulyS}*v m¥GxwonmPonu}~]GxwVo S4vw h ^ c p -43 @65 8µ 7 ·¸}*vw|nxwo~]ºL}Ji0~]}v©¯ \ ^ f º2}JiGvw4vw o#Gv ¬{~]xwonu¦}}yP|ilyy{v uGz h^c p 91 ^ 5 µ ·ÙuÆ}Jilod¯ÛySx xwyÃv uGzlºbÃèo!JGGy{o \_^ f µ £ o!Go#|nJv o4ySulov }on~]}JvwySu¤y]¯^}Jilo¥~]x zySJv }JiGm ~]ul GyÄ¬oP}Jilo¥ |#ySu¬onJzonul|#oP¯ÛySF OP µP·Ùu o#|n}JvwySuWgµõpgºRÃ°o¥Ãv x xôC¨gGx®~]v u }Jilo¥o#gl|n}JvwySu J}on¤}Ji0~]} z{v ¬o# \^ f µ £ o8GG[y{ot}Ji0~]}º

(63) ~E¯Y}on ¤v }on~]}JvwySul hjilo8v }on~]}JvwySu. p $ 1 ^" ( 1 ^# ` \^~`bacL\_^7e fvgih!^*f$jlk ^1m [o#|#ySmPo#VZ 1 ^~" `ba. ;= <. 1 ^~# `ba c ?> 0@ @*ACB=DFI EHG BKJ @ L6M B G. c. ã¿ñSßôõô #þ. QY.S $. f$j > 1 ^ " gih ^" gdeh ^" 1 ^ " p h #^ 1 ^ # m f$j $f jF> 1 ^ # g h #^ d g eh "^ 1 ^ # gih ^# 1 ^ " m $f j. kÂ kÂ. ê ù2ú ê .

(64)

(65) !#"$&%'(*)+-,.0/1 ,124365,7!5,89:2;,=<>?34@54A%'(*)+B562. . y§ÃèoPulo#o# hX"^ }yo!¬on^ J |nxwy{oP}y^ p 1 ^" ~]ul h #^ }y[oP¬onJ |nxwy{o¥}y p 1 ^# µ £ oP|~]uW|^ ily@y{o h "^ c pJ 91 ^ " L ~]ul h # c p J 91 # L µ!hji0~]}8mPo~]ul8}Ji0~]}*Ãèo¥|ily@y{oP~S h "^ QYo#Jbµ h # S&}Jilo gv z{v }&|nxwy{o#J}}y p 1 ^" QYo#Jbµ p 1 ^# Sj|#ySulvwGonJv uGzÁySuGx §}JiloRJlJ}%R!gv z{v };y]¯1 ^" QYo#Jbµ1 ^# SCµ hjilonu 91 ^ " p 1 ^ " ( 91 ^ # p 1 ^ # & a a ~]ul . @y. . . . ·¿¯ O P*Rgº0~S ·¿¯ O c . . . . 1 ^" (. f$j . Y(f Y(f. & &. $ ~]ul h "^ f$j k ^~^`b`baa e hX"^ 1 ^ " f$jlk e h "^ 1 ^ # . . 1 " ( 1 # . . h "^ g. & . 1 ^~# `ba. 1 ^" ( 1 ^#. º0~]ulv©¯. . 1 ^~" `ba . . hX"^ g 91 ^ " ( h #^ g 91 ^ # . ~]ul¶}Jilonu. . . . f$jlk f$j k. . . . h #^ g . " f$j~j gde h ^ gde h "^ 1 ^ " g gde h "^ 1 ^ # g (

(66) h ^# $ º g h ^# 1 ^ # mm g h "^ 1 ^ #. &. . 1 ^#. Y+f. . . a W Y+f f$j~j. & . . g h ^# 1 h #^ 1 ^ # m f$j h #^ 1 ^ " m f$j. 1 ^". &. &. jMW jMW . }Jilonubº h " ( h # lº ~]ul. . a e h " 1 " g h # 1 # m & a e hX" 1 # g Xh " 1 # m & . . . . jMW ! jMW !. £ odySG}~]v uyZ v©¯ 1 U p ( Zng U p ( Z }Jilonu 1T $ º ~]ul§¯ÛyS_O P*Rgºg¦§v ulgl|n}JvwySu 1 ^ $ µ &~!o#Gx }ºGÃèo8i0~¬o*~]u~]x zySJv }JiGm ÃiGvw|i|#ySu¬onJzod}y . . $f j k ^ ^~`ba ^~`ba m. ^# k k. jMW . . jMW . . . . jMW jMW. . . rutOe m. ¯¹yS. ! c U jMW! ( f W j 7Z g U pjMW j ( jMW j Z ;ug¯ÛySJ}JGu0~]}onx ºG}JiGvw;~]x xwyÄÃ}Jilod|#ySm¥GG}~]}JvwySuÆy]¯ rutye m v u ~}Jv u¦§GySmÁ~]v u. ~]x xwyÄÃ }Jilod|#ySm¥GG}~]}JvwySu ¯¹ySmPySo8¬{~]x lo#ºGÃ°o8ulo#o#}y!o#gl|#o*}Jilod~]Jz{GmPonu¦}µ úLú ëv44 ¡. ySuGx µ·¸u¶ySGon}y.

(67) « :'x. y~).5,8T54l5 ~,1 9 3+54y)l-u5 y

(68) 4 5,_ 3 0}O

(69) l|~B{ ] { X| B{y} ! |X!. Jv uGzÁ~mPon}Jily@Go#onu}o#¶v uDGF~HÙºgÃèo*|~]u¶o#gl|#o8}Jilo*~]Jz{GmPonu};}y. ySm. c g j O h#p Y & & Y 1jºgv }vw;o~SJ}y!o#gl|#od}y'E ¹Q ySulodJiGv©¯¹};~]ulySulo8m4Gx }Jv Gx vw|~]}JvwySu S 1. g jMW! & & O h p Y & & Y @yGºlySGzy~]xbvw}yJlul¶~¥o#gl|n}JvwySu¶¯¹ySm E }y !Pµ ·Ùu}Jilot¯ÛySx xwyÃv uGzlºlÃèodÃv x xboC¨gGx®~]v u¶}JiGvw}on¶v uz{o~]}on&Gon}~]v x¿µ J}~]J}Ãv }Ji \a E |ily@y{o hcKJ \Aa T L a a o~Sv u ~!}~]Gxwo c a ` 3

(70) | #ySm¥GG}o cd\Aa |ily@y{o h1 c=J L a o~Sv u ~!}~]Gxwo c a ` 3

(71)

(72) | #ySm¥GG}o \ c Q \ !NS Ì»ÌÌ V È È Í L¡{ Ì v J}º[Ã°oGo Jlul$o #¥º»~o#|n}~]uGh z{xwo!Jl|i }Ji0~]`} E #¥µ £ oJGx v } #:v u}y f ! ¦0~]o#tGononulgv uGz y]¯}JiloPgv!»ononu¦}|ilySvw|#o#4¯ÛyS Q¹o#o Jlz{Gonp QÛ~ S SCµ-hjilonubº2Ãèo¥i0~¬o|#ySm¥GG}o#7}JiloPv mÁ~]zoÁy]¯ # ¶}JilNo JlJ}tJ}onÆy]¯è}Jilo!~]Jz{GmPonu}8o#gl|n}JvwySu QY}Ji0~]}tvw&}y-~¶}Jilov mÁ~]zoy]¯°o~S|i¤0~]o*Æ~ v m¥v x v }JlGVo SCµ £ od|~]u o#o8yS=u Jlz{Go*np QY* S°}Ji0~]}}JiGvwv mÁ~]zodvwonul|nxwy{o#v u}y¥}Jilod0~]~o Z # c U jMW Y ( f W j Y9Z7g U pjMW j Y ( jMW j Y9Z W hjilo;o#|#ySulP }onPvw^Jv m¥v x®~]µ £ o;JGx v } #5 v u}y Y ¦0~]o#Äº~]ulP|#ySm¥GG}o&¦!}Jilo;M~]mPoÃ°~º }Jilotv mÁ~]zo4y]¯ # Q¹o#Ao Jlz{Go*np Q¹V| SCº0~]ul np Q¹8 S SCµ ¼ ySulo#¦lonu}Jx º

(73) ~]x xb}Jilo8|#ySm¥GG}o# [ySv u}N Q \ S~]o8onul|nxwy{o#¶v u}y !Pµ E c. ê ù2ú ê .

(74)

(75) !#"$&%'(*)+-,.0/1 ,124365,7!5,89:2;,=<>?34@54A%'(*)+B562. 0.8. 0.06. 0.6. 0.4. 0.04. 0.2. 0.02. 0. 1. 1.2. 1.4. 1.6. 1.8. 2. 0. –0.2. –0.02. –0.4. –0.04. –0.6. –0.8. 0.94. 0.96. 0.98. 1. 1.02. .

(76) . 1.04. 1.06. –0.06. ß < ñÄãÛã¿äöë jáCñÄãbáMì . . à [äõîß Mæ3áMì. . . . 0.02 0.06 0.04. 0.01. 0.02. 0. 0.94. 0.96. 0.98. 1. 1.02. 1.04. 1.06. 0. 0.99. 1. 1.01. –0.02 –0.01. –0.04 –0.06. ñEãÛã¿äõë#ãbáCñÄãbáMì ç

(77) äõîß Mæ3áMì @ v z{Go4p+Z~]Jz{GmPonu¦} o#gl|n}JvwySu¯¹yS;}JilotxwySz¦~]Jv }JiGm ¯¹Gul|n}JvwySu –0.02. < <. úLú ëv44 ¡. . . . . . 1.02. {.

(78) p. y~).5,8T54l5 ~,1 9 3+54y)l-u5 y

(79) 4 5,_ 3. %$ +/L).0+ £ o4i0~#¬o!Go#onu¦}o# ~Á~Sgv©¨ª«¬{~]Jv®~]u¦}dy]¯^}Jilo±j²8³ ~]x zySJv }JiGm¶µ Î ¨g}onulJvwySulty]¯^}JiGvwtÃ°ySJÀ }y yS}JilonL~Sgvw|#o# QYulyS}L}yy;x®~]Jzo{º]}JilySGz{*i S»JilySGxw*[oèJ}J~]v z{i¦}¯ÛySJÃ°~]»µ3 ~Sgv©¨@ª«±j²8³ ~]x zySJv }JiGm |#ySGxw¶[otv m¥GxwonmPonu}o# v u}y¥[y@|Àon}&|~]xw|nGx®~]}ySºG}y¥zon}¯¿~SJ}|#ySm¥GxwoC¨¶onxwonmPonu¦}~]J¯¹Gul|n}JvwySulµ 13"#1<13+4/213. D H4µGL¬v #vwonuGvwÄµ^v z{ulo#@ªÙ¾&v z{v } Gm4[on;&onGo#onu¦}~]}JvwySu ¯¹yS ~SJ}è~]~]x xwonxR;Jv }JiGmPon}Jvw|{;µ /n ,n2$3$ ,0~, 5u5 3$9~,1336(*)lB5462nºR+« Zõ ¦¦«{«gºR {µ Dõp H lµ ¼ µ¦±~E~]Á~]ul Dµ¦·Ùm4[onJ}µ Î ¬{~]x 0~]}JvwySu-y]¯»|#ySm¥GxwoC¨ÁonxwonmPonu¦}~]JP¯YGul|n}JvwySulR ZRulonÃ%¬onJvwySu y]¯±j²8³Wµ ·¸u +< T,8B54T,*,7 I(+2T). , b(7 3 73$ 5,7365 & ~,*365 8,* < V365T262-,l;.N2 y 3!B5 3$)l5T2N,* T(*u5&5,89,12Cº Gx {{gµR¾tonu¦¬on°ª t@µ Dõ H lµ ¼ µ0±~E~]»º

(80) [µ0²tx®~gº0~]ul lµå³ µl³ Gx xwonµj±j²8³ Zl ulonÃ |#ySm¥GxwoC¨~]x zySJv }JiGm ¯ÛyS;|#ySm¥GxwoC¨ onxwonmPonu¦}~]JP¯¹Gul|n}JvwySulµ /n ,n2$3$ ,n2R~, %'(*)lB5462nº¦¦n Q SZõ{{ @ gºl~]Gz{lJ} {]lµ D H 4µ¾8~Ãvw~]ul µ³Æonµ hjilogv!ononu}Jv®~]x ¼½ &¾t· ¼ ~]x zySJv }JiG= m Z ¼ ySulJ}~]u¦}§|~]xwo§¯¿~S|Cª }ySdo#gGull~]u¦}v m¥GxwonmPonu¦}~]}JvwySu Ãv }JilySG}4|#ySJo#|n}Jv uGzÆv }on~]}JvwySulµ /1 ,n24!3$~,n2&, %'(*)lB5462nºg¦n QÛ SZõ{« @g º

(81) ³ ~]|i7{ µ Dõ H lµ¾ GG~]}~]ul lµ³ µ3³Gx xwonµ hjilo ¼½ ;¾t· ¼ ~]x zySJv }JiG= m Z onÃ o#JGx }!¯ÛyS!¯Û~S} `DL@· v m¥GxwonmPonu¦}~]}JvwySub_µ /n ,n2$3$ ,n2q, %'(*)+B562nºg¦np QÛp SZ

(82) Ä º onGJ0~]J {{gµ D H³Wµ¾!µ Î |#onzy¬{~S|j~]ul*h82µ DR~]uGzlµ;o#gGull~]u¦}3~]uldySugª¿x v ulo ¼½ ;¾t· ¼ Z;GGx vw|~]}JvwySu}ymÁ~]}JJv©¨ }JJv®~]uGz{Gx®~]Jv Ä~]}JvwySuÅ~]ulÅ ¾!µ /1 ~,n243?,12 ~,L%'(*)+B5T2Cº<{n Q SZöSp{ gE¦«gº {Gulo {{«gµ DöV H¥r!µ lµ onuGÀ@J}J~gµ % %%"4 UI! <_5-"$ ,*365 A).&536%'(*)+9~ ,0µlil¾5}Jilo#Jvwº h ¾tonx©¯¹}º»{ µ D H lµå³Wµ0³ Gx xwonµ u5&5,89~ . Y)l,*3$ ,n2Cµ3±°v JÀ@i ]lonºb{@µ Dõ H¥[µ è~E v mÁ~h8µ» ~Sl~gº µ»hL~]À{~]z{v¿µP&o#gGull~]u¦} ¼ ySgvw|P³Æon}Jily@G8Ãv }JiW~ ¼ ySulJ}~]u}@|~]xwo ~S|n}yS;µ /n ,n2$3$ ,n2q, %'(*)lB5462nºG¦n« QÛ SCºb{g{µ D « H lµ ySxwGonµ3hjilo8|#ySgvw|8|#ySm¥GG}Jv uGzP}o#|iGuGvwlo{!µ /1 ~,n243?,12A,i%'(*)+B562nº»{{gµ D { H lµö[µ £ ~]x }JilonµjGuGv J0o#~]x zySJv }JiGm ¯¹yS&onxwonmPonu¦}~]J¯¹Gul|n}JvwySul` µ .,8U%'(*)lB54 %',?"?5 5,*365A< ?36565 ,.I2Cº<@{µ . . . . .

(83) . . . . . . . . . . . . . . . . . . . !. . . . !. ". . #. . . %$. (. . '&. *). ,+. . . -. . . ê ù2ú ê .

(84) Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. ´ Editeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

(85) ISSN 0249-6399.

(86)