Séminaires et Congrès - Titles - 26 (2011) 77-98
| |
|
|
|
|
Operads 2009
Loday, Jean-Louis and Vallette, Bruno
Séminaires et Congrès 26 (2011), 281 pages
Presentation, Summary
Implementing Gröbner bases for operads
Vladimir Dotsenko, Mikael Vejdemo Johansson
Séminaires et Congrès 26 (2011), 77-98
Download the document
Résumé :
Comment implémenter les bases de Gröbner pour les opérades
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 affectué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.
Abstract:
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.
Keywords: Buchberger algorithm, Gröbner bases, Haskell, shuffle operads
Class. math. : Primary: 68W30; Secondary: 16S15, 18D50, 68N18
ISSN : 1285-2783
Bibliographie:
- 1
- Abbott, Michael and Altenkirch, Thorsten and McBride, Conor and Ghani, Neil
for data: differentiating data structures
- Fund. Inform. 65 (2005) 1–28
- 2
- Boyer, Robert S. and Moore, J. Strother
- A fast string searching algorithm
- Comm. ACM 20 (1977) 762–772
- 5
- Hoffbeck, Eric
- A Poincaré–Birkhoff–Witt criterion for Koszul operads
- Manuscripta Math. 131 (2010) 87–110
- 6
- Huet, Gérard
- Functional pearl: the Zipper
- J. Funct. Programming 7 (1997) 549–554
- 7
- Haskell 98 Language and Libraries – The Revised Report
- Cambridge Univ. Press, 2003
- 8
- Knuth, Donald E. and Morris, James H. Jr. and Pratt, Vaughan R.
- Fast pattern matching in strings
- SIAM J. Comput. 6 (1977) 323–350
- 9
- Loday, Jean-Louis and Vallette, Bruno
- Algebraic operads
- 10
- Markl, Martin and Shnider, Steve and Stasheff, Jim
- Operads in algebra, topology and physics
- Amer. Math. Soc., 2002
