Computational geometry
This package converts back and forth between two representations of a convex polytope: as solution of a set of linear equalities and inequalities and as convex hull of set of points and rays. Also does linear programming and redundant generator elimination. All functions can use exact infinite-precision rational arithmetic.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/mvn5lhm66980jg371dnhklx05rrzx7r9-r-rcdd-1.2-2.drv | ||
| mips64el-linux | /gnu/store/jdw0rpzd20y1laqvjjcdrys8n7i8qfgk-r-rcdd-1.2-2.drv | ||
| i686-linux | /gnu/store/rml0gls2m5xj04n7h3r6l4f4swprg0ms-r-rcdd-1.2-2.drv | ||
| i586-gnu | /gnu/store/ws6da6avfvd5frx4dwfbqfcikpmz2ci2-r-rcdd-1.2-2.drv | ||
| armhf-linux | /gnu/store/ixkyh84k4crpkva12dx2a0p9rfhxz3yg-r-rcdd-1.2-2.drv | ||
| aarch64-linux | /gnu/store/1xiz0gxcxglk1axayy8h498xl0fb4y90-r-rcdd-1.2-2.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||