cddlib
cddlib copied to clipboard
cddlib
An efficient implementation of the Double Description Method
Sometimes the system does not have pdflatex installed. Therefore it is advisable to add option to skip the doc compilation.
I'm converting from an H-rep to a V-rep using `cddexec --rep` with version `0.94m`. The result seems to be missing vertices Here's an `.ine` file: ``` H-representation begin 12 3...
I'm installing a software(named lattE) with cddlib as a prerequisite, and after installing cddlib with the following code,  I was confronted with this error while configuration:  I'm new...
`cddlib` initializes global variables in a function, which is not valid C AFAIK. On macOS, with apple-clang, cddlib static will fail to link to an executable: ``` Undefined symbols for...
public headers are not self-contained. `cdd.h` lacks `stdio.h` for `FILE` `cddtypes.h` lacks `cddmp.h` and `setoper.h` generated `cddtypes_f.h` lacks `cddmp_f.h` and `setoper.h` You can try a simple test program which only...
I found it very helpful if variable names are present in the function declaration, so would like to contribute this back to the project. For example: ```c void dd_LinearComb(mytype, mytype,...
One templated version of CDD exists and is available at [src_poly](https://github.com/MathieuDutSik/polyhedral_common/tree/master/src_poly). It would be interesting to unify it with the current cddlib version or to make the two version move...
LRS can process polytope and find the dual description without using any divisions. If one takes the LRS code and replace the mpz_class by mpq_class then we get a factor...
CDD relies on Linked lists in order to compute the rays. Linked-Lists are generally problematic since any insertion of a new entry requires an allocation. A typical solution is to...
``` » cat test.cpp #include #define GMPRATIONAL #include #include int main() { auto m = dd_CreateMatrix(1, 1); dd_set(m->matrix[0][0], mpq_class(0).get_mpq_t()); } » g++ test.cpp `pkg-config cddlib --cflags --libs` -lgmp -fsanitize=address -fsanitize=undefined...
