Summary
The C-library cddlib is a C implementation of the Double Description Method of Motzkin et al. for generating all vertices (i.e. extreme points) and extreme rays of a general convex polyhedron in R^d given by a system of linear inequalities: P = { x=(x1, ..., xd)^T : b - A x >= 0 } where A is a given m x d real matrix, b is a given m-vector and 0 is the m-vector of all zeros. The program can be used for the reverse operation (i.e. convex hull computation). This means that one can move back and forth between an inequality representation and a generator (i.e. vertex and ray) representation of a polyhedron with cdd. Also, cdd can solve a linear programming problem, i.e. a problem of maximizing and minimizing a linear function over P.
Versions
v094m-r1 :: 0 :: gentoo
- Modified
- License
- GPL-2+
- Keywords
- amd64 ~amd64-linux ~arm ~ppc ~riscv ~x86 ~x86-linux
- USE flags
- doc examples static-libs tools
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- examples
- Install examples, usually source code
- static-libs
- Build static versions of dynamic libraries as well
- tools
- Add a few executables and tests for cddlib
Dependencies
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Runtime Dependencies
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Depending packages
sci-mathematics / gfan : Compute Groebner fans and tropical varieties
sci-mathematics / singular : Computer algebra system for polynomial computations
sci-mathematics / topcom : Computing Triangulations Of Point Configurations and Oriented Matroids
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-libs/cddlib: destabilize for ~x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/cddlib: hide spurious QA warning about pkg-config.
Closes: https://bugs.gentoo.org/862726 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Georgy Yakovlev · gentoo
sci-libs/cddlib: de-stabilize for ~ppc, bug #823768
Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org> - Alex Fan · gentoo
sci-libs/cddlib: keyword 094m-r1 for ~riscv
Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolic · gentoo
sci-libs/cddlib: Remove old 094j
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/cddlib: Stabilize 094m-r1 ppc, #792069
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-libs/cddlib: x86 stable wrt bug #792069
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Agostino Sarubbo · gentoo
sci-libs/cddlib: amd64 stable wrt bug #792069
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/cddlib: make MY_PV assignment more reliable.
François Bissey came up with a better way (using bash substrings) to compute MY_PV from PV in these ebuilds. It won't work forever, but it should be OK for a few more versions, and the failure mode is nicer than the present one of silently downloading the wrong version. Bug: https://bugs.gentoo.org/759520 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/cddlib: new 094m revision to install the correct version.
There's an internal variable in this ebuild that needs to be updated for every new version... and wasn't. Thanks to Jouni Kosonen who noticed the mistake. Closes: https://bugs.gentoo.org/759520 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/cddlib: new upstream version 0.94m.
This version moves the header files to a soon-to-be-standard location (so that Debian, Fedora, et cetera don't all have to move them) and is going to break some consumers as a result. For that reason, I opted not to package the previous version right away. This version, however, contains a critical bug fix as well. So users need the option to upgrade. Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/cddlib: remove old "unused" versions and files.
Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Agostino Sarubbo · gentoo
sci-libs/cddlib: x86 stable wrt bug #716360
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-libs/cddlib: ppc stable wrt bug #716360
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-libs/cddlib: amd64 stable wrt bug #716360
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
sci-libs/cddlib: [QA] inherit ltprune.eclass directly
Package-Manager: Portage-2.3.88, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/cddlib: new version 094j.
François Bissey had an ebuild for the latest version of this package in the sage-on-gentoo overlay, so I've imported it with minor changes: * Updated to EAPI=7 (no related changes). * Dropped the unused autotools.eclass inherit. * Changed GPL-2 to GPL-2+, since the files that do have copyright headers have the "or any later version" bit. * Dropped the DOCS declaration; they're all covered by einstalldocs. * Added IUSE=examples. * Reworked the documentation/example installation logic. The new autotools build system installs everything by default, so if the user doesn't want something, we have to kill it from $ED. I've also added the upstream remote to metadata.xml, and added myself and François as maintainers in the future. SageMath uses two cddlib executables only present as of this version, so it's a prerequisite for moving more of SageMath into the tree. Closes: https://bugs.gentoo.org/705218 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Sébastien Fabbro · gentoo
sci-libs/cddlib: version bump
Package-Manager: Portage-2.3.6, Repoman-2.3.3 - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - Markus Meier · gentoo
sci-libs/cddlib: add ~arm, bug #573324
Package-Manager: portage-2.2.27 RepoMan-Options: --include-arches="arm" - Agostino Sarubbo · gentoo
sci-libs/cddlib: ppc stable wrt bug #556418
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc" - Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed