growth diagrams on compositions

[mantepse]

This implements the dual graded graph introduced by Vasu Tewari and Stephanie Van Willigenburg in https://arxiv.org/pdf/1512.04614v1.pdf.

I don't know whether local rules are available. I made up a forward rule which yields Sarah Mason's insertion algorithm.

I also don't know a name for the saturated chains ("standard tableaux") in the Q-graph.

Main question: where should I put Sarah Mason's insertion algorithm? It takes a word with positive integer letters and yields a CompositionTableau.

• into a new file mason.py?
• into composition_tableau.py?
• into rsk.py?
• into permutation.py?

Depends on #23319

CC: @sagetrac-sage-combinat @tscrim

Component: combinatorics

Author: Martin Rubey

Branch/Commit: u/mantepse/growth_diagrams_on_compositions @ 6932277

Issue created by migration from https://trac.sagemath.org/ticket/23941

[mantepse]

Branch: u/mantepse/growth_diagrams_on_compositions

[mantepse]

Changed branch from u/mantepse/growth_diagrams_on_compositions to none

[mantepse]

Author: Martin Rubey

[mantepse]

Description changed:

--- 
+++ 
@@ -1 +1,5 @@
+This implements the dual graded graph introduced by Vasu Tewari and Stephanie Van Willigenburg in https://arxiv.org/pdf/1512.04614v1.pdf.

+I don't know whether local rules are available.
+
+I also don't know a name for the saturated chains ("standard tableaux") in the Q-graph.

[mantepse]

Dependencies: #23319

[mantepse]

Branch: u/mantepse/growth_diagrams_on_compositions

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Commit: 344820d

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

344820d

fix typo, include code for is_Q_edge and is_P_edge

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

6932277

implement a conjectural forward rule for LeftCompositions, and Sarah Mason's insertion algorithm

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 344820d to 6932277

[mantepse]

Description changed:

--- 
+++ 
@@ -1,5 +1,13 @@
 This implements the dual graded graph introduced by Vasu Tewari and Stephanie Van Willigenburg in https://arxiv.org/pdf/1512.04614v1.pdf.

-I don't know whether local rules are available.
+I don't know whether local rules are available.  I made up a forward rule which yields Sarah Mason's insertion algorithm.

 I also don't know a name for the saturated chains ("standard tableaux") in the Q-graph.
+
+Main question: where should I put Sarah Mason's insertion algorithm?
+ It takes a word with positive integer letters and yields a `CompositionTableau`.
+
+* into a new file `mason.py`?
+* into `composition_tableau.py`?
+* into `rsk.py`?
+* into `permutation.py`?

[tscrim]

comment:8

Sorry for taking so long to look at this. IMO, Mason insertion should go into the rsk.py file as it is a similar sort of insertion algorithm and be added as an option to RSK. Although I am not fully convinced that is the best place because the result is a CompositionTableau rather than a Tableau, but it runs parallel enough that I think it is fine. Plus it is more discoverable as part of RSK. The other option is we create a new insertion_algorithm.py file and add it there. Something else to consider is adding a mason_insert() method to CompositionTableau (or moving the mason_insert function there). Your thoughts?

There are also some methods that do not have docstrings and some of the one-line descriptions do not match Sage's formatting (it starts on the next line after """).