next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc :: variety(Ideal)

variety(Ideal) -- the closed projective subvariety defined by an ideal

Synopsis

Description

In the example, we compute the dimension of a line in the projective plane.
i1 : R = QQ[x..z]

o1 = R

o1 : PolynomialRing
i2 : variety ideal x

          R
o2 = Proj(-)
          x

o2 : ProjectiveVariety
i3 : dim oo

o3 = 1

Caveat

An alternative task for this function would be to define the affine subvariety, so if something like this eventually becomes useful, we may have to redesign it. Suggestions welcome.