#  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
# <em>top</em>ology <em>a</em>pplication <em>z</em>oo deals with abstract simplicial complexes.
# A complex is given as a list of facets.  You can ask for its global properties (manifold recognition,
# homology groups, etc.),  explore the local vertex environment (stars, links, etc.),  and make a lot
# of constructions.
#
# The visualization means are constrained, as they are mostly based on the graph (1-skeleton) of a complex.
#
# author: Nikolaus Witte


USE common graph

file_suffix top

# An abstract simplicial complex represented by its facets.
object SimplicialComplex

# intrinsic rules
INCLUDE
   common.rules
   construction.rules
   visual.rules
   

# self-configuring rules
INCLUDE
   homology.rules
   comparing.rules

# these rules are interfaces to external software;
# lacking packages should be commented out
INCLUDE
   gap.rules


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