#11521: Memleak when resolving the action of Integers on an Elliptic Curve
------------------------+---------------------------------------------------
Reporter: jpflori | Owner: robertwb
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.8
Component: coercion | Keywords: sd35
Work_issues: | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies: #11900 #715
------------------------+---------------------------------------------------
Comment(by SimonKing):
Replying to [comment:96 jpflori]:
> As I posted above in ZZ._action_hash equality is tested with "=="
(rather than identity with "is") so in the code of the ticket description
where only "one" curve is used, only one curve gets stored in
_action_hash.
Yes, but then I don't understand why there is no error: In some places,
the coercion model tests for identity, and raises a big fat "coercion BUG"
otherwise.
> The weakref domain and codomain in functors problem could be tackled by
adding an optional parameter for the use of weakref.
>
> By default, the behavior of functors would be as before with strong refs
(and the option to false).
>
> For the coercion models we would set the option to True and use weakref
whenever possible.
Again, I believe that it must not be up to the user: "Evidently" (for a
human), the different copies of E in the while loop can be garbage
collected. It is our job to hammer the "evidence" into Sage. We shouldn't
simply say "let the user decide" whether he wants a leak or a potential
disaster: I would call it a disaster if one has an action and suddenly its
codomain is gone.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11521#comment:97>
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.
