Home Online Manual
Top
Back: leadmonom
Forward: lift
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.77 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.1.1.0,Dec_2017)
See Command line options; Procedures and libraries; SINGULAR libraries; load; package; proc; standard_lib; string; system.