increase the default workspace to 10^8

[dimpase]

20 years ago 10^6 (4 Megabytes) was a meaningful workspace setting, nowadays even a mobile phone can easily take 10^7 or 10^8.

[fingolfin]

10^8 amounts to 400 MB on a 32bit system, and 800 MB on a 64bit system. While it'd be fine for me, I wonder

@gregg0 what do you think? I already looked into making the change, it's easy enough. Only question s what value you to use: 10^8, or 10^7, or anything in between (e.g. 2^24, for about 128 MB on a 64 bit system; or 2^25 for 256 MB) ...

[gregg0]

Dear Max I think you're right ... the default should be increased. The current default made sense 15-20 years ago, when RAM and diskspace was measured in MB. Now we measure in GB, and nearly TB. So the default ought to be at least 10^8. The question of decimal or binary is only an issue if one departs from 10 powers being a multiple of 3, and 2 powers being a multiple of 10. i.e. 10^3 approx= 2^10 Is making the default 10^9 too much? Regards, Greg

…

________________________________ From: Max Horn <notifications@github.com> Sent: 20 March 2018 06:51:55 To: gap-packages/ace Cc: Gregory Gamble; Mention Subject: Re: [gap-packages/ace] increase the default workspace to 10^8 (#12) 10^8 amounts to 400 MB on a 32bit system, and 800 MB on a 64bit system. While it'd be fine for me, I wonder @gregg0<https://github.com/gregg0> what do you think? I already looked into making the change, it's easy enough. Only question s what value you to use: 10^8, or 10^7, or anything in between (e.g. 2^24, for about 128 MB on a 64 bit system; or 2^25 for 256 MB) ... — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub<#12 (comment)>, or mute the thread<https://github.com/notifications/unsubscribe-auth/AFUCELhs77kqutvhHc7UfCJojWWFsCWMks5tgDaLgaJpZM4M_nzg>.

[fingolfin]

I went with 10^8 for now -- going to 10^9 would have meant a default workspace size of 8 GB, which may be a bit much for some people with not that powerful hardware. But of course we can revisit this and increase it again another day.