In Singular-2.x you could look up the global variable LIB (of type string) and search
for the library using the command find e.g.
Code:
> LIB;
standard.lib
> find("LIB","standard.lib");
1
> find(LIB,"ring.lib");
0
> LIB "ring.lib";
// ** loaded /usr/o0/Singular-203/sparcv7-sun-solaris2.7/Singular/2-0-3/LIB/ring.lib (1.17.2.1,2002/02/20)
// some more output here
> LIB;
standard.lib,ring.lib,general.lib,matrix.lib,random.lib,poly.lib,inout.lib
> find(LIB,"ring.lib");
14
This does no longer work, as LIB is now the string "_".
In Singular-3.x you have to use the command defined
with capitalized first letter of the library (without the trailing .lib):
Code:
> defined(Sing);
0
> LIB "sing.lib";
// ** loaded /LIB/sing.lib (1.30,2006/08/02)
> defined(Sing);
1
In Singular-2.x you could look up the global variable LIB (of type string) and search
for the library using the command find e.g.
[code]
> LIB;
standard.lib
> find("LIB","standard.lib");
1
> find(LIB,"ring.lib");
0
> LIB "ring.lib";
// ** loaded /usr/o0/Singular-203/sparcv7-sun-solaris2.7/Singular/2-0-3/LIB/ring.lib (1.17.2.1,2002/02/20)
// some more output here
> LIB;
standard.lib,ring.lib,general.lib,matrix.lib,random.lib,poly.lib,inout.lib
> find(LIB,"ring.lib");
14
[/code]
This does no longer work, as LIB is now the string "_".
In Singular-3.x you have to use the command defined
with capitalized first letter of the library (without the trailing .lib):
[code]
> defined(Sing);
0
> LIB "sing.lib";
// ** loaded /LIB/sing.lib (1.30,2006/08/02)
> defined(Sing);
1
[/code]