ring X
The total coordinate ring, which is also known as the Cox ring, of a normal toric variety is a polynomial ring in which the variables correspond to the rays in the fan. The map from the group of torus-invariant Weil divisors to the class group endows this ring with a grading by the class group. For more information, see Subsection 5.2 in Cox-Little-Schenck's Toric Varieties.
The total coordinate ring for projective space is the standard graded polynomial ring.
|
|
|
|
|
|
|
For a product of projective spaces, the total coordinate ring has a bigrading.
|
|
|
A Hirzebruch surface also has a $\ZZ^2$-grading.
|
|
|
To avoid duplicate computations, the attribute is cached in the normal toric variety. The variety is also cached in the ring.
The total coordinate ring is not yet implemented when the toric variety is degenerate, and is experimental when the class group has torsion.