Hi Frédéric,
On Mon, Jul 04, 2011 at 06:23:00AM -0700, Frédéric Chapoton wrote:
> I have found the following bug. When one tries to replace a full tree
> by another tree, using the *empty path* as an adress, this does not
> work.
>
> sage: lt=LabelledOrderedTrees()
> sage: toto=lt([lt([lt([
I have found the following bug. When one tries to replace a full tree
by another tree, using the *empty path* as an adress, this does not
work.
sage: lt=LabelledOrderedTrees()
sage: toto=lt([lt([lt([],None)],None)],None)
sage: titi=lt([lt([],'a')],'a')
sage: toto[()]
None[None[None[]]]
sage: with