option(loadLib);
LIB "all.lib";
→ // ** loaded all.lib (1.35.2.4,2003/02/25)
→ // ** loaded makedbm.lib (1.11,2000/12/22)
→ // ** loaded brnoeth.lib (1.11.2.5,2002/10/18)
→ // ** loaded paramet.lib (1.11.2.1,2002/10/21)
→ // ** loaded surf.lib (1.19.2.6,2002/07/17)
→ // ** loaded latex.lib (1.19.2.1,2002/02/20)
→ // ** loaded graphics.lib (1.10,2001/02/19)
→ // ** loaded zeroset.lib (1.7.2.2,2002/02/20)
→ // ** loaded ntsolve.lib (1.12.2.1,2002/04/12)
→ // ** loaded triang.lib (1.7,2001/02/19)
→ // ** loaded solve.lib (1.21.2.13,2002/10/21)
→ // ** loaded presolve.lib (1.17.2.6,2003/03/26)
→ // ** loaded stratify.lib (1.7.2.4,2002/04/11)
→ // ** loaded rinvar.lib (1.7.2.3,2002/02/20)
→ // ** loaded finvar.lib (1.32.2.2,2002/08/13)
→ // ** loaded ainvar.lib (1.6.2.2,2002/04/12)
→ // ** loaded spectrum.lib (1.12.2.3,2002/03/06)
→ // ** loaded spcurve.lib (1.15.2.1,2002/02/20)
→ // ** loaded sing.lib (1.24.2.5,2003/04/15)
→ // ** loaded qhmoduli.lib (1.0,2000/12/12)
→ // ** loaded mondromy.lib (1.22.2.2,2002/02/20)
→ // ** loaded hnoether.lib (1.29.2.14,2002/10/21)
→ // ** loaded gaussman.lib (1.33.2.26,2003/02/10)
→ // ** loaded equising.lib (1.7.2.5,2003/02/25)
→ // ** loaded deform.lib (1.25.2.2,2003/02/24)
→ // ** loaded classify.lib (1.48.2.4,2002/04/11)
→ // ** loaded toric.lib (1.11,2001/02/06)
→ // ** loaded intprog.lib (1.5,2001/02/06)
→ // ** loaded reesclos.lib (1.50,2001/08/06)
→ // ** loaded primitiv.lib (1.15,2001/02/05)
→ // ** loaded primdec.lib (1.98.2.14,2003/04/07)
→ // ** loaded normal.lib (1.34.2.17,2002/10/21)
→ // ** loaded mregular.lib (1.6.2.1,2002/02/20)
→ // ** loaded mprimdec.lib (1.1.2.3,2002/03/19)
→ // ** loaded homolog.lib (1.15.2.2,2002/10/07)
→ // ** loaded elim.lib (1.14.2.4,2003/04/16)
→ // ** loaded algebra.lib (1.9.2.3,2002/04/11)
→ // ** loaded linalg.lib (1.10.2.15,2003/04/04)
→ // ** loaded matrix.lib (1.26.2.2,2002/10/07)
→ // ** loaded ring.lib (1.17.2.1,2002/02/20)
→ // ** loaded random.lib (1.16.2.1,2002/02/20)
→ // ** loaded poly.lib (1.33.2.6,2003/02/10)
→ // ** loaded inout.lib (1.21.2.5,2002/06/12)
→ // ** loaded general.lib (1.38.2.9,2003/04/04)