Polyhedral Computation Interface
-
Updated
Nov 14, 2024 - Julia
Polyhedral Computation Interface
Practical volume computation and sampling in high dimensions
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
Verimag Polyhedra Library
A Julia library for polyhedral computations
Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
Operations on Polyhedra (simple layer on PPL)
Expansion of the Chaikin Algorithm to polyhedra (3D).
A package for computing fast tropical intersections
The Julia distribution of the POlyhedron Representation Transformation Algorithm (PORTA).
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)
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.
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."