Changes between Initial Version and Version 1 of Ticket #14498, comment 31


Ignore:
Timestamp:
11/08/13 23:31:29 (6 years ago)
Author:
darij
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14498, comment 31

    initial v1  
    77Things that remain to be done:
    88
    9 * Frederic suggested on #14564 that the docstring for {{{is_full}}} is wrong, but I don't understand in what way.\\
    109* {{{BinaryTree()}}} is a functioning shortcut for {{{BinaryTree(None)}}}, but {{{LabelledBinaryTree()}}} is not a functioning shortcut for {{{LabelledBinaryTree(None)}}}. Should this be fixed? Using init_extra?\\
    1110* It is not obvious to me that the {{{tamari_succ}}} and {{{tamari_prec}}} methods actually compute the successors resp. predecessors in the Tamari order. Is there a proof somewhere in the literature? It's clear that every successor of a tree t in the Tamari poset is obtained by a right rotation, but is it clear that every right rotate is actually a successor?\\