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}.

Description

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