-
Notifications
You must be signed in to change notification settings - Fork 182
Document objects with memory #6173
Copy link
Copy link
Closed
Labels
kind: enhancementLabel for issues suggesting enhancements; and for pull requests implementing enhancementsLabel for issues suggesting enhancements; and for pull requests implementing enhancementstopic: documentationIssues and PRs related to documentationIssues and PRs related to documentation
Metadata
Metadata
Assignees
Labels
kind: enhancementLabel for issues suggesting enhancements; and for pull requests implementing enhancementsLabel for issues suggesting enhancements; and for pull requests implementing enhancementstopic: documentationIssues and PRs related to documentationIssues and PRs related to documentation
The GAP library contains the files
lib/memory.gdandlib/memory.gi.The functionality from these files is not used in the GAP library, and it is not documented.
Several packages use it and refer to it, for example the
recogpackage, and it is often useful in interactive sessions.Thus this functionality should be documented.
I can provide a pull request for that.