tropical-geometry-0.0.0.1: A Tropical Geometry package for Haskell

Safe HaskellNone
LanguageHaskell2010

Geometry.Polytope

Synopsis

Documentation

projectionToR2 :: ConvexHull -> [[Point2D]] Source #

Computes the projection R^3 -> R^2 of a convexhull. The input is a convexhull in R^3 and the output will regular subdivision of the convexhull in R^2

delete' :: [Point2D] -> [[Point2D]] -> [[Point2D]] Source #