Module: sage.rings.homset
Module-level Functions
R, S) |
H) |
Class: RingHomset_generic
self, R, S) |
Functions: natural_map
Special Functions: __call__,
_repr_
self, im_gens, [check=True]) |
sage: H = Hom(Z,Q) sage: phi = H([]) Traceback (most recent call last): ... TypeError: images (=[]) do not define a valid homomorphism
Class: RingHomset_quo_ring
sage: R, (x,y) = PolynomialRing(Q, 2, 'xy').objgens() sage: S, (a,b) = (R/(x^2 + y^2)).objgens('ab') sage: phi = S.hom([b,a]); phi Ring endomorphism of Quotient of Polynomial Ring in x, y over Rational Field by the ideal (y^2 + x^2) Defn: a |--> b b |--> a sage: phi(a) b sage: phi(b) a
Special Functions: __call__
See About this document... for information on suggesting changes.