#6588: Root systems: categorification
-----------------------------+----------------------------------------------
Reporter: nthiery | Owner: mhansen
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.0
Component: combinatorics | Keywords: root systems, categories
Work_issues: | Upstream: N/A
Reviewer: | Author: Nicolas M. Thiéry
Merged: | Dependencies: #10963, #10817
-----------------------------+----------------------------------------------
Changes (by newvalueoldvalue):
* cc: mshimo@… (added)
* upstream: => N/A
* dependencies: => #10963, #10817
* author: => Nicolas M. Thiéry
Old description:
> Replace the abstract classes in RootSystems (like RootLatticeRealization)
> by categories.
>
> Use it to implement parabolic sub-rootsystems, and parabolic Weyl
> subgroups.
New description:
- RootLatticeRealization and friends are now categories
- iterator for any Coxeter group
- facade option for weak_poset's of finite coxeter groups
- ...
Status: the patch is basically good to go. I still want to add coercions
from the root lattice to the weight lattice and friends; other than that,
the math review can start.
Note: the indentation is currently wrong in a couple places (2 spaces
instead of 4) in order to make the diff small. I'll fix that indentation
for the very final patch.
The dependency upon #10963 is trivial, and we could commute the two
patches to get this one in quicker.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6588#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
