#4241: magma -- memory is never freed in the interface when MagmaElement's are
deleted
------------------------+---------------------------------------------------
Reporter: was | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-3.1.3
Component: interfaces | Keywords:
------------------------+---------------------------------------------------
Observe:
{{{
sage: a = magma('10000')
sage: a.name()
'_sage_[1]'
sage: del a
sage: magma.eval('_sage_[1]')
'10000'
}}}
Whenever anybody ever creates a MagmaElement via the Magma interface, it
doesn't get deleted. This is because possible (1) the clear method in
magma.py is commented out, and/or (2) the _available_var list that gets
appended to in (1) isn't actually used by magma.py, so e.g., _sage_[1] in
the example above never gets re-used.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4241>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
