Release notes from cddlib

0.94n

2025-09-11T15:07:57Z

Added:

Parameter names in function declarations.

Fixed:

Fix potential dd_MatrixCanonicalize segfault.
The cddlib.pc file now has correct linkage to cddlib (the non-gmp version).
To link against the gmp version, you can use the new cddgmp.pc file.
For instance::

pkg-config cddlib --cflags --libs

will fetch all compiler and link flags for the non-gmp version of cddlib,
and::

pkg-config cddgmp --cflags --libs

will get them for the gmp version of cddlib.
Copy certificate and handle errors correctly in dd_SRedundant
for the V-representation code path
cddlib is now thread-safe. We protect static variables with _Thread_local directives in the implementation, as provided by the C11 standard of the C language and supported by all supported recent compilers without adding any extra flags.

0.94m

2020-12-08T14:43:52Z

Fixed:

Fix and error, where a non-redundant linearity could be considered redundant.
Fix an optimization error in ViaShooting code so that the linear programs are now much smaller.
Fixed memory leaks in the redundancy code.
Updated version number in dd_DDVERSION define.

0.94l

2020-09-19T22:04:37Z

Fixed:

extern C block in cdd.h header for C++ (thanks to @jengelh)

0.94k

2020-09-15T16:02:36Z

header files are now installed to PREFIX/include/cddlib to avoid clashes
with other libraries.
configuration file for pkg-config added: assuming cddlib installed in
known to pkg-config, "pkg-config --cflags cddlib" etc will
work. (Otherwise, one would need PKG_CONFIG_PATH=/lib/pkgconfig).

0.94j

2018-06-21T14:14:28Z

modernized autotooling
mirrored code on GitHub
introduced cddexec as a replacement of cdd_both_reps that many distributions packaged
made randomization portable
fix representation type in dd_MatrixAppendTo

Version 0.94

2018-04-22T20:24:08Z

dd_MatrixCanonicalize has been added. This reduces matrix M to a minimal
representation by computing all implicit linearity rows and all redundant rows.
It applies lexicographic sorting of rows to remove duplicates before applying
redundancy removal. This function combines the two computations together in
more efficient manner than before. See the new redcheck.c for its use. Several
basic operations for matrices have been added, such as dd_MatrixRowsRemove and
dd_MatrixRowsRemove2.

The representation conversion dd_DDMatrix2Poly now handles the empty
H-polyhedra properly, by calling an LP-based emptiness checker before running
the double description algorithm.

New functions finding specific points in H-polyhedra are added.
dd_ExistsRestrictedFace is a general inequality system solver with specified
equations, inequalities and strict inequalities. dd_FindRelativeInterior finds
a point in the relative interior of a polyhedron.

Imported in Apr 2018 from cddlib-094.tar.gz released Aug 24, 2005.

Some preceding versions had no released tarball available in Apr 2018:

Version 0.93d (Feb 27, 2005)

The problem of outputting the running log has been corrected. This problem and
a solution was communicated by Charles Geyer. Now, a new global dd_boolean
variable dd_log (= dd_FALSE by default) controls log output. An scdd/lcdd bug
of terminating with segmentation fault when an input polyhedron is numerically
delicate has been corrected. This bug was reported by Stefan Volkwein.

Version 0.93c (Dec 26, 2003)

A bug of Phase I of the dual simplex method in floating-point arithmetics is
fixed. The problem (bus error) occurred when input data is not appropriate for
floating-point arithmetics. The problem occurrs even for the GMP executables as
the exact LP solver first tries to detect the terminal basis with float-point
arithmetics.

Version 0.93b (Nov 10, 2003)

The nonterminating problem of the LP solver has been fixed. This was due to a
cycling of the criss-cross method in floating-point arithmetics, that is
extremely rare. Also, the phase I of the dual simplex method has been modified.
The auxiliary LP is perhaps less likely to be degenerate.

Version 0.94i

2018-04-22T20:25:02Z

The missing definition of dd_set_d function in the case of -DGMPRATIONAL flag
is used. The only change is in cddmp.h. The use of this function is explained
in testcdd2.c program. This function is useful when input is mostly float
(real). Even such a case, running on the rational exact arithmetic might be
helpful to debug the floating point computation.

Imported in Apr 2018 from cddlib-094i.tar.gz released Mar 9, 2018.

Version 0.94h

2018-04-22T20:25:02Z

Thanks to Mathieu Dutour, one minor bug has been fixed.

Imported in Apr 2018 from cddlib-094h.tar.gz released Apr 30, 2015.

Version 0.94g

2018-04-22T20:25:01Z

Thanks to both Anders Jensen and Mathieu Dutour a few memory leaks in cddlib.c
and cddlp.c have been fixed. Also, some patches sent by Jerry James have been
applied. These were for making the library shared and more compatible for C++
compilers.

Imported in Apr 2018 from cddlib-094g.tar.gz released Mar 23, 2012.

Version 0.94f

2018-04-22T20:25:01Z

Thanks to Sven Verdoolaege's fixes, the "configure" script now uses "gcc" as
the default compiler, rather than "g++" in earlier releases, and the libraries
can be linked properly with both C and C++ programs.

Imported in Apr 2018 from cddlib-094f.tar.gz released Feb 7, 2008.