#14711: Memleak when creating QuadraticField
-------------------------------------+-------------------------------------
       Reporter:  jpflori            |        Owner:  davidloeffler
           Type:  defect             |       Status:  needs_review
       Priority:  critical           |    Milestone:  sage-5.13
      Component:  number fields      |   Resolution:
       Keywords:  memleak, number    |    Merged in:
  field, QuadraticField              |    Reviewers:
        Authors:  Simon King         |  Work issues:  Provide copy of
Report Upstream:  N/A                |  composed maps
         Branch:                     |       Commit:
  u/SimonKing/ticket/14711           |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by SimonKing):

 * status:  new => needs_review


Comment:

 Done, and now I'd say it can be reviewed. With the latest commit, one can
 do
 {{{
 sage: phi = QQ['x'].coerce_map_from(ZZ)
 sage: phi.domain
 <weakref at 0xa225284; to 'sage.rings.integer_ring.IntegerRing_class' at
 0x96ddd3c (EuclideanDomains.parent_class)>
 sage: type(phi)
 <type 'sage.categories.map.FormalCompositeMap'>
 sage: psi = copy(phi)
 sage: psi
 Composite map:
   From: Integer Ring
   To:   Univariate Polynomial Ring in x over Rational Field
   Defn:   Natural morphism:
           From: Integer Ring
           To:   Rational Field
         then
           Polynomial base injection morphism:
           From: Rational Field
           To:   Univariate Polynomial Ring in x over Rational Field
 sage: psi(3)
 3
 sage: psi.domain
 The constant function (...) -> Integer Ring
 }}}
 which required implementing `__copy__` for polynomial basering injections
 and formal composite maps.

 If you want me to make weakened coercion maps print as a big warning, then
 I could of course do so, but will only do if you ask.

--
Ticket URL: <http://trac.sagemath.org/ticket/14711#comment:87>
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/groups/opt_out.

Reply via email to