#  Copyright (c) 1997-2021
#  Ewgenij Gawrilow, Michael Joswig, and the polymake team
#  Technische Universität Berlin, Germany
#  https://polymake.org
#
#  This program is free software; you can redistribute it and/or modify it
#  under the terms of the GNU General Public License as published by the
#  Free Software Foundation; either version 2, or (at your option) any
#  later version: http://www.gnu.org/licenses/gpl.txt.
#
#  This program is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
#  GNU General Public License for more details.
#-------------------------------------------------------------------------------

IMPORT fan graph ideal

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


HELP help.rules

# A normal toric variety given by a fan.
declare object NormalToricVariety : PolyhedralFan<Rational>; 

# An affine normal toric variety given by a two-dimensional cone in
# two-dimensional space.
declare object CyclicQuotient : NormalToricVariety;

INCLUDE
   toric_divisor_properties.rules
   toric_variety_properties.rules
   toric_divisor.rules
   toric_variety.rules
   affine_toric_variety.rules
   cyclic_quotient_properties.rules
   cyclic_quotient.rules
   standard_constructions.rules
   toric_divisor_classes.rules


# Local Variables:
# mode: perl
# cperl-indent-level: 3
# indent-tabs-mode:nil
# End:
