Implémentation en C de l'arithmétique de Sisyphe

Overview & Synopsis

Ce rapport décrit l'implémentation de l'arithmétique dans le système de calcul formel \sc sisyphe. Toutes les procédures sont écrites dans le langage C, et supposent l'existence d'un gestionnaire de mémoire conservate- ur. La plupart des algorithmes décrits ici ont été implémentés initialement en Lisp ou dans le langage de \sc sisyphe. Dans une première partie nous définissions les primitives de bas niveau pour implémenter une arithmétique sur les entiers positifs de taille arbitraire. Dans une seconde partie, nous définissons les entiers signés et les fractions rationnelles. Finalement nous introduirons les nombres complexes et les fonctions transcendantes et décrirons les fonctions d'entrées-sorties. Comme application, nous donnons un algorithme de factorisation des entiers (méthodes de Pollard, Morrison et Brillhart, courbes elliptiques).