> * unknown number of external library users: I am not away of anybody > external using giac as a library. From my experience with libSingular > I am not too optimistic that we will not run into a number of issues > here. Look at #2822: PolyBoRi is designed as a library to be used from > Python. But I spend about two days chasing down some issue that was > caused by the way we use the library.
We appreciate all this work involved in the SAGE integration of our library, which resulted in a cleaner PolyBoRi. Just to illustrate Michaels argument: He has only seen the sunside of PolyBoRi, that means, when it was designed to be used from Python. Before, we also had a Python-interface. But the C++-interface of CUDD made it impossible to have automatic resource management. So essentially I made sure in every Python script, that these resources where deallocated in the correct order. The only solution was to write our own C++ interface to CUDD. Michael --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
