### 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)

See Command line options; Procedures and libraries; SINGULAR libraries; load; package; proc; standard_lib; string; system.

User manual for Singular version 4-0-3, 2016, generated by texi2html.