Skip to Main content Skip to Navigation
Reports

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

José Grimm 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : 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).
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00070002
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:47:35 PM
Last modification on : Saturday, January 27, 2018 - 1:30:59 AM
Long-term archiving on: : Monday, September 17, 2012 - 2:35:25 PM

Identifiers

  • HAL Id : inria-00070002, version 1

Collections

Citation

José Grimm. Implémentation en C de l'arithmétique de Sisyphe. [Rapport Technique] RT-0168, INRIA. 1994, pp.146. ⟨inria-00070002⟩

Share

Metrics

Record views

151

Files downloads

123