#14261: Iwahori-Hecke algebra with several bases
-------------------------------------+-------------------------------------
       Reporter:  brant              |        Owner:  sage-combinat
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-5.12
      Component:  combinatorics      |   Resolution:
       Keywords:  Iwahori Hecke      |    Merged in:
  algebra                            |    Reviewers:  Andrew Mathas, Dan
        Authors:  Brant Jones,       |  Bump?
  Travis Scrimshaw                   |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |     Stopgaps:
   Dependencies:  #13735 #14014      |
  #14678 #14516                      |
-------------------------------------+-------------------------------------
Changes (by andrew.mathas):

 * reviewer:  Andrew Mathas?, Dan Bump? => Andrew Mathas, Dan Bump?


Comment:

 I know I talked with Nicolas about this earlier, and he disagreed, but I
 think that the current syntax is not ideal. I'd rather have something
 like:
 {{{
 sage: H.C(1)
 C1
 sage: H.T(H.Cp(1))
 v^-1T1+v^-1
 }}}
 The current extra layer of bracketting, together with the special use of
 [] verus () for indexes and algebra elements, I find counterintuititive.
 By making H.C() etc a hook to the actual basis class it maybe possible to
 do better than the current syntax?

 (Btw, I tried using H.inject_shorhands() but this just gave an error
 message.)

 The syntax for defining the Hecke algebra itself also strikes me as being
 a little OTT:
 {{{
 sage: H = IwahoriHeckeAlgebra(['A',3], v^2, -1, v, 1)
 }}}
 Is there a way of simplifying this? For example, from memory chevie
 computes the KL bases internally using an indeterminant and then
 specialised back to the square root of the Hecke parameter.

--
Ticket URL: <http://trac.sagemath.org/ticket/14261#comment:27>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to