The library standard.lib provides extensions to the set of built-in commands and is automatically loaded during the start of SINGULAR, unless SINGULAR is started up with the --no-stdlib command line option (see Command line options).
standard.lib
--no-stdlib
Procedures:
5.1.126 stdfglm standard basis of ideal via fglm [and ordering ord] 5.1.127 stdhilb standard basis of ideal using the Hilbert function 5.1.43 groebner standard basis using a heuristically chosen method 5.1.103 quot quotient using heuristically chosen method 5.1.111 res free resolution of ideal or module 5.1.122 sprintf returns fomatted string 5.1.37 fprintf writes formatted string to link 5.1.100 printf displays formatted string 5.1.142 weightKB degree dd part of a kbase wrt. some weigths