|
5.1.65 LIB
Syntax:
LIB string_expression;
Type:
- none
Purpose:
- reads a library of procedures from a file. 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 of 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.
Syntax:
LIB;
Type:
- string
Purpose:
- shows all loaded libraries written in Singular.
Example:
| option(loadLib); // show loading of libraries
LIB; // standard.lib is loaded
==> standard.lib
// the names of the procedures of inout.lib
LIB "inout.lib"; // are now known to Singular
==> // ** loaded inout.lib (1.21.2.5,2002/06/12)
LIB;
==> standard.lib,inout.lib
|
See
Command line options;
Loading of a library;
Procedures and libraries;
SINGULAR libraries;
proc;
standard_lib;
string;
system.
|