Ring homomorphisms from a polynomial ring to another ring¶
This module currently implements the canonical ring homomorphism from
to
induced by a ring homomorphism from
to
.
Todo
Implement homomorphisms from to an arbitrary ring
,
given by a ring homomorphism from
to
and the image of
in
.
AUTHORS:
- Peter Bruin (March 2014): initial version
-
class
sage.rings.polynomial.polynomial_ring_homomorphism.
PolynomialRingHomomorphism_from_base
¶ Bases:
sage.rings.morphism.RingHomomorphism_from_base
The canonical ring homomorphism from
to
induced by a ring homomorphism from
to
.
EXAMPLE:
sage: QQ['x'].coerce_map_from(ZZ['x']) Ring morphism: From: Univariate Polynomial Ring in x over Integer Ring To: Univariate Polynomial Ring in x over Rational Field Defn: Induced from base ring by Natural morphism: From: Integer Ring To: Rational Field