makeSimplicial X
A normal toric variety is simplicial if every cone in its fan is simplicial and a cone is simplicial if its minimal generators are linearly independent over $\QQ$. In fact, the following conditions on a normal toric variety $X$ are equivalent:
For more information, see Proposition 4.2.7 in Cox-Little-Schenck's Toric Varieties.
Given a normal toric variety, this method makes a simplicial toric variety with the same rays by triangulating the non-simplicial maximal cones. For the 0 strategy, the triangulation is constructed by repeated regular subdivisions using random integral weight vectors. For the 1 strategy, the triangulation is constructed by repeated pushing subdivisions (i.e. toricBlowups at a given ray).
|
|
|
|
|
|
|
|
|
|
|
|
If the initial toric variety is simplicial, then this method simply returns it.
|
|
|
|