#15806: Integrable representations of (affine) Kac-Moody Lie Algebras
-------------------------------------+-------------------------------------
Reporter: bump | Owner: bump
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: Kac-Moody, | Merged in:
Integrable Representation, Affine | Reviewers:
Lie Algebra | Work issues: The dominant_maximal
Authors: bump | method will be reimplemented.
Report Upstream: N/A | Commit:
Branch: | 0aa8bb15e816f904bfff506453b7ef5721806a70
public/combinat/integrable-15806 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by bump):
> I'm not sure how to check if it's in the right coset off-hand.
This is how I think it goes. Add a multiple of Lambda[0] to give it the
right level.
Then apply `from_weight`. If it does not give integers, discard. Then
subtract the
smallest multiple of delta that makes
`(Lambda+rho|Lambda+rho)-(mu+rho|mu+rho)`
positive.
I will try to implement this using `RecursivelyEnumeratedSet` as you
suggest.
--
Ticket URL: <http://trac.sagemath.org/ticket/15806#comment:34>
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.
