#14982: When a parent is equipped with an embedding, consider coercions that
don't
go through the embedding
-------------------------------------+-------------------------------------
Reporter: mmezzarobba | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: coercion | Resolution:
Keywords: embedding | Merged in:
Authors: Marc Mezzarobba | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mmezzarobba/14982-coerce_embeddings|
4b55415e1dd476e6010fb82b174d5fa455f963bd
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by SimonKing):
Replying to [comment:46 vdelecroix]:
> I am ;-(. Thanks for fixing it! I really do not like the loop here:
coercion needs an element, but the elements need to know coercion...
(certainly out of the scope of the ticket).
It used to be worse in the past. You want to multiply an element x of
parent P with an element y of parent Q. During multiplication, a coercion
relating P and Q is sought, which used to involve a call to
`P.an_element()` and `Q.an_element()`. But for some parents, this was not
implemented or (worse) itself relied on coercion.
Today, the fact is used that one already has elements of P and Q in the
situation above (namely x and y).
So, don't complain, as it could be worse `;-)`
--
Ticket URL: <http://trac.sagemath.org/ticket/14982#comment:47>
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.
