On Sun, Apr 01, 2012 at 05:17:39PM -0700, Mark Shimozono wrote:
> Could you please have a look at the brand-new version
> on the sage-combinat server, of trac_12774-coxeter-ms.patch
> sage/combinat/root_system/root_lattice_realizations.py
> line 1759, method weyl_action? (Particularly the way I try
> to do the type checking that is needed due to the
> easier-to-use calling conventions. That and the way
> I tried to optimize it by taking advantage of the special
> case that the Weyl group element is acting on a
> vector in its domain of definition. )
I have just pushed a reviewer's patch. Feel free to fold in once you
have checked the changes.
One issue: the method `weyl_action`, and many others in
RootLatticeRealizations, will generalize right away to the geometric
realization of any Coxeter group. Granted, RootLatticeRealizations is
a misnomer since the root lattice \ZZ(alpha_i)_i shall be replaced by
\ZZ[e](alpha_i)_i where e is an appropriate root of unity; and this is
not really a lattice. So we will have to rename that category at some
point (or create a super category). But in the mean time, I'd like the
naming conventions for those methods to be as Coxeterish as possible.
Thoughts?
> Since I've been bombarding you with such requests, if you have a
> patch or two I can review let me know (now that I have a clue on
> what to do).
As we say in French: ce n'est pas tombé dans l'oreille d'un sourd
(literally: it did not fall in the ear of a deaf) :-)
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
