#  Copyright (c) 1997-2007
#  Ewgenij Gawrilow, Michael Joswig (Technische Universitaet Berlin, Germany)
#  http://www.math.tu-berlin.de/polymake,  mailto:polymake@math.tu-berlin.de
#
#  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.
#-----------------------------------------------------------------------------
#  $Project: polymake $$Id: main.rules 7586 2007-01-23 17:51:31Z gawrilow $


# topic: application
# This is the historically first application, and the largest one.
#
# It deals with convex pointed polyhedra.  It allows to define a polyhedron either as a convex hull of a point set, an intersection of
# halfspaces, or as an incidence matrix without any embedding.  Then you can ask for a plenty of its (especially combinatorial)
# properties,  construct new polyhedra by modifying it,  or study the behavior of the objective functions.
#
# There is a wide range of visualization methods for polyhedra, even for dimensions > 4 and purely combinatorial descriptions,
# including interfaces to interactive geometry viewers (such as @see external.JavaView or @see external.geomview), generating
# PostScript drawings and povray scene files.


USE
  common graph

file_suffix poly

# A bounded or unbounded pointed polyhedron.
# Note that a pointed polyhedron is projectively equivalent to a polytope.
object Polytope

# these rules are intrinsic: they don't depend on any external software to be installed separately
INCLUDE
  common.rules
  lp.rules
  rational.rules
  float.rules
  construction.rules
  visual.rules
  schlegel.rules
  visual_graph.rules
  gale.rules
  steiner.rules
  voronoi.rules
  tight_span.rules
  propagated_polytope.rules
  framework.rules


# self-configuring rules
INCLUDE
  comparing.rules
  topcom.rules
  postscript.rules
  javaview.rules
  geomview.rules
  splitstree.rules
  jreality.rules
  povray.rules
  azove.rules

default_object RationalPolytope


# Local Variables:
# mode: perl
# c-basic-offset:3
# End: