Table of Contents

application fulton

This application deals with normal toric varieties as discussed in the famous book William Fulton: Introduction to toric varieties.

imports from:

uses:

Objects

Functions

Combinatorics

Combinatorial functions.


polytope_of_divisor_class

return the polytope defined by an element of the nef or effective cone first argument is the fan, second the Vector defining the divisor class


Commutative Algebra

These methods help with translating combinatorics to commutative algebra.


lower_lattice_points

Find all lattice points of a polytope P that are not reachable from some other lattice point via the tail cone.


Continued fractions

Two simple methods for switching between rational numbers and continued fractions.


cf2rational(Vector<Integer> v)

Compute the rational number corresponding to a continued fraction.

Parameters:
Returns:

rational2cf(Rational r)

Compute the continued fraction corresponding to a rational number r.

Parameters:
Returns:

Producing a normal toric variety

With these clients you can create a normal toric variety from various input data.


hirzebruch_surface(Integer r)

Takes one parameter r and returns the polyhedral fan corresponding the the Hirzebruch surface Hr.

Parameters:

Integer r: Parameter

Returns:

polarized_toric_variety(Polytope<Rational> P, String name)

Creates a toric variety from the normal fan of a polytope and adds the defining divisor of the polytope

Parameters:

Polytope<Rational> P: : the input polytope

String name: : a name for the divisor

Returns:

projective_space(Int d)

Takes one parameter d and returns the fan corresponding to the d-dimensional projective space.

Parameters:

Int d: Dimension

Returns: