Evaluation dynamique et clôture algébrique en axiom Original Research Article

Lʹévaluation dynamique permet de calculer avcc des nombres algébriques sans factoriser a priori les polynômes. Elle permet aussi de manipuler des paramètres de façon souple et conviviale. Le but de cet article est le suivant: Expliquer le mécanisme dʹévaluation dynamique, qui repose sur les notions dʹensemble dynamique et de scindage. Présenter son application au calcul avec des nombres algébriques, cʹest-à-dire définir la clôture algébrique dynamique dʹun corps. Décrire le programme Axiom qui implante cela, et en fournir un mode dʹemploi (seul ce dernier point nécessite de connaître Axiom). On décrit ici lʹévaluation dynamique sans référence à la théorie des esquisses, mais la présentation proposée, moins rigoureuse, peut être considérée comme plus accessible.