  | ### 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-2, 2015, generated by texi2html.