Skip to content

Instantly share code, notes, and snippets.

@js51
Created June 3, 2021 04:01
Show Gist options
  • Select an option

  • Save js51/aa1b5aa03dc3d98a020c1b6826712a93 to your computer and use it in GitHub Desktop.

Select an option

Save js51/aa1b5aa03dc3d98a020c1b6826712a93 to your computer and use it in GitHub Desktop.
Allocate more memory to GAP in SAGE
gigs = 30
old_command = gap._Expect__command
s = old_command.index('-o ')
e = old_command.index(' -', s)
gap._Expect__command = gap._Expect__command.replace(gap._Expect__command[s:e], f'-o {gigs}G')
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment