The dimension of a normal toric variety equals the dimension of its dense algebraic torus. In this package, the fan associated to a normal
d-dimensional toric variety lies in the rational vector space
ℚd with underlying lattice
N = ℤd. Hence, the dimension equals the number of entries in a minimal nonzero lattice point on a ray.
The following examples illustrate normal toric varieties of various dimensions.
dim projectiveSpace 1 |
dim projectiveSpace 5 |
dim hirzebruchSurface 7 |
dim weightedProjectiveSpace {1,2,2,3,4} |
W = normalToricVariety({{4,-1,0},{0,1,0}},{{0,1}}) |
dim W |
isDegenerate W |