Opened 11 years ago

Last modified 9 years ago

#11122 closed enhancement

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

Reported by: stumpc5 Owned by: tbd
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: 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])

            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.

Change History (2)

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

Note: See TracTickets for help on using tickets.