LibGAP Workspace Support#

The single purpose of this module is to provide the location of the libgap saved workspace and a time stamp to invalidate saved workspaces.

sage.libs.gap.saved_workspace.timestamp()#

Return a time stamp for (lib)gap

OUTPUT:

Float. Unix timestamp of the most recently changed GAP/LibGAP file(s). In particular, the timestamp increases whenever a gap package is added.

EXAMPLES:

sage: from sage.libs.gap.saved_workspace import timestamp
sage: timestamp()   # random output
1406642467.25684
sage: type(timestamp())
<... 'float'>
sage.libs.gap.saved_workspace.workspace(name='workspace')#

Return the filename of the gap workspace and whether it is up to date.

INPUT:

  • name – string. A name that will become part of the workspace filename.

OUTPUT:

Pair consisting of a string and a boolean. The string is the filename of the saved libgap workspace (or that it should have if it doesn’t exist). The boolean is whether the workspace is up-to-date. You may use the workspace file only if the boolean is True.

EXAMPLES:

sage: from sage.libs.gap.saved_workspace import workspace
sage: ws, up_to_date = workspace()
sage: ws
'/.../gap/libgap-workspace-...'
sage: isinstance(up_to_date, bool)
True