#14058: Weakly reference binary operation codomains
-------------------------------------+-------------------------------------
       Reporter:  robertwb           |        Owner:  rlm
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.4
      Component:  memleak            |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Robert Bradshaw,   |    Reviewers:  Simon King
  Nils Bruin                         |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  64b572ccf6403be0c617d0e39de4b1e6cd5dbc58
  u/SimonKing/weakly_reference_binary_operation_codomains|     Stopgaps:
   Dependencies:  #12313             |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Robert Bradshaw, Nils Bruin', 'oldvalue': u'Robert 
Bradshaw'}):

 * status:  needs_work => needs_review
 * work_issues:  Fix doctests =>
 * author:  Robert Bradshaw => Robert Bradshaw, Nils Bruin


Comment:

 Sigh. #13448 is not fixed, as the following example shows.
 {{{
 sage: import gc
 sage: _ = gc.collect()
 sage: from sage.rings.polynomial.multi_polynomial_libsingular import
 MPolynomialRing_libsingular
 sage: from sage.libs.singular.groebner_strategy import GroebnerStrategy
 sage: n = len([x for x in gc.get_objects() if
 isinstance(x,MPolynomialRing_libsingular)])
 sage: P = MPolynomialRing_libsingular(GF(541), 2, ('x', 'y'),
 TermOrder('degrevlex', 2))
 sage: strat = GroebnerStrategy(Ideal([P.gen(0) + P.gen(1)]))
 sage: del strat
 sage: del P
 sage: _ = gc.collect()
 sage: n == len([x for x in gc.get_objects() if
 isinstance(x,MPolynomialRing_libsingular)])
 False
 }}}

 I'd suggest to proceed as follows. Provided that all tests pass, I can
 review Robert's and Nils' patches, someone else reviews my additions
 (which are the merging and the latest commit), and then we make this a
 dependency for #13447.

--
Ticket URL: <http://trac.sagemath.org/ticket/14058#comment:43>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to