[GAP Forum] Speed up loading, minimize workspace file

Alexander Konovalov alexk at mcs.st-andrews.ac.uk
Tue Dec 17 13:10:26 GMT 2013


Hello Vlad,

On 16 Dec 2013, at 22:34, vlad at vladikoff.com wrote:

> Hello,
> 
> I'm looking for a way to speed up GAP loading.
> How can I do this? Or how can I minimize my workspace file?

Using the workspace is the recommended way to speed it up. 

On my machine, the workspace created with the BOB installer
( http://neunhoef.github.io/bob/ ) occupies 38 MB for 32-bit
mode and 67 MB for 64-bit mode. Are you interested in 
squeezing it even further? Is this a network installation, or
slow machine, or anything else which motivates your question?

> I'm assuming that unloading certain packages and components might help, but I'm not sure how to do that. Should I just move them out of the `pkg` directory?

Those packages which are not loaded at startup, they do not 
make big use of the workspace (only meta-data will be loaded). 
Also, some packages are required to run GAP, and some extend 
it significantly, and some depend on others, so one should be 
careful. It's easy to break the system without any significant
gain in loading time.

Hope this helps
Alexander







More information about the Forum mailing list