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, a symbol, the symbol to be used as the variable in the Chow ring
Outputs:
- a quotient ring, the Chow ring of \PP^{n_1}x...x\PP^{n_m}.

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