Dear Max,
I use GAP 4.5.5 on arch linux 64 bit. For creating the workspace I used
the following options (together with the script CreateWorkspace):
-m 2048m -T -l "$GAP_DIR" "$@"
For using the workspace I start GAP with:
-L /usr/local/gap4r5/bin/wsgap4 -T -l "$GAP_DIR" "$@"
I'm not sure if it's still necessary to pass the "-T", but this should
be irrelevant.
Thanks,
Benjamin
Am 27.07.2012 11:42, schrieb Max Neunhoeffer:
Dear Benjamin,
just a quick question, are you working on Windows or on what operating
system?
How do you exactly start up GAP? In particular the memory related
options are interesting.
Best regards,
Max.
On Fri, Jul 27, 2012 at 10:22:06AM +0200, Benjamin Sambale wrote:
Dear forum,
every time I start GAP I get the message: "gap: halfing pool size."
Does it mean I allocate to much memory (actually 2GB out of 4GB)?
Btw, I load a workspace usually, but this message does not depend on
that. I found nothing concerning this topic online. And for some
reasons it never appeared on my office machine.
Thanks,
Benjamin
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
