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 )
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
- Type changed from defect to enhancement
comment:2 Changed 6 years ago by
- Description modified (diff)
comment:3 Changed 6 years ago by
- Cc jmantysalo added
comment:4 Changed 6 years ago by
comment:5 Changed 4 months ago by
- Milestone changed from sage-6.7 to sage-9.2
comment:6 Changed 3 months ago by
- Milestone changed from sage-9.2 to sage-9.3
Note: See
TracTickets for help on using
tickets.
Did you have a look at #17890 (and #18305)? You might want to depend on those.