Stage de M2
Cette page regroupe quelques documents relatifs à mon stage de deuxième année du master MPRI.
Présentation
- Domaine : calcul formel
- Sujet : Génération automatique de procédures numériques pour les fonctions D-finies
- Directeur : Bruno Salvy
- Cadre : INRIA Rocquencourt, projet Algo
- Dates : février à juillet 2007
Rapport
- Version 1.2, octobre 2007 (format pdf).
Encore une petite correction/précision (note 6 page 51) suite à une remarque d'Adrien Poteaux.
- Version 1.1, octobre 2007 (format pdf). Corrige un certain nombre d'erreurs et améliore la navigation par liens hypertexte.
- Version 1.0, août 2007 (format pdf). Document soumis au jury.
Code
Les « moins instables » des fonctions écrites au cours de ce stage sont regroupées (pour le moment...) dans le module Maple NumGfun, téléchargeable ici. Il reste cependant à un stade très expérimental. Les rapports de bugs et les suggestions sont les bienvenus à l'adresse marc `à' mezzarobba `point' net.
NumGfun nécessite la bibliothèque algolib, téléchargeable sur le site web du projet Algo, et en particulier le module gfun, qu'elle contient (certaines fonctions devraient se contenter de la version de gfun fournie avec Maple).
- À partir de la version 0.4, NumGfun n'est plus distribué séparément mais intégré à gfun.
- NumGfun 0.3 pour
Maple 11. Corrige quelques bugs de la version précédente. Moins
de problèmes d'installation, normalement, suite à la diffusion de
gfun 3.31.
-
NumGfun 0.2 pour Maple 11. J'ai un peu continué le développement pendant les quelques mois suivant la fin de mon stage, conduisant à la version 0.2. Celle-ci contient notamment un premier brouillon de code pour l'évaluation par bit burst ainsi que pour de la procédure de calcul de bornes sur les suites holonomes décrite dans mon exposé de Limoges. Elle a de nombreux problèmes non corrigés par manque de temps, et est probablement moins stable que la précédente. Il est probable, de plus, que certaines parties ne fonctionnent qu'avec la version de développement d'algolib.
-
NumGfun 0.1 pour Maple 10 (ou 11). Version décrite dans le rapport.
Attention, un bug dans le calcul de séries majorantes peut conduire à des résultats faux pour quelques (rares) fonctions.
Installation : commencez par installer algolib, puis exécutez (ou lisez et adaptez) le script d'installation fourni dans l'archive
(MAPLELIB=/chemin/de/votre/bibliothèque/maple ./install),
en choisissant un chemin mentionné dans votre variable d'environnement Maple libname.
Exposés