#15683: Interval-posets of Tamari
-------------------------------------+-------------------------------------
       Reporter:  VivianePons        |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.2
      Component:  combinatorics      |   Resolution:
       Keywords:  combinat, Tamari,  |    Merged in:
  binary trees, Dyck paths           |    Reviewers:
        Authors:  Viviane Pons       |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  public/combinat    |  b46fc059840920899fb756dc3a80b9beac54efe9
  /interval-posets-15683             |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by darij):

 Only minor changes so far (I was busy fixing my own git errors most of the
 time...).

 I think we should merge #14498 into this branch, shouldn't we? I'm
 referring to one of the methods from #14498 for its doc. (Namely, for the
 definition of the Tamari order on trees. By the way, does that definition
 play well with the one you are using?)

 I have revamped your references as they were too short and conflicting
 with some existing ones ("Cha" is way too common for an identifier).

 This is probably a stupid question a more careful look at the code would
 answer, but where do I find a method to turn a Tamari interval-poset into
 a poset? While you have redefined some poset-theoretical methods, there
 are still many more in the Poset class.

 I've added an arXiv identifier to the Chapoton reference. If you are aware
 of the paper being more up-to-date than the arXiv preprint, please remove
 it again.

 If I remember correctly, the Tamari lattice projects onto the Bruhat poset
 (one of the two, I never remember which); are there any methods for this?

--
Ticket URL: <http://trac.sagemath.org/ticket/15683#comment:16>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to