Description:

• externaldata allows for binding the Sollya identifier identifier to an external symbol, looked up in a dynamically linked library. After this binding, Sollya can retrieve the bound object in its own symbol table, can copy it, can assign it to other variables, pass is as arguments to procedures and externalprocedures, compare it etc. However, Sollya stays agnostic of the symbol's meaning and type. Due to this reason, the use of externaldata makes no sense but in conjuction with the use of externalproc, where an external procedure is bound to Sollya. This external procedure may know the type and meaning of the object bound with externaldata and display it, handle it, execute it etc. The same functionality may also be used for tools that use Sollya thru its library interface to bind their own objects to Sollya, pass them thru Sollya code and retrieve them eventually.