next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: ring(MultiprojectiveVariety)

ring(MultiprojectiveVariety) -- the coordinate ring of the variety

Synopsis

Description

i1 : X = PP_QQ^({2,1},{1,3});

o1 : ProjectiveVariety, threefold in PP^2 x PP^3
i2 : ring X

                 QQ[x0 ..x0 , x1 ..x1 ]
                      0    2    0    3
o2 = ---------------------------------------------
        2                              2
     (x1  - x1 x1 , x1 x1  - x1 x1 , x1  - x1 x1 )
        2     1  3    1  2     0  3    1     0  2

o2 : QuotientRing

See also