Hi,
With Nathann, we just got the following behavior:
sage: p = Poset(((0,1,2),[(0,1),(0,2)]), facade=True)
sage: pp = p.relabel({0:0, 1:2, 2:1})
sage: p == pp
False
so relabeling by an automorphism doesn't return the same poset ! Note however
that:
sage: Poset(((0,1,2),[(0,1),(0,2)])) == Poset(((0,2,1),[(0,2),(0,1)]))
True
sage: Poset(((0,1,2),[(0,1),(0,2)]), facade=True) ==
Poset(((0,2,1),[(0,2),(0,1)]), facade=True)
True
So during construction Sage is able to recognize equal Posets. I'm not
sure how to deal with this and the following remark of the documentation:
.. note::
As can be seen in the above examples, the default linear
extension of ``Q`` is that of ``P`` after relabelling. In
particular, ``P`` and ``Q`` share the same internal Hasse
diagram.
Adding uniqueness and this means that all isomorphic posets must share the
same underlying hasse_diagram. I don't think this is a good idea.
So I'm not sure what to do here.
Cheers,
Florent
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
