#  Copyright (c) 1997-2004
#  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: float.rules 7576 2007-01-20 11:11:07Z joswig $

# A pointed polyhedron realized in `R^d`.
#
# Convex hull and related algorithms use floating-point arithmetics.
# Due to numerical errors inherent to this kind of computations, the resulting
# combinatorial description can be arbitrarily far away from the truth, or even
# not correspond to any valid polytope.  You have been warned.
#
# None of the standard construction clients produces objects of this type.
# If you want to get one, create it with the explicit constructor or "re-bless"
# an existing RationalPolytope object; the coordinates stored in it don't need
# to be converted.

object FloatPolytope : Polytope

# Threshold for zero test for scalar products (e.g. vertex * facet normal)
property EPSILON
$type="scalar";

#
# convex hull methods
#

cdd.convex_hull.primal: FACETS, AFFINE_HULL : VERTICES | POINTS
WEIGHT 4.10
   client("cdd_ch_float_client", $this, "-primal");

cdd.convex_hull.dual: VERTICES, POINTED, FEASIBLE : FACETS | INEQUALITIES
WEIGHT 4.10
   client("cdd_ch_float_client", $this, "-dual");


# intrinsic rules
INCLUDE
  lp_float.rules

# self-configuring rules
INCLUDE
  vinci.rules
  qhull.rules


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