sci-libs / cddlib

C library implementing the Double Description Method

Official package sites : https://www.inf.ethz.ch/personal/fukudak/cdd_home/ ·

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.

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

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

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

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

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