Singular

5.1.74 LIB

Syntax:

LIB string_expression;

Type:

none

Purpose:

reads a library of procedures from a file. In contrast to the command load, the procedures from the library are added to the package Top as well as the package corresponding to the library. If the given filename does not start with . or / and cannot be located in the current directory, each directory contained in the library SearchPath is searched for file of this name. See Loading a library, for more info on SearchPath.

Note on standard.lib:

Unless SINGULAR is started with the --no-stdlib option, the library standard.lib is automatically loaded at start-up time.

Example:

option(loadLib); // show loading of libraries // the names of the procedures of inout.lib LIB "inout.lib"; // are now known to Singular ==> // ** loaded inout.lib (4.0.0.0,Jun_2013)