Opened 4 years ago
Closed 4 years ago
#25133 closed enhancement (fixed)
Implement WQSym
Reported by:  tscrim  Owned by:  

Priority:  major  Milestone:  sage8.2 
Component:  combinatorics  Keywords:  IMA coding sprint, CHAs 
Cc:  sagecombinat, darij, alauve, zabrocki, saliola, amypang, tscrim  Merged in:  
Authors:  Travis Scrimshaw  Reviewers:  Darij Grinberg 
Report Upstream:  N/A  Work issues:  
Branch:  bc276dd (Commits, GitHub, GitLab)  Commit:  bc276dd42f4f45b703182190afe54f28af961ae2 
Dependencies:  #15597  Stopgaps: 
Description (last modified by )
The combinatorial Hopf algebra indexed by ordered set partitions. We implement the monomial basis.
Change History (31)
comment:1 Changed 4 years ago by
 Branch set to public/combinat/implement_wqsym25133
 Commit set to 5021445661fae1d4d1695f3d80475a8539f27c94
 Description modified (diff)
 Status changed from new to needs_review
comment:3 Changed 4 years ago by
 Commit changed from 5021445661fae1d4d1695f3d80475a8539f27c94 to 349de85e0ee1615ce2d51fdd768c1f7dca300535
Branch pushed to git repo; I updated commit sha1. New commits:
a60d29a  Merge branch 'public/combinat/extend_shuffle_product15597' of trac.sagemath.org:sage into qs

99c91e7  getting rid of zero

588f20f  Merge branch 'public/combinat/implement_wqsym25133' of trac.sagemath.org:sage into wqsym

349de85  technical fixes to src/sage/combinat/set_partition_ordered.py

comment:4 Changed 4 years ago by
 Commit changed from 349de85e0ee1615ce2d51fdd768c1f7dca300535 to aa04534d4a7347eb0fddd7e39ded8f6b8a928fa3
comment:5 Changed 4 years ago by
 Commit changed from aa04534d4a7347eb0fddd7e39ded8f6b8a928fa3 to 3c86209668ea7ff82f845d11cb7d8cff04cf44d2
Branch pushed to git repo; I updated commit sha1. New commits:
3c86209  document WQSym (spartanic)

comment:6 Changed 4 years ago by
 Commit changed from 3c86209668ea7ff82f845d11cb7d8cff04cf44d2 to 89bfa23816a61fefb8d48c3999b6fe641d3cb95f
comment:7 Changed 4 years ago by
 Commit changed from 89bfa23816a61fefb8d48c3999b6fe641d3cb95f to 4fe0066d52393dc702074e1ba90b9dc13e6b02fd
Branch pushed to git repo; I updated commit sha1. New commits:
4fe0066  more doctests

comment:8 Changed 4 years ago by
 Commit changed from 4fe0066d52393dc702074e1ba90b9dc13e6b02fd to f4ad056fde2c524486dc495aee9a177283ebe3ba
Branch pushed to git repo; I updated commit sha1. New commits:
f4ad056  Fixing documentation to Cone basis.

comment:9 Changed 4 years ago by
 Cc tscrim added
comment:10 Changed 4 years ago by
 Commit changed from f4ad056fde2c524486dc495aee9a177283ebe3ba to 60662be8e3e5ea1df22e011419283a42c596d919
Branch pushed to git repo; I updated commit sha1. New commits:
60662be  review M and X bases of WQSym

comment:11 Changed 4 years ago by
 Commit changed from 60662be8e3e5ea1df22e011419283a42c596d919 to 3b67a89d38334196f1a2a0c501d78ac5cb43552b
Branch pushed to git repo; I updated commit sha1. New commits:
3b67a89  customize hash on OrderedSetPartition (Travis)

comment:12 Changed 4 years ago by
 Commit changed from 3b67a89d38334196f1a2a0c501d78ac5cb43552b to 24e9b0ffc850147c91820de122e3ad44626376b3
Branch pushed to git repo; I updated commit sha1. New commits:
24e9b0f  correct degree_on_basis

comment:13 Changed 4 years ago by
 Commit changed from 24e9b0ffc850147c91820de122e3ad44626376b3 to b4a3af91b20249401c50684b27fd7f7aaccd323e
comment:14 Changed 4 years ago by
 Reviewers set to Darij Grinberg
 Status changed from needs_review to positive_review
Positive review according to Travis.
comment:15 Changed 4 years ago by
 Commit changed from b4a3af91b20249401c50684b27fd7f7aaccd323e to fc6b2ae9d951203dac1640856ae8eaa047f02d2e
 Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
fc6b2ae  fix to_quasisymmetric_function

comment:16 Changed 4 years ago by
 Status changed from needs_review to positive_review
comment:17 Changed 4 years ago by
 Commit changed from fc6b2ae9d951203dac1640856ae8eaa047f02d2e to 235f69b51a2c77c5dbad23ffa0bdbf6773f9d05e
 Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. Last 10 new commits:
