Interface to the SymEngine library
