Command line options;
Procedures and libraries;
- 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
Note on standard.lib:
- Unless SINGULAR is started with the
--no-stdlib option, the
standard.lib is automatically loaded at start-up time.
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 (18.104.22.168,Jun_2013)