Hi there,

I just created a poset using the new category. It seems to work except for

    sage: TestSuite(poset).run()
    [...]
    AssertionError: Not implemented method: antichains
    ------------------------------------------------------------
    The following tests failed: _test_not_implemented_methods

Do we really want to have antichain a mandatory abstract method ?


Also, the poset in question is the poset of Dyck words ordered by height of
the path. That is dw1 is smaller than dw2 if the path associated to dw1 is
always below the path associated to dw2. Do we want this to be the default
ordering for dyck words ? If not, I'm looking for a good name for this
poset. With my current patch it is accessible by

    sage: poset = DyckWords().HeightPoset()
    sage: poset.le(DyckWord([]), DyckWord([]))
    True
    sage: poset.le(DyckWord([1,0]), DyckWord([1,0]))
    True
    sage: poset.le(DyckWord([1,0,1,0]), DyckWord([1,1,0,0]))
    True
    sage: poset.le(DyckWord([1,1,0,0]), DyckWord([1,0,1,0]))
    False

Any better suggestion is mostly welcome.

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 sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.

Reply via email to