Précédent : Domaines d'applications Remonter : Algorithmes Suivant : Résultats nouveaux
Précédent : Domaines d'applications Remonter :
Algorithmes Suivant : Résultats
nouveaux
La bibliothèque COMBSTRUCT a été conçue et développée par le projet ALGO (Ph. Flajolet, B. Salvy, E. Murray) en liaison avec le projet POLKA de Nancy (P. Zimmermann). Elle fait l'objet d'une collaboration régulière avec les groupes de Waterloo (Université et Compagnie WMI) et une version assez récente est intégrée au système Maple. Elle permet actuellement la génération aléatoire ou exhaustive, le calcul automatique de dénombrements et de séries génératrices, et est à ce titre une aide de portée générale pour la simulation et le test systématique de modèles combinatoires. Disons qu'en l'état actuel, et sur son créneau, son expertise est de l'ordre de celle d'un étudiant en début de 3ème cycle. La nouvelle version de COMBSTRUCT comporte un système de marquage combinatoire, développé par Marni Mishna, qui permet de calculer automatiquement la moyenne et la variance de certains paramètres combinatoires. La prochaine version incorporera une routine permettant l'asymptotique des suites rationnelles, implantée par Frédéric Cazals (projet PRISME), qui est garantie indépendamment du degré, ainsi qu'une routine due à Cyril Chabaud calculant l'asymptotique des suites algébriques positives, également de manière garantie indépendamment du degré ou de l'existence d'une forme close. La version actuelle représente environ 6000 lignes de code (500 ko).
Le package GFUN développé par B. Salvy et P. Zimmermann (projet POLKA) fournit de nombreux outils de manipulations de suites et de fonctions, à commencer par une fonction de traduction qui part de la forme close d'une fonction et produit une équation différentielle linéaire dont cette fonction est solution (lorsqu'une telle équation existe). Cette fonctionnalité, qui effectue précisément le chemin inverse de celui vers lequel se précipitent nombre d'utilisateurs, permet ensuite de calculer des développements en série de manière plus rapide qu'avec la forme close ; elle permet également la localisation des singularités et le calcul des comportements au voisinage des singularités. Le package GFUN comporte actuellement environ 4400 lignes de code Maple. Il a fait l'objet d'une revue très positive dans Computing Reviews et est incorporé au superseeker de N. Sloane aux Bell Laboratories, accessible sur le Web et qui détermine de nombreuses suites d'après leurs premiers termes. Une extension de GFUN vers les équations de récurrence pour des formes closes de suites est actuellement en cours de développement par Wenchang Chu au sein du projet.
La bibliothèque GDEV pour l'asymptotique des fonctions génératrices développée par Bruno Salvy dans les années 80 a été remise à jour cette année. Ceci a permis la mise au point par Stéphanie Petit d'une mini-encyclopédie des structures combinatoires reposant sur la combinaison de COMBSTRUCT, GFUN et GDEV et dotée d'un mode d'interrogation via le Web à l'adresse http://algo.inria.fr/encyclopedia.
Les algorithmes développés par Frédéric Chyzak sont implantés dans une bibliothèque Maple du nom de MGFUN. Les années passées, plusieurs mois de séjours de F. Chyzak au sein du SCG, groupe qui développe Maple à l'université de Waterloo (Canada), ainsi qu'un séjour au projet ALGO de G. Labahn, co-directeur du SCG, ont permis l'intégration progressive d'une partie de cette bibliothèque dans la distribution grand public de Maple. Depuis la dernière version, les utilisateurs de Maple disposent ainsi d'une bibliothèque pour la manipulation d'opérateurs linéaires, ainsi que d'une nouvelle bibliothèque pour calculer des bases de Gröbner, capable de traiter aussi bien des polynômes que des opérateurs non commutatifs. C'est désormais cette dernière qui est employée pour réaliser l'élimination polynomiale dans tout le logiciel Maple. Par ailleurs, la simple présence dans Maple de routines de calcul sur les opérateurs linéaires a ouvert la voie à l'implantation, jusqu'alors impossible, de toute une nouvelle génération d'algorithmes pour la sommation et l'intégration symboliques, et plus généralement d'algorithmes récents pour la manipulation de représentations implicites de suites et fonctions spéciales. Suite à l'intégration de MGFUN, la société WMI qui développe Maple a accentué son effort dans cette direction. L'ensemble de la réalisation logicielle correspondant à la bibliothèque MGFUN est constitué de 12000 lignes de code (430 ko), accompagné d'une quantité équivalente de documentation et de jeux de tests ; elle apporte plus d'une cinquantaine de nouvelles fonctions à l'utilisateur. Une nouvelle version a été achevée en décembre 1997 et est depuis lors accessible sur le site ftp du projet.