Operations on Polyhedra (simple layer on PPL)
-
Updated
Sep 18, 2024 - OCaml
Operations on Polyhedra (simple layer on PPL)
Practical volume computation and sampling in high dimensions
Polyhedral Computation Interface
Examples of Shintani domains for complex quartic number fields. Moreover, we propose in the folder "Algorithm" an implementation to obtain Shintani domains in complex quartic fields (restriction: unit group without torsion)
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
A package for computing fast tropical intersections
Here we give an algorithm to determine Shintani domains for non-totally complex number fields from the signed fundamental domains given in the works of Diaz y Diaz, Espinoza and Friedman. We also present some explicit examples of Shintani domains.
Expansion of the Chaikin Algorithm to polyhedra (3D).
The Julia distribution of the POlyhedron Representation Transformation Algorithm (PORTA).
A Julia library for polyhedral computations
Verimag Polyhedra Library
Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
Add a description, image, and links to the polyhedral-computations topic page so that developers can more easily learn about it.
To associate your repository with the polyhedral-computations topic, visit your repo's landing page and select "manage topics."