#5275: One-by-one declaration of morphisms to the coercion mechanism
----------------------+-----------------------------------------------------
Reporter: nthiery | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone:
Component: coercion | Keywords:
----------------------+-----------------------------------------------------
Would it be possible to add the following functionality (with whatever
appropriate syntax):
declare_conversion(source, target, morphism)
which would add the morphism from source to target to the conversion
list (and probably similarly for coercions). Having some restrictions
on it (like making sure it's called before any coercion/conversion is
attempted) is no problem.
This functionality will make it possible for each category to
automatically declare the relevant morphisms, independently of the other
categories (like if A is in Algebras(K), then this category will
declare the morphism from K to A).
Thanks in advance!
Nicolas
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5275>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
