HAL Id: inria-00072302
https://hal.inria.fr/inria-00072302
Submitted on 23 May 2006
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entic research documents, whether they are pub-
lished 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 diusion de documents
scientiques 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.
On the Equivalence of Two Systems of Ane
Recurrence Equations
Denis Barthou, Paul Feautrier, Xavier Redon
To cite this version:
Denis Barthou, Paul Feautrier, Xavier Redon. On the Equivalence of Two Systems of Ane Recurrence
Equations. RR-4285, INRIA. 2001. �inria-00072302�
ISSN 0249-6399 ISRN INRIA/RR--4285--FR+ENG
apport
de recherche
THÈME 1
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
On the Equivalence of Two Systems of Affine
Recurrence Equations
Denis Barthou — Paul Feautrier — Xavier Redon
N° 4285
Octobre 2001
Unité de recherche INRIA Rocquencourt
Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France)
Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30
!#"%$'&(*)+&-,/.01/233425&
67984:<;=>@?BADCFEHGJILKNMO>PGFQ*RN79>PGFAS?S:T7U?DVWK4XL>ZY[:T7U?W\]7U^4EH8J_
`badcBef%gh#i*jBklfBmondp]fqrklstkuqvcwefBk
xNyvzo{ufq*|}
i*mo~d~Pzylq*tfyvfBadfByvadfHF9UhOqvzdyvfoUdgho}%~moUfBk
]FBwd
`badk4~m~@fBy4dfBmokFqvaqvadfb~dyvzd¡fwez¢@tfBw¡d£d5adfwqladfByFqu2z¤Zstkuqvfwe'kFzo¢H|¥'dfifBwndyvylfBf2¦¨§9nmqv£zUk
mylfJfS§Un£©mo¡fw9q[zUy(dzqBª|«k¬zU£ntqv£zU5qlzqvadk(~dyvzd¡fwe2zUnd5@f¨m®yvk¬q[k¬qlfw~qlzbmoym£Uzyvqvade¯yvfBwzqv£zU(°Bm£e~Pzylqvmo9q
qvz9zU±£~dyvzymoe²mmo¡stk¬kw°9z~dql¡e%¡³Bmoql¡zmo~moymo¡¡fw¡£³Smql¡z[ª[´ f®@yvk¬q~dylz©Ufqla@mq£qlafOUfwdfByvmPBmklf°9qlafO~ylzUd£fBe
krntfBw¡mod¡fª*`badfµ~dyvz9z¢J¡kr9syvfBtnw£]moZs£k¬qvmfzo¢N¶*¡£PfwylqB· krqlfw9qva~dyvzd¡fwe¸¹qvadfµklz¡ntql¡zLz¢Nºr¡z~da@mo9ql¡df
fS§Un@mql¡z@kv»qvzLqladf]fB§9nd¡©Dm£fBf]zo¢qu2z¼¤t|i¦¨kBªL´½fWqladfB¾k¬adz¿qla@mqqvadfwyvfWdfB©fwylqlafw¡fBkvk5fpt¡k¬qvkmk¬fBeÀÁmo¡zUyl£qlade°
¡¯adaqvadf Ãfws-¡dyvfBt¡fw9q¡kqlaf wze~dntqmql¡z¯zo¢qlymo@k¬£ql¡©f ¡zUklndylfSkWz¢m¥'df ylfB¡moql¡zkBª¿`badk¡kmo9mo¡mo
nd@tfBw¡dmd¡f%~ylzUd£fBeÄada¼amUkPfwfB½fwpZqlfw@k¬¡©fB£sLk¬qlnt¡fB(ªµÅm9sL~@moylqlmo4k¬zU£ntqv£zUk5moyvfÃZdz(ª´½f%qlafw ylfB~@zUy¬q
zUÂm%~d¡¡zoq£e~d¡fwefBUqmqv£zUz¢qvadfmo¡zUyl£qlade°dtfSklwyl¡PfO£qvk*£¡eqmql¡z@kw°dm~@zU£9qbqlz'nd@k¬zU£©UfB~dylzUd¡fwe'kwª
ÆLÇ9ÈHÉlʵË
ÌF
¤Zstk¬qlfBeÄzo¢|*¥'df'ifBwndylyvfw@f¦2§Un@mql¡z@kw°±~dyvzUyvmeÍfB§9nd¡©Dm£fBfU°±~dyvzymoeÍmo@mo¡sZklkw°H~dyvzUyvmeÎzU~tql£À
e¡³Bmqv£zU
ÏbÐPÑ(ÒÓSÔ%ÕDÖ[×DÒ ØÙuÚ<Û<Ò ÜTÝNÞDÙ4ß@ÙuÚ<ÛTàÒâáâáâÙuÛFÓBàÒâ×wÜäãäåFæDÙu×ÜTÒâ×Oçwèvéêvë9ìíîïðñBòlówôvõïDêvë÷öHì¡óøBëlùìúï
û4üþý
Ñ
ü¹ÿ
Õ
×áâÙ¬à¬ØÙ
¡Ú
Ö×DÒ ØÙuÚäÛTÒ Ü<ݨÞSÙ4ßPÙuÚäÛ÷àÒâáâáâÙuÛÓSàÒâ×wÜäãäåFæDÙu×ÜTÒâ×
îvó
Zì
wèîvóðïDê¬èïôSêÁéïDê¬îtìúï
ü
ÕoÖ×SÒ ØÙ¬ÚäÛTÒ Ü<ÝJÞDÙ
ÒâáâáâÙ
á à×SÞDÚ<Ù
ÿ
ÚäÜ
ÒâÛ
îøDê¬èïdì
wè
wòléwôèvó
Dê
Zìúï
"3/
&($'&±
*)+&
5&
3
334.0&
f*kln{ufq¨tffq¨my¬qv¡w£fbfSkuqN¡f~dyvzd¡cweftfmze~myvm¡klzµtf*tfwndp%klsZk¬qlcBefBkN±· jB§9nmoql¡zkJdfyljSndyvylfBf
mo¥fBk¸T¤t|ri¦»ªHijBklzndylfwf~dylzUd¡cwef~@fBylefwq¬qlymo£qr±· moejw¡¡zyvfwy¡fBkbqvfBadd§9ndfBkrtfyvfBzUdm¡kvklmf5±· mo¡zUyl£qladefSkw°
§9nd*klz9q'nd-zntqv£¡e~@zUy¬qmo9q'~@zUndy'<· mo@mo¡sZklfdfL~dylzUymoeefBkB°[T· zU~tql¡e¡kvmqv£zU fwq'¡m ~myvm£¡jw¡¡kvmqv£zU«mondqlze'moql§Unfª
rznk5~dyvzn©z@k±· moPzy §Unf%¡f~dyvzd¡cwef%fBk¬qfw jwjwymoF£djBdmd£fUª
m~dyvfwnd©Ufµndql¡£k¬f'm]qlymok¬¢þzyve'mql¡z ±· nddf
¡k¬qvmo@ftn gBcwef5~dyvzd¡cweftf¶*¡¡@fBy¬qrfBÂnddf§9ndfBk¬ql¡z±· jB§9nd¡©mo¡fwwftftfwndp¤t|i¦¨kBª
*zUnkbez9qlyvz@kbfwklnd£qlf
§9n(· £fBk¬q4wfw~Pfwdm9q4~PzUkvkl£d¡ftfzUkuqvyln£yvf2n%klfwe£À÷m£Uzyvqvadef°D§Untntql¡£klffBkvk¬fBUqv£fB£¡fwefBUq4¡fbBmondddfmr¢þfwyve%fwqlndyvf
qvyvmk¬£ql¡©fOtfOylfB¡moql¡zk2m¥'dfBkBª
2fBPfBk¬qbjwUm£fBefw9q¨nd~dylzUd¡cwefr¡tjSdmod¡f°Z~Pzndy¡fB§9ndfwHtfOdzeµdyvfwnklfBk2k¬zU£ntqv£zUk
~my¬qv£fB£¡fBkk¬zU9qOzUdZndfBkBª
rznkr~dyvjBklfw9qlzUk*nd¼~dylzqlzqus9~Pftf%zUe%~@moymqlfBndyS°tjBwyl¡©zUk*klfBk£¡eqmqv£zUkw°@fqO£d¡§9ndzUk
§9ndfB¡§9ndfSkb©z¡fBkdfOyvfBafwyadfBk2¢þntqvndylfSkwª
Ë
B
É
L
¤Zstkuqvcwefµ±· jB§9nmoql¡zktfyvjBwndyvylfBfmo¥fBkB°@jS§Un£©mo¡fw@fµdf~dyvzUyvme%efSkw°mmo¡stk¬fdf~dyvzUyvme%efSkw°
zU~tql¡e¡kvmqv£zUtf~ylzUymoeefBk