#11900: Serious regression caused by #9138
----------------------------------------------------------------------------------------+
Reporter: SimonKing
| Owner: tbd
Type: defect
| Status: needs_work
Priority: critical
| Milestone: sage-4.8
Component: performance
| Keywords: categories regression
Work_issues: Laurent series rings are fields. Add docs. Don't use is_ring and
friends | Upstream: N/A
Reviewer: Jeroen Demeyer, Nicolas M. Thiéry
| Author: Simon King
Merged:
| Dependencies: #9138 #11911
----------------------------------------------------------------------------------------+
Comment(by SimonKing):
It is frustrating. I thought it should all be fine by now, but no: Several
errors.
It used to work fine before I replaced the use of "is_...". So, now I am
wondering: Should one perhaps use a general mechanism for singletons
similar to what I do for fields?
That's to say, if one has a category "Category of <name>s", then it should
on the one hand provide a method "is_<name>" that constantly returns true,
and on the other hand the `__contains__` method should try whether some
"is_<name>" method exists for the parent, and act accordingly (thus,
refine the category of the parent if the parent turns out to be
commutative).
Just some random thoughts before leaving the office.. :(
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11900#comment:137>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
