LibraryTools - Maple Programming Help

Home : Support : Online Help : System : Libraries and Packages : LibraryTools : LibraryTools/ConvertVersion

LibraryTools

 ConvertVersion
 converts back and forth between ".mla" and ".lib" Maple repositories

 Calling Sequence ConvertVersion( archive )

Parameters

 archive - string denoting the Maple library file name

Description

 • The ConvertVersion( ) command converts back and forth between the .mla format and .lib format of Maple repository files.
 • When the archive is a .mla file, a file of the same name with the .lib format and extension is created.
 • If the file is a .lib file, a .mla file is created.
 • If the archive is a directory, all libraries contained in that directory are converted.
 • The order of first conversion is unspecified when a .lib and .mla file with the same name already exist in the directory being converted.

Examples

 > $\mathrm{with}\left(\mathrm{LibraryTools}\right):$
 > $\mathrm{LibLocation}≔\mathrm{cat}\left(\mathrm{kernelopts}\left(\mathrm{mapledir}\right),"/lib/myLib.mla"\right)$
 > $\mathrm{Create}\left(\mathrm{LibLocation}\right)$
 > $\mathrm{ConvertVersion}\left(\mathrm{LibLocation}\right)$
 > $\mathrm{FileTools}[\mathrm{Exists}]\left(\mathrm{LibLocation}\right)$
 ${\mathrm{true}}$ (1)