#12216: Coercion to CC via _complex_mpfr_field_ can lead to infinite loop
------------------------+---------------------------------------------------
Reporter: mraum | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-4.8
Component: coercion | Keywords: CC, LazyWrapper
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
------------------------+---------------------------------------------------
I encountered this when working on #9439. Creating an element with parent
and providing the method _complex_mpfr_field_ for conversion into CC can
lead to an infinite loop, if said method returns a non-trivial element of
CC.
I couldn't find a minimal example, but as I said it occured when I worked
on #9439, where points in HH should be convertible into CC.
The reason seems to be that the coercion framework tries to use CLF first.
The application of the corresponding LazyWrapperMorphism leads to an
element of CLF, that then cannot be evaluated correctly, because .eval of
this elements calls CC._element_constructor_, which in turn calls .eval of
that element (via _complex_mpfr_field_ of this element).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12216>
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 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.
