isSmooth X
A normal toric variety is smooth if every cone in its fan is smooth and a cone is smooth if its minimal generators are linearly independent over $\ZZ$. In fact, the following conditions on a normal toric variety $X$ are equivalent:
For more information, see Proposition 4.2.6 in Cox-Little-Schenck's Toric Varieties.
Many of our favourite normal toric varieties are smooth.
|
|
|
|
|
|
|
|
|
|
However, not all normal toric varieties are smooth.
|
|
|
|
|
|
|
|
To avoid repeating a computation, the package caches the result in the CacheTable of the normal toric variety.