Projective toric varieties

Projective toric varieties: Examples

P1xP1 created by a polytope <#Include Label="P1P1_polytope">

P1xP1 from product of P1s <#Include Label="P1P1_product">

The GAP category true or false The GAP category of a projective toric variety.
Attribute a polytope Returns the polytope corresponding to the projective toric variety vari, if it exists. a cone Returns the affine cone of the projective toric variety vari. a list Returns characters for a closed embedding in an projective space for the projective toric variety vari.
Properties true or false Checks if the given toric variety vari is a projective space. true or false Checks if the given toric variety vari is a direct product of projective spaces.
Methods a polytope Returns the polytope of the variety vari. Another name for PolytopeOfVariety for compatibility and shortness. an ample divisor Given a projective toric variety vari constructed from a polytope, this method computes the toric divisor associated to this polytope. By general theory (see Cox-Schenk-Little) this divisor is known to be ample. Thus this method computes an ample divisor on the given toric variety.
Constructors The constructors are the same as for toric varieties. Calling them with a polytope will result in a projective variety.