#11935: Make parent/element classes independent of base rings
---------------------------+------------------------------------------------
Reporter: SimonKing | Owner: nthiery
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.7.3
Component: categories | Keywords: parent class, element class,
category
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies: #11900
---------------------------+------------------------------------------------
Changes (by newvalueoldvalue):
* status: new => needs_review
* author: => Simon King
Comment:
The patch that I just attached implements approach 2., hence, it uses the
default pickling of dynamic classes. By consequence, the parent class of a
category C will only depend on `C.ParentMethods` and on the parent classes
of the super categories of C, but it will only depend on the base ring of
C if the base ring changes the super categories (which holds for algebras,
e.g.).
Note the effect on the computation time for elliptic curves. With
sage-4.7.2.alpha3 plus #11900, we have
{{{
sage: %time L = EllipticCurve('960d1').prove_BSD()
CPU times: user 3.97 s, sys: 0.07 s, total: 4.04 s
Wall time: 4.18 s
}}}
but with the new patch on top of it, we have
{{{
sage: %time L = EllipticCurve('960d1').prove_BSD()
CPU times: user 3.11 s, sys: 0.06 s, total: 3.17 s
Wall time: 3.31 s
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11935#comment:6>
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.
