#11122: Implementation of the Demazure product in Coxeter groups
-------------------------------+--------------------------------------------
Reporter: stumpc5 | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone:
Component: combinatorics | Keywords: Demazure product, subword complex
Author: Christian Stump | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Changes (by stumpc5):
* status: new => needs_work
* component: PLEASE CHANGE => combinatorics
Old description:
> 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.
New description:
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.
Depends on Ticket #8359.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11122#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.
