#7421: Weaker precondition for registering a new coercion.
-------------------------------+--------------------------------------------
Reporter: nthiery | Owner: robertwb
Type: enhancement | Status: new
Priority: blocker | Milestone: sage-4.2.1
Component: coercion | Keywords: coercion
Work_issues: | Author: Nicolas M. Thiéry
Reviewer: Robert Bradshaw | Merged:
-------------------------------+--------------------------------------------
With the attached patch, the precondition for registering a new
coercion from P to Q with register_coercion becomes:
"no over coercion from P to Q has been registered or discovered earlier"
Which is a bit weaker than the previous:
"no coercion into P has been queried"
This should still be quite safe, while covering all the formerly
problematic practical use cases coming up in the category code #5981.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7421>
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
-~----------~----~----~----~------~----~------~--~---
