> By the way: what's the status of this spkg? Is there some
> documentation somewhere of what can be done with it from Sage? (I just
> tried lie-2.2.2.p3 but it does not seem compile on my 32bits i686
> ubuntu box).

William Stein has stated that LiE would not be made a
standard package because it is no longer supported. See:

http://groups.google.com/group/sage-devel/msg/613cc5aa78c89f3d?hl=en

My belief is that this is the right decision and that
the functionality in LiE should be redone natively in
sage.

It can do quite a few things and people have found it
very useful.

One important thing LiE can so is to compute
Kazhdan-Lusztig polynomials. However it is slow and
can't get much past around B3. Coxeter3 is a better
program for this. KL polynomials are quite important
and it should be a priority to get them in Sage. When
I needed them I wrote my own routines, but only for
type A.

Before KL Polynomials can be implemented Bruhat order
must be implemented in Sage. The root system patch does
not do this. Currently Bruhat order is in Sage but only
for Type A. I think a good way to give a fast recusive
definition would be to use Proposition 1.1 in
Stembridge, A Short Derivation of the Möbius Function
for the Bruhat Order, Journal of Algebraic Combinatorics
25, (2007).

Kazhdan-Lusztig polynomials can be computed quickly if
one is willing to cache a large number of results. If
one just caches everything computed, the main limitation
is the size of the Weyl group. Coxeter3 takes a more
intelligent approach by deciding carefully what to
cache.

Dan

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to