#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 | Merged in:
trees, FindStat | Reviewers:
Authors: Viviane Pons | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by stumpc5):
Replying to [comment:7 darij]:
> If it is implemented, how do we easily tell if something has been done
to the tree?
Indeed, then the map would loose to be injective.
An alternative option would be to extend the domain and the codomain to
all of the binary trees such that the map keeps being injective (and then
a bijection on binary trees, not only a map from those having a left child
bijectively onto those having a right child). To achieve this, one could
possibly reflect the tree horizontally.
What do you think about that?
--
Ticket URL: <http://trac.sagemath.org/ticket/16264#comment:8>
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.
