search

sagemath / sage

Main repository of SageMath. Now open for Issues and Pull Requests.
https://www.sagemath.org
Other
1.18k stars 409 forks source link

Planar Binary Trees (Loday-Ronco) Hopf Algebra and some binary tree methods #13855

Open 3f8450e1-87bf-41c6-ab53-29a0552debb3 opened 11 years ago

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 11 years ago

Implement PBT and some methods on trees

Depends on #19278 Depends on #19282

CC: @alauve @zabrocki @amypang @darijgr @kevindilks @sagetrac-sage-combinat @tscrim

Component: combinatorics

Keywords: PBT, planar binary trees, Loday Ronco

Branch/Commit: public/hopf_algebras/pbt @ 3584233

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

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 10 years ago
comment:2

See #13793, Rémi Maurice and I propose an library of combinatorial Hopf algebras which contains Loday-Ronco.

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 10 years ago

Last 10 new commits:

bc72f58Ticket 13855: The Hopf algebra PBT as: - Bidendriform bialgebra:
49df959Merge branch '14498/mytreetick' into 13855/pbt
9c9bf65Ticket 13793: fix the category of realizations
b227b12Ticket 13793: WQSym as - a bidendriform bialgebra - with internal product - with diese product
a19f374Merge branch '15611/packed_words' into 13793/cha
6fc6703Ticket 15611: fix Shifted concatenation...
10645a8Merge branch '15611/packed_words' into 13793/cha
c15335eTicket 15611: fix empty shifted shuffle of packed words + test on quasi shifted shuffle
0539b79Merge branch '15611/packed_words' into 13793/cha
3291c96Merge branch '15597/quasi_shuffle' into 15611/packed_words
3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 10 years ago

Commit: bc72f58

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 10 years ago

Changed dependencies from trac_8703-trees-fh.patch to #14498, #13793

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 10 years ago

Branch: u/elixyre/ticket/13855

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 8 years ago

Changed commit from bc72f58 to 3584233

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 8 years ago

Changed dependencies from #14498, #13793 to #19278, #19282

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 8 years ago

Changed branch from u/elixyre/ticket/13855 to public/hopf_algebras/pbt

3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 8 years ago

Last 10 new commits:

d7831e3ticket 17367: fix the notation ClassOfCombinatorialStructures becomes EnumeratedSetsWithGrading and define set_partition in this category
c13301aticket 17367: change some notations: Structure becomes ElementStructure and StructuresClass becomes ParentStructure
983ed14Merge branch 't17367/class_of_comb_struct' into cha/designCHA
ad19690ticket 18675: append the method example to GradedHopfAlgebrasWithBasis and GradedConnectedHopfAlgebrasWithBasis
beb4ae7edits to doctests and strings, add example to reference manual, rename example
f37841eadd missing r in front of docstring and fix equation
4ba871cMerge branch 'public/ticket/18675' of git://trac.sagemath.org/sage into t18675/connectedCHA
2eaee6eMerge branch 't18675/connectedCHA' into cha/designCHA
757e0f1ticket 19264: append a add file
3584233ticket FQSym: a first implementation of this Hopf algebra
3f8450e1-87bf-41c6-ab53-29a0552debb3 commented 8 years ago
comment:9

there is a "small" problem because of ... UniqueRepresentation or... 

sage: Pt = PBT(QQ, True).P()
sage: Pf = PBT(QQ, False).P()
sage: Pf == Pt
True

I'm too tired to check the origin...

fchapoton commented 6 years ago
comment:11

For information:

PBT is done in #23763 ; Grossmann-Larson is work-in-progress in #23406