Computes the graded coordinate ring of the ℙn1 x.... x ℙnm where n1,...,nm is the input list of dimensions. This method is used to quickly build the coordinate ring of a product of projective spaces for use in computations.
S=MultiProjCoordRing(QQ,symbol z,{1,3,3}) |
degrees S |
R=MultiProjCoordRing {2,3} |
coefficientRing R |
describe R |
A=ChowRing R |
describe A |
Segre(A,ideal random({1,1},R)) |