Précédent : Logiciels Remonter : Logiciels Suivant : MuPAD-Scilab
Précédent : Logiciels Remonter : Logiciels
Suivant : MuPAD-Scilab
La majeure partie des algorithmes développés dans PolKA et concernant les systèmes polynomiaux sont intégrés dans la bibliothèque PoSSo (module REALSOLVING, implanté par F. Rouillier, voir [[24]]).
Pour des raisons d'efficacité, des serveurs de calcul ont été construits pour être interfacés avec le logiciel GB développé par J.-C. Faugère par socket-stream ASCII.
Depuis octobre 1996, l'interface socket-stream est passée au format binaire et rendue compatible avec des logiciels généralistes (MuPAD, Aldor). En janvier 1998, celle-ci a par ailleurs été rachetée par FRISCO.
Nous avons eu assez brutalement à faire face à une demande croissante d'organismes ou de sociétés diverses pour utiliser GB et REALSOLVING. Le portage de ce dernier sur différentes architectures et l'écriture de nouveaux algorithmes demandant plus de structures mathématiques ont entraîné des modifications profondes dans le code et surtout mis en évidence les limites de la bibliothèque PoSSo.
En juin 1997, F. Rouillier a commencé l'implantation d'un nouveau logiciel ( RS), tenant compte des erreurs passées et d'une étude de plusieurs mois sur les structures de données, les techniques d'implantation ou encore les gestionnaires de mémoire. Celui-ci est complètement implanté en C-ANSI et intègre :
RS a été déposé début juillet 1998. Évidemment, aucune méthode de calcul de REALSOLVING n'est dupliquée dans RS : tous les algorithmes sont nouveaux.
RS ne sera pas dans le domaine public a priori. RS est destiné essentiellement à être utilisé avec FGB (le nouveau logiciel de J.-C. Faugère) à des fins commerciales. Notre but est de proposer des solutions logicielles adaptées (étude du problème plus solution logicielle) répondant aux demandes venant du secteur privé dans différents secteurs.
Pour l'heure, l'interface de RS est très rustique mais il peut
toutefois être utilisé comme module dynamique depuis
MUPAD.