#16264: Rotate error on childless binay trees
--------------------------------------------------+------------------------
       Reporter:  VivianePons                     |        Owner:
           Type:  defect                          |       Status:  new
       Priority:  major                           |    Milestone:  sage-6.2
      Component:  combinatorics                   |   Resolution:
       Keywords:  combinat, Tamari, binary trees  |    Merged in:
        Authors:  Viviane Pons                    |    Reviewers:
Report Upstream:  N/A                             |  Work issues:
         Branch:                                  |       Commit:
   Dependencies:                                  |     Stopgaps:
--------------------------------------------------+------------------------

Comment (by stumpc5):

 What is wrong with returning the same object for the following reason:

 The tree
 {{{
     y
    / \
   x​   C
  / \
 A   B
 }}}
 is mapped to
 {{{
     x
    / \
   A   y
      / \
     B   C
 }}}
 for nodes x and y and trees A,B,C. Now suppose that x doesn't exist and
 that A,B are empty. Then both pictures become
 {{{
  y
   \
    C
 }}}
 This tree can thus be though of being fixed by the map.

--
Ticket URL: <http://trac.sagemath.org/ticket/16264#comment:4>
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/d/optout.

Reply via email to