Implémentation du corps des (nombres) rationnels
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- Auteurs
- David Moreira
- Type
- techreport
- Année
- 2011
- Numéro
- 1107
- Projects
- Vaucanson
- Mots-clés
- Vaucanson, Kind, Lal, Laa, Semiring, Rational NumberFloating point arithemetic
Résumé
Vaucanson est une plateforme de manipulation d'automates finis et de transducteurs dont l'interface s'est montrée trop complexe. Pendant les deux dernières années, des travaux ont été entrepris afin d'introduire le concept de kind d'un automate dans la bibliothèque. Aujourd'huiune partie de la nouvelle interface a été implementée et le travail sur le cœur a laissé Vaucanson 1.4 dans un état instable. Cette présentation montrera dans un premier temps le travail effectué pour Vaucanson 1.4puis sur les travaux entrepris afin de rendre stable Vaucanson 2.0.