vertexenum-1.0.0.0: src/Geometry/VertexEnum.hs
{-|
Module : Geometry.VertexEnum
Description : Vertex enumeration of convex polytopes.
Copyright : (c) Stéphane Laurent, 2023-2024
License : GPL-3
Maintainer : laurent_step@outlook.fr
Enumeration of the vertices of a convex polytope given by linear
inequalities. See README for an example.
-}
module Geometry.VertexEnum
( module X )
where
import Geometry.VertexEnum.Constraint as X ( Constraint (..)
, Sense (..)
, (.>=.), (.<=.), (.>=), (.<=)
)
import Geometry.VertexEnum.LinearCombination as X ( VarIndex
, LinearCombination (..)
, Var
, newVar
, linearCombination
, constant
, cst )
import Geometry.VertexEnum.VertexEnum as X ( vertexenum
, checkConstraints
, interiorPoint )