Opened 6 years ago

Last modified 3 months ago

#18222 new enhancement

provide <=, <, >=, > for poset elements by the category

Reported by: dkrenn Owned by:
Priority: major Milestone: sage-9.3
Component: categories Keywords: sd67
Cc: jmantysalo Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #10130 Stopgaps:

Description (last modified by dkrenn)

Do what is said in sage.categories.posets

        # TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved
        # def __le__(self, other):
        #     r"""
        #     Return whether ``self`` is smaller or equal to ``other``
        #     in the poset.
        #     EXAMPLES::
        #         sage: P = Posets().example(); P
        #         An example of poset: sets ordered by inclusion
        #         sage: x = P(Set([1,3])); y = P(Set([1,2,3]))
        #         sage: x.__le__(y)
        #         sage: x <= y
        #     """
        #     return self.parent().le(self, other)

Remove hack introduced in #18223 (method __init_extra__).

Change History (6)

comment:1 Changed 6 years ago by dkrenn

  • Type changed from defect to enhancement

comment:2 Changed 6 years ago by dkrenn

  • Description modified (diff)

comment:3 Changed 6 years ago by jmantysalo

  • Cc jmantysalo added

comment:4 Changed 6 years ago by vdelecroix

Did you have a look at #17890 (and #18305)? You might want to depend on those.

comment:5 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-6.7 to sage-9.2

comment:6 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3
Note: See TracTickets for help on using tickets.