from application fulton
A T-invariant divisor on a normal toric variety.
Properties from algebraic geometry.
AMPLETrue if the divisor is ample.
BASEPOINT_FREETrue if the divisor is basepoint-free.
CARTIERTrue if the divisor is Cartier.
EFFECTIVETrue if the divisor is effective.
INTEGRALTrue if the divisor is integral.
NEFTrue if the divisor is nef.
PRINCIPALTrue if the divisor is principal.
Q_CARTIER
A divisor is Q-Cartier if some multiple of it is CARTIER.
SEMIAMPLETrue if the divisor is semiample.
These properties capture combinatorial information of the object. Combinatorial properties only depend on combinatorial data of the object like, e.g., the face lattice.
CARTIER_DATA
Contains the Cartier data of the divisor if it is CARTIER, i.e., contains a list of vertices of the lattice polytope defined by the divisor and the variety. The vertices appear in the same order as the maximal cones of the fan.
COEFFICIENTSThe divisor on a toric variety, given as a list of coefficients for the torus invariant divisors corresponding to the RAYS of the fan. Take care of labeling of the Rays.
SECTION_POLYTOPEThe polytope whose lattice points correspond to the global sections of the divisor.