The ExternalLibraryName(basename) function returns the string that represents the name of the relevant external shared object (library) with the correct platform filename extension or polycapitalization.

The library name (Maple string) is platform dependent.  In Windows, the returned name has ".dll" appended to it.  In all other operating systems, the library name has "lib" prepended and ".so" appended to it.

If precision is set to SWFloat, the suffix "mp" is appended to the basename of the shared library.  This facilitates having hardware float and multi-precision software float libraries with the same base name.