Copy 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.
Copy 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-command was executed.
V2.28, 13 July 2023