#14711: Weak references in the coercion graph
-------------------------------------+-------------------------------------
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:
Report Upstream: N/A | Commit:
Branch: | 364b9856b28d7060e3ea9825144de66c8f11ca2a
u/SimonKing/ticket/14711 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by SimonKing):
Replying to [comment:134 nbruin]:
> {{{
> {{{
> A.register_coercion(BtoA)
> A.register_embedding(AtoC)
>
> C.coerce_map_from(A) #finds the right map
> A.coerce_map_from(B) #finds the right map
> C.coerce_map_from(B) #returns none!
> }}}
''IF'' this is a bug then it should be dealt with on a new ticket. Note,
however, that `C` can not know about the embedding of `A` into `C`, and
not even about the mere existence of `A`. So, how could it possibly be
aware of a coercion from `B` to `C` via `A`? Hence, I am not sure if this
qualifies as a bug or as a misuse.
> This wasn't such a problem before, but since we are now tying lifetime
implications to how a coercion is registered, I think it now becomes
apparent.
I don't quite follow this argument. Anyway, I should now do some more
project related work, namely #12630,
--
Ticket URL: <http://trac.sagemath.org/ticket/14711#comment:135>
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.
