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

## Synopsis

• Usage:
makeChowRing(R)
makeChowRing(R,h)
• Inputs:
• n, a list, a multi-graded coordinate ring of \PP^{n_1}x...x\PP^{n_m}.
• h, , the symbol to be used as the variable in the Chow ring
• Outputs:
• , the Chow ring of \PP^{n_1}x...x\PP^{n_m}.

## Description

Builds the Chow ring Z[H_1,...,H_m]/(H_1^{n_1+1},...,H_m^{n_m+1}) of \PP^{n_1}x...x\PP^{n_m}.

 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 :

• "makeChowRing(Ring)"
• "makeChowRing(Ring,Symbol)"

## For the programmer

The object makeChowRing is .