#11122: Implementation of the Demazure product in Coxeter groups
-------------------------------+--------------------------------------------
Reporter: stumpc5 | Owner: tbd
Type: enhancement | Status: new
Priority: major | Milestone:
Component: PLEASE CHANGE | Keywords: Demazure product, subword complex
Author: Christian Stump | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
The provided patch implements the Demazure product of a word in the
generators of a Coxeter group.
The definition can be found e.g. in "Knutson, Miller - Subword complexes
for Coxeter groups".
{{{
sage: W = CoxeterGroup(['A',2])
sage: w = W.demazure_product([2,2,1])
sage: w.reduced_word()
[2, 1]
sage: w = W.demazure_product([2,1,2,1,2])
sage: w.reduced_word()
[1, 2, 1]
sage: W = CoxeterGroup(['B',2])
sage: w = W.demazure_product([2,1,2,1,2])
sage: w.reduced_word()
[2, 1, 2, 1]
}}}
As I also needed it, the patch provides in addition a method returning the
cartan type of a Coxeter group.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11122>
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.
