#18222: provide <=, <, >=, > for poset elements by the category
-------------------------------+------------------------
Reporter: dkrenn | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.7
Component: categories | Resolution:
Keywords: sd67 | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #10130 | Stopgaps:
-------------------------------+------------------------
Description changed by dkrenn:
Old description:
> 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)
> }}}
New description:
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__`).
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18222#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
