isFano X
A normal toric variety is Fano if its anticanonical divisor, namely the sum of all the torus-invariant irreducible divisors, is ample. This is equivalent to saying that the polyhedron associated to the anticanonical divisor is a reflexive polytope.
Projective space is Fano.
|
|
|
|
|
There are eighteen smooth Fano toric threefolds.
|
There are also many singular Fano toric varieties.
|
|
|
|
|
|
To avoid duplicate computations, the attribute is cached in the normal toric variety.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/NormalToricVarieties/DivisorsDocumentation.m2:1947:0.