/usr/share/gap/lib/memory.gd is in gap-libs 4r7p9-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | #############################################################################
##
## memory.gd recog package Max Neunhöffer
## Ákos Seress
##
## Copyright 2005 Lehrstuhl D für Mathematik, RWTH Aachen
##
## Group objects remembering how they were created from the generators.
##
#############################################################################
DeclareFilter("IsObjWithMemoryRankFilter",100);
DeclareRepresentation("IsObjWithMemory",
IsComponentObjectRep and IsObjWithMemoryRankFilter and
IsMultiplicativeElementWithInverse, ["slp","n","el"]);
DeclareAttribute("TypeOfObjWithMemory",IsFamily);
DeclareGlobalFunction( "GeneratorsWithMemory" );
DeclareOperation( "StripMemory", [IsObject] );
DeclareOperation( "ForgetMemory", [IsObject] );
DeclareGlobalFunction( "StripStabChain" );
DeclareGlobalFunction( "CopyMemory" );
DeclareGlobalFunction( "GroupWithMemory" );
DeclareGlobalFunction( "SLPOfElm" );
DeclareGlobalFunction( "SLPOfElms" );
DeclareGlobalFunction( "SortFunctionWithMemory" );
|