Saving and restoring Magma states

The statement

> save "FILENAME";

saves the current workspace in the file FILENAME. It copies all information present in the current Magma workspace onto a file specified by the string "FILENAME" The workspace is left intact, so executing this command does not interfere with the current computation.

The statement

> restore "FILENAME";

copies a previously stored Magma workspace from the file specified by the string "FILENAME" into central memory. Information present in the current workspace prior to the execution of this command will be lost. The computation can now proceed from the point it was at when the corresponding save-statement was executed.

Example

> save "permgroup.ws";
> quit;

[new session]
> restore "permgroup.ws";