Re: cddlib

[Tobias Hansen <thansen@debian.org>]

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 <thansen@debian.org> 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
>>
>>
> 
>