12.07.2015 Views

Algorithmes de calcul formel - Free

Algorithmes de calcul formel - Free

Algorithmes de calcul formel - Free

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

On suppose donc queP = Π n j=1P j (mod p)où les P j sont premiers entre eux <strong>de</strong>ux à <strong>de</strong>ux dans Z/pZ. Il s’agit <strong>de</strong> trouver <strong>de</strong>spolynômes P j,k = P j (mod p) tels queCommençons par le cas k = 2. On poseOn a alors :Donc :P = Π n j=1P j,k (mod p k )P j,2 = P j + pQ j = P j (mod p)P = Π n j=1P j,2 (mod p 2 ) = Π n j=1(P j + pQ j ) (mod p 2 )n∑= Π n j=1P j + p Q j Π k≠j P k (mod p 2 )n∑j=1j=1Q j Π k≠j P k = P − Πn j=1 P jp(mod p)On est ramené à résoudre une i<strong>de</strong>ntité <strong>de</strong> Bézout généralisée. On montrera dansl’appendice le :Théorème 4 (I<strong>de</strong>ntité <strong>de</strong> Bézout généralisée) Soit P 1 , ..., P n (n ≥ 2) <strong>de</strong>s polynômespremiers entre eux <strong>de</strong>ux à <strong>de</strong>ux modulo p. Alors pour tout polynôme Q, ilexiste <strong>de</strong>s polynômes Q 1 , ..., Q n tels que :n∑Q j Π k≠j P k = Q (mod p)j=1On a donc réussi à remonter l’égalité P = ΠP j (mod p) à P = ΠP j,2(mod p 2 ). Le passage <strong>de</strong> P = ΠP j,l (mod p l ) à P = ΠP j,l+1 (mod p l+1 ) esti<strong>de</strong>ntique, on a :P j,l+1 = P j,l + p l Q joù les Q j sont les solutions <strong>de</strong> l’i<strong>de</strong>ntité <strong>de</strong> Bézout généralisée avec :Q = P − Πn j=1 P j,lp lLorsqu’on programme cet algorithme (cf. l’appendice), on <strong>calcul</strong>e une foispour toutes les solutions <strong>de</strong> l’i<strong>de</strong>ntité <strong>de</strong> Bézout pour Q = 1, et on multiplie par Q.Algorithme <strong>de</strong> remontée <strong>de</strong> Hensel linéaireArguments : Un polynôme P à coefficients entiers, la liste L = {P j } <strong>de</strong> ses facteursdans Z/pZ[X]Valeur renvoyée : la liste <strong>de</strong>s facteurs <strong>de</strong> P dans Z/p l Z[X]On <strong>calcul</strong>e la borne <strong>de</strong> Landau-Mignotte 6 pour les facteurs <strong>de</strong> P , on multiplie parle coefficient dominant <strong>de</strong> P et on <strong>calcul</strong>e l tel que p l est strictement plus grand que<strong>de</strong>ux fois cette quantité. On <strong>calcul</strong>e aussi les polynômes Q j <strong>de</strong> l’i<strong>de</strong>ntité <strong>de</strong> Bézoutgénéralisée pour Q = 1Puis on fait une boucle pour k variant <strong>de</strong> 2 à l :6 Rappelons qu’il s’agit d’une majoration sur la valeur absolue <strong>de</strong>s coefficients <strong>de</strong>s facteurs <strong>de</strong> P52

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!