next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SegreClasses :: makeChowRing

makeChowRing -- Makes the Chow ring of a product of projective spaces.

Synopsis

Description

Builds the Chow ring Z[H1,...,Hm]/(H1n1+1,...,Hmnm+1) of ℙn1x...xℙnm.

i1 : R = makeProductRing({3,4})

o1 = R

o1 : PolynomialRing
i2 : R = makeChowRing(R)

o2 = R

o2 : QuotientRing
i3 : describe R

     ZZ[H , H ]
         1   2
o3 = ----------
        4   5
      (H , H )
        1   2

Ways to use makeChowRing :