I found the explanation in the pdf documentation. In libcdd.so the functions with dd_ prefix use floating point arithmetic.
In libcddgmp.so the symbols with dd_ use gmp and there are copies of all the function with floating point arithmetic with prefix ddf_. So just use libcddgmp which has both with different symbols. Best, Tobias On 02/03/2015 02:13 PM, Tobias Hansen wrote: > After a quick look I think the symbols are different: for the gmp > version they are defined in the headers cdd_f.h cddmp_f.h and > cddtypes_f.h and the others in the headers without _f. > > Best, > Tobias > > On 02/03/2015 01:36 PM, David Bremner wrote: >> Tobias Hansen <[email protected]> writes: >> >>> >>> Both versions of cddlib are in the package (libcdd0d) so that should >>> work for polymake, right? >>> >> >> polymake needs to use symbols from both libraries, and I believe they >> are the same. >> >> Again, maybe some wrapper could do the trick, although that might >> require slightly fancy linking/symbol versioning. >> >> d >> >> > > -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
