The set of morphism between ChowRings¶
Space of ChowRing homomorphisms.
Derives from the space of quotient ring homomorphisms implement in \(sage.ring.homset.RingHomset_quo_ring\) in order to explicitly allow “no generators”, e.g. im_gens = [].
EXAMPLES:
sage: A.<h> = ChowRing('h', 1, 'h^3')
sage: B.<k> = ChowRing('k', 1, 'k^6')
sage: phi = B.hom([2*h], A); phi
Ring morphism:
From: Quotient of Multivariate Polynomial Ring in k over Rational Field by the ideal (k^6)
To: Quotient of Multivariate Polynomial Ring in h over Rational Field by the ideal (h^3)
Defn: k |--> 2*h
sage: phi(2)
2
sage: phi(k)
2*h
sage: A = ChowRing()
sage: f = A.hom([], A)
sage: f(1)
1
sage: B.<h> = ChowRing('h', 1, 'h^3')
sage: f = B.hom([0], A)
sage: f(h)
0
sage: f(3)
3
AUTHORS:
- Manfred Lehn (2013)
- Christoph Sorger (2013)
-
class
sage.schemes.chow.ring_homset.
ChowRingHomSet
(R, S, category=None)¶