#20902: Move Parent.list() method to Sets category
-------------------------+-------------------------------------------------
Reporter: klee | Owner:
Type: | Status: needs_work
defect |
Priority: major | Milestone: sage-7.3
Component: | Resolution:
categories |
Keywords: | Merged in:
Authors: | Reviewers:
Kwankyu Lee |
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/klee/20902 | 6a36fa0c3c2c058c9dfb9dff74719174838c1a04
Dependencies: | Stopgaps:
-------------------------+-------------------------------------------------
Comment (by klee):
> Since it is possible to dynamically be a member of `EnumerableSets` or
not, how hard would it be to move the functions into there immediately? It
seems a bit wasteful to first make the move of this ticket, and then move
them again.
I thought before that it is a daunting task, if at all possible, to put
every enumerable parent into `EnumerableSets` category. Now I feel that
the task can at least be done to such an extent as to avoid doctest
failures.
>In `sets_cat.py` there's also a note on line 1368 that `cardinality` and
other functions are intentionally left out of `Sets` to be put in
subcategories. It seems a shame to put other functions into `Set` which
actually belong elsewhere.
I agree.
> About the default implementation of `__len__()`: perhaps it could check
whether `self` has a `cardinality` method, in which case it could return
that.
I will consider that while moving the methods again into `EnumerableSets`
category. For that, now the ticket is in "needs work" status :-)
--
Ticket URL: <https://trac.sagemath.org/ticket/20902#comment:10>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
