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.

creuse (majorité <strong>de</strong> coefficients nuls). Il existe <strong>de</strong>s heuristiques <strong>de</strong> permutation <strong>de</strong>slignes ou <strong>de</strong>s colonnes visant à optimiser la position <strong>de</strong>s zéros (par exemple, lesauteurs <strong>de</strong> GiNaC (www.ginac.<strong>de</strong>) suite à <strong>de</strong>s expérimentations privilégient lasimplification <strong>de</strong>s petits mineurs en mettant les colonnes contenant le maximum <strong>de</strong>zéros à gauche selon la <strong>de</strong>scription faite ici).Pour se convaincre <strong>de</strong> l’intérêt <strong>de</strong> cet algorithme, on peut effectuer le test O1<strong>de</strong> Lewis-Westerhttp://www.bway.net/~lewis/calatex.htmlil s’agit <strong>de</strong> <strong>calcul</strong>er un déterminant <strong>de</strong> taille 15 avec 18 paramètres.10.1.3 Systèmes linéairesOn peut appliquer la métho<strong>de</strong> du pivot <strong>de</strong> Gauß ou les règles <strong>de</strong> Cramer. Pourles systèmes à coefficients entiers non singuliers, on peut aussi utiliser une métho<strong>de</strong>p-adique asymptotiquement plus efficace. On <strong>calcul</strong>e d’abord une borne sur lescoefficients <strong>de</strong>s fractions solutions <strong>de</strong> l’équation Ax = b en utilisant les règles <strong>de</strong>Cramer et la borne d’Hadamard. On <strong>calcul</strong>e ensuite l’inverse <strong>de</strong> A modulo p (enchangeant <strong>de</strong> p si A n’est pas inversible modulo p), puis, six = ∑ ix i p i , A( ∑ i

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

Saved successfully!

Ooh no, something went wrong!