361b4df  Merge branch 'public/combinat/fqsym' of trac.sagemath.org:sage into wqsym_real

5dad9df  implement the inclusion NSym > FQSym

474d8f9  Having to_ncsym() and to_fqsym() implemented generically for elements only.

c833ba6  implement FiniteWord.to_ordered_set_partition()

5dc2bfe  Merge branch 'public/combinat/wqsym2' of git://trac.sagemath.org/sage into public/combinat/wqsym2

85634b2  outsource to_ordered_set_partition

72bcd46  implement the inclusion FQSym > WQSym

a5512ed  polish Travis's edits

7394bf7  Added deprecations to Bases.ParentMethod.to_ncsym(_on_basis).

235f69b  implement the inclusion NCSym > WQSym

comment:18 Changed 4 years ago by
 Commit changed from 235f69b51a2c77c5dbad23ffa0bdbf6773f9d05e to fc6b2ae9d951203dac1640856ae8eaa047f02d2e
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
comment:19 Changed 4 years ago by
 Status changed from needs_review to positive_review
Ignore  I accidentally pushed to the wrong branch. I pushforced the right one back now.
comment:20 Changed 4 years ago by
Thank you Darij and Travis for your hard work!
Some other bases that would be nice to code, if you guys have time  these are the sums of M's over some order on ordered set partitions, so maybe the only work is to code the orders:
 Q basis of BergeronZabrocki (https://arxiv.org/abs/math/0509265 start of section 6);
 The fundamental and multiplicative bases from NovelliThibon (https://arxiv.org/abs/math/0605061 lines 5556; section 2.6 and line 47).
 Their dual bases in the dual of WQSym.
Let me know if I can help. (But I'm in an antipodal timezone from you.)
comment:21 Changed 4 years ago by
Please open up followup tickets for each of these bases and feel free to work on them today. I/We can work on them tomorrow for us.
comment:22 Changed 4 years ago by
comment:23 Changed 4 years ago by
 Commit changed from fc6b2ae9d951203dac1640856ae8eaa047f02d2e to 72f2de6d5d8ee189287a41039f5a7ce1dfe0a40e
 Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
3e46798  Initial addition of Franco's FSym code.

f75e10d  if w1 is a word, return a word, else a list

3f8f272  added doc test, minor change for test of Composition, correct import

06fd19d  Merge branch 'public/25018/bug_in_shuffle' of git://trac.sagemath.org/sage into public/combinat/extend_shuffle_product15597

72f2de6  Merge branch 'public/combinat/extend_shuffle_product15597' of git://trac.sagemath.org/sage into public/combinat/implement_wqsym25133

comment:24 Changed 4 years ago by
 Commit changed from 72f2de6d5d8ee189287a41039f5a7ce1dfe0a40e to 82240b2f1ec11cf718cbd6e832fd2ef1a27b9df1
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
4252484  Merge branch 'public/combinat/extend_shuffle_product15597' of git://trac.sagemath.org/sage into public/combinat/implement_wqsym25133

82240b2  Fixing some details and making Symmetric capitalized in the name.

comment:25 Changed 4 years ago by
 Status changed from needs_review to positive_review
comment:26 Changed 4 years ago by
 Commit changed from 82240b2f1ec11cf718cbd6e832fd2ef1a27b9df1 to fd61441bf9ecc419fd5eaee9b85c9bd39e27b70c
 Status changed from positive_review to needs_review
comment:27 Changed 4 years ago by
 Commit changed from fd61441bf9ecc419fd5eaee9b85c9bd39e27b70c to 82240b2f1ec11cf718cbd6e832fd2ef1a27b9df1
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
comment:28 Changed 4 years ago by
 Status changed from needs_review to positive_review
Was accidentally pushed to the wrong branch.
comment:29 Changed 4 years ago by
 Commit changed from 82240b2f1ec11cf718cbd6e832fd2ef1a27b9df1 to bc276dd42f4f45b703182190afe54f28af961ae2
 Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
bc276dd  Merge branch 'public/combinat/implement_wqsym25133' of git://trac.sagemath.org/sage into public/combinat/implement_wqsym25133

comment:30 Changed 4 years ago by
 Status changed from needs_review to positive_review
Trivial conflict in master reference list.
comment:31 Changed 4 years ago by
 Branch changed from public/combinat/implement_wqsym25133 to bc276dd42f4f45b703182190afe54f28af961ae2
 Resolution set to fixed
 Status changed from positive_review to closed
Darij, you will probably want more documentation (including references). Feel free to add. Otherwise this should be ready.
New commits:
Moving shuffle products with overlap to combinat/shuffle.py.
Extending shuffle products with overlap to more general iterables.
Added set of all ordered set partitions.
Initial version of WQSym and new folder for CHAs.