Design discussion about Hecke Algebras

Quite a few people expressed interest in (affine) Iwahori-Hecke algebras, including NicolasBorie, DanBump, BrantJones, VincentFeray, FlorentHivert, MikeHansen, AndrewMathas, AnneSchilling, NicolasThiéry.

There are pieces of code for it in many different places in MuPAD-Combinat, also a bit in Sage, etc. It is time for setting up where we want to go, and cleanup that mess!

* http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/trunk/MuPAD-Combinat/lib/EXAMPLES/HeckeAlgebra.mu * http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/trunk/MuPAD-Combinat/lib/EXAMPLES/HeckeGroupAlgebra.mu * http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/trunk/MuPAD-Combinat/experimental/2006-06-27-HeckeCoxeter.mu * http://www.mupad-combinat.svn.sourceforge.net:80/viewvc/mupad-combinat/trunk/MuPAD-Combinat/experimental/2008-02-13-HeckeSpechtModules.mu

Here is a first draft of user story describing how we would want to use this algebra. Please expand and comment!