|  |  5.1.79 LIB 
See
 Command line options;
 Procedures and libraries;
 SINGULAR libraries;
 load;
 package;
 proc;
 standard_lib;
 string;
 system.Syntax:LIBstring_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 packageTopas 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 librarySearchPathis searched for file of this name.
See  Loading a library, for more info onSearchPath.
Note on standard.lib:Unless  SINGULAR is started with the --no-stdliboption, the
librarystandard.libis 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.2.0,Feb_2019)
 | 
 |