Opened 11 years ago

Last modified 9 years ago

#11122 closed enhancement

Implementation of the Demazure product in Coxeter groups — at Version 2

Reported by: stumpc5 Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: combinatorics Keywords: Demazure product, subword complex
Cc: Merged in:
Authors: Christian Stump Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: 11187 Stopgaps:

Status badges

Description (last modified by stumpc5)

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],index_set=[1,2])

            sage: w = W.demazure_product([2,2,1])
            sage: w.reduced_word()
            word: 21

            sage: w = W.demazure_product([2,1,2,1,2])
            sage: w.reduced_word()
            word: 121

            sage: W = CoxeterGroup(['B',2],index_set=[1,2])

            sage: w = W.demazure_product([2,1,2,1,2])
            sage: w.reduced_word()
            word: 2121

As I also needed it, the patch provides in addition a method returning the cartan type of a Coxeter group.

Depends on Ticket #8359.

Change History (3)

comment:1 Changed 11 years ago by stumpc5

  • Component changed from PLEASE CHANGE to combinatorics
  • Description modified (diff)
  • Status changed from new to needs_work

Changed 11 years ago by stumpc5

comment:2 Changed 11 years ago by stumpc5

  • Dependencies set to 11187
  • Description modified (diff)
  • Milestone set to sage-4.7.1
  • Owner changed from tbd to (none)
Note: See TracTickets for help on using tickets.