CoCoA » CoCoALib

I have moved to gfanslib-0.6.2 and now test-GFan1 produces the following error:

CDDLIB HAS NOT BEEN INITIALISED!

Fix this problem by calling the following function in your initialisation code:
dd_set_global_constants();
(after possibly setting the gmp allocators) and
dd_free_global_constants()
in your deinitialisation code (only available for cddlib version>=094d).
This requires the header includes:
#include "cdd/setoper.h" 
#include "cdd/cdd.h" 

Alternatively, you may call gfan:initializeCddlibIfRequired() and deinitializeCddlibIfRequired()
if gfanlib is the only code using cddlib. If at some point cddlib is no longer required by gfanlib
these functions may do nothing.
Because deinitialisation is not possible in cddlib <094d, the functions may leak memory and should not be called often.

This error message will never appear if the initialisation was done properly, and therefore never appear in a shipping version of your software.
test-GFan1: gfanlib_zcone.cpp:64: void gfan::ensureCddInitialisation(): Assertion `0' failed.
Aborted (core dumped)

This may be non-trivial to fix. Presumably CoCoA::GlobalManager should call the CDD initializer, and its dtor should call the deinitializer...