Toric morphisms

Toric morphisms: Examples

Morphism between toric varieties and their class groups <#Include Label="Morphism">

The GAP category true or false The GAP category of toric morphisms. A toric morphism is defined by a grid homomorphism, which is compatible with the fan structure of the two varieties.
Properties true or false Checks if the grid morphism morph respects the fan structure. true or false Checks if the defined morphism morph is proper.
Attributes a variety Returns the source object of the morphism morph. This attribute is a must have. a map Returns the grid map which defines morph. a variety Returns the variety which is created by the fan which is the image of the fan of the source of morph. This is not an image in the usual sense, but a toric image. a variety Returns the range of the morphism morph. If no range is given (yes, this is possible), the method returns the image. a morphism Returns the associated morphism between the divisor group of the range of morph and the divisor group of the source. a morphism Returns the associated morphism between the class groups of source and range of the morphism morph a morphism Returns the associated morphism between the Cartier divisor groups of source and range of the morphism morph a morphism Returns the associated morphism between the Picard groups of source and range of the morphism morph a variety Return the source of the toric morphism morph. a variety Returns the range of the toric morphism morph if specified.

Methods a list Returns a list of list which represents the grid homomorphism.
Constructors a morphism Returns the toric morphism with source vari which is represented by the matrix lis. The range is set to the image. a morphism Returns the toric morphism with source vari and range vari2 which is represented by the matrix lis.