SMF

Comment implémenter les bases de Gröbner pour les opérades

Implementing Gröbner bases for Operads

Vladimir Dotsenko, Mikael Vejdemo Johansson
Comment implémenter les bases de Gröbner pour les opérades
  • Consulter un extrait
  • Année : 2013
  • Tome : 26
  • Format : Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : Primary: 68W30; Secondary: 16S15, 18D50, 68N18.
  • Pages : 77-98
Nous décrivons comment implémenter l'algorithme, dû au premier auteur et à A. Khoroshkin, qui calcule les bases de Gröbner pour les opérades. Nous étudions les algorithmes actuels, les choix effectués pour les plateformes d'implémentation et pour la représentation des données. Nous discutons aussi des forces et des faiblesses de notre approche.
We present an implementation of the algorithm for computing Gröbner bases for operads due to the first author and A. Khoroshkin. We discuss the actual algorithms, the choices made for the implementation platform and the data representation, and strengths and weaknesses of our approach.
Algorithme de Buchberger, bases de Gröbner, Haskell.
Buchberger algorithm, Gröbner bases, Haskell, shuffle operads.