#18453: Infinite affine crystals should use extended weight lattice
-------------------------------------+-------------------------------------
Reporter: bump | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.8
Component: combinatorics | Resolution:
Keywords: crystals, days65 | Merged in:
Authors: Ben Salisbury, | Reviewers:
Anne Schilling, Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 3b3c0b2d15289a8c4a5c5c25ad2984114a856916
public/crystal/18453 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:24 bsalisbury1]:
> Replying to [comment:23 tscrim]:
> > I had poked around on this too when I first looked into this ticket
and couldn't find anything (I also looked in ''Level 0 monomial crystals''
by Hernandez and Kashiwara). Expressing the monomial crystals in the `A`'s
isn't a problem since we can just pull the simple roots and `\alpha_0` is
what contributes to `\delta`. We can always brute-force this computation
for highest weight crystals by taking a path to the highest weight and
computing the weight from that, but that is going to be ''really'' slow
(but it will be correct). I think the best solution is to follow Hernandez
and Kashiwara and add a weight attribute to each element of the crystal,
which is easy enough to compute on each application of `e` and `f`.
>
> I tried doing this using the path to the highest weight vector, but it
causes a loop in Sage because of the way the crystal operators are defined
in the monomial crystals model. In particular, we need phi to compute the
action of the Kashiwara operators, and phi depends on the weight in the
B(infinity) model.
Right...I'm now fairly convinced it will be best to simply store the
weight as an attribute of the elements. This might also result in a
speedup as we wouldn't need to (re)compute the weight everytime we call
`phi()`.
--
Ticket URL: <http://trac.sagemath.org/ticket/18453#comment:25>
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/d/optout.
