next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: dim(AffineVariety)

dim(AffineVariety) -- dimension of the affine variety

Synopsis

Description

Computes the dimension of the affine algebraic set V as the Krull dimension of its affine coordinate ring.
i1 : R = ZZ/101[x,y];
i2 : point = ideal(x,y);

o2 : Ideal of R
i3 : line = ideal(2*x+3*y-1);

o3 : Ideal of R
i4 : V=Spec(R/intersect(point,line))

o4 = V

o4 : AffineVariety
i5 : dim V

o5 = 1
i6 : Z=Spec(R/(point+line))

o6 = Z

o6 : AffineVariety
i7 : dim Z

o7 = -1

See also