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 |
The object makeChowRing is a method function.