Les algorithmes efficaces du calcul formel essaient autant que possible de se ramener à la manipulation des entiers modulaires. Un polynôme est une expression formée uniquement de produits et de sommes de constantes et d' indéterminées, habituellement notées X, Y, Z…. Les polynômes interviennent partout en calcul formel.
3.11 Quelques algorithmes d’arithmétique de base. —Les algorithmes de multiplication et division dit rapides des entiers et po- lynômes (Karatsuba, FFT, ...). Cf. par exemple Knuth. ou pour les entiers la documentation de GMP, ou infra pour Karatsuba.
Le vocabulaire de l’algorithmique garde les mêmes mots. est une quantité connue au moment du calcul. Le calcul concret va faire intervenir des valeurs. Par exemple, nous verrons souvent apparaître : — des valeurs entières : 0, 72, -3, 25643, . . . — des valeurs flottantes (qui représentent des nombres réels) : 3.14159, 2.5, -21.876543, . . .
On va présenter ici les algorithmes utilisés habituellement par les systèmes de cal- cul formel : sous-résultant (PRS), modulaire (GCDMOD), p-adique (EEZGD) et heuristique (GCDHEU). Le premier est une adaptation de l’algorithme d’Euclide et s’adapte à des coefficients assez génériques.