def natural_map(self):
"""
Return the "natural map" of this homset.
.. NOTE::
By default, a formal coercion morphism is returned.
EXAMPLES::
sage: H = Hom(ZZ['t'],QQ['t'], CommutativeAdditiveGroups())
sage: H.natural_map()
Coercion morphism:
From: Univariate Polynomial Ring in t over Integer Ring
To: Univariate Polynomial Ring in t over Rational Field
sage: H = Hom(QQ['t'],GF(3)['t'])
sage: H.natural_map()
Traceback (most recent call last):
...
TypeError: Natural coercion morphism from Univariate Polynomial Ring in t over Rational Field to Univariate Polynomial Ring in t over Finite Field of size 3 not defined.
"""
return morphism.FormalCoercionMorphism(self) # good default in many cases
def natural_map(self):
return morphism.FormalCoercionMorphism(
self) # good default in many cases