We give a detailed description of the interface between the Mathemagix language and C++. In particular, we describe
the mechanism which allows us to import a C++ template library (which
only permits static instantiation) as a fully generic Mathemagix
template library.