HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:47:35 PM
Last modification on : Friday, February 4, 2022 - 3:16:27 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

80

Files downloads

67