Thanks to both. I'll experiment with this. There's currently a
ticket already marked Positive Review on this interface (#10256) but
since that will have missed the 7.5 release it might make sense to add
to that ticket. Not sure.
John
On 9 January 2017 at 15:45, David Roe wrote:
> Python has a
Python has a __dealloc__ method, which is called when the object is garbage
collected. You can find examples by search_src.
On Jan 9, 2017 09:52, "John Cremona" wrote:
> In a reply to question 36225 at
> https://ask.sagemath.org/question/36225/memory-leak-with-modular-symbols/
> (my reply was de
