This method finds the class [V(f)] of the hypersurface V(f) where f is a polynomial in the graded coordinate ring of ℙn1 x...xℙn1. The class [V(f)] is an element of the Chow ring of ℙn1 x...xℙn1. Consider ℙ3xℙ4xℙ1
i1 : R=MultiProjCoordRing({3,4,1}) o1 = R o1 : PolynomialRing |
i2 : A=ChowRing(R) o2 = A o2 : QuotientRing |
i3 : f=random({1,1,1},R); |
i4 : ClassInChowRing(A,f) o4 = h + h + h 1 2 3 o4 : A |