Interfacing mathemagix with C++

Abstract

In this paper, 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.