Changeset 8421:a814bd4af102

Timestamp:

11/11/07 13:53:35 (6 years ago)

Author:

David Roe <roed@…>

Branch:

default

Message:

Small changes to sage.rings.morphism

Location:

sage/rings

Files:

• morphism.pxd (modified) (2 diffs)
• morphism.pyx (modified) (1 diff)

sage/rings/morphism.pxd

@@ +1 @@
+
 from sage.structure.element cimport Element
 from sage.categories.morphism cimport Morphism
@@ -17 +18 @@
     cdef _extra_slots(self, _slots)
 
-cdef class RingHomomorphism_coerce(RingHomomorphism):
+cdef class RingHomomorphism_coercion(RingHomomorphism):
     cdef Element _call_c_impl(self, Element x)
 

sage/rings/morphism.pyx

@@ -508 +508 @@
 
 cdef class RingHomomorphism_coercion(RingHomomorphism):
-    def __init__(self, parent):
+    def __init__(self, parent, check = True):
         RingHomomorphism.__init__(self, parent)
-        if not self.codomain().has_coerce_map_from(self.domain()):
+        # putting in check allows us to define subclasses of RingHomomorphism_coercion that implement _coerce_map_from
+        if check and not self.codomain().has_coerce_map_from(self.domain()):
             raise TypeError, "Natural coercion morphism from %s to %s not defined."%(self.domain(), self.codomain())