
| Current Path : /usr/share/gap/lib/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : //usr/share/gap/lib/memory.gd |
#############################################################################
##
## 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" );