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
31
|
#############################################################################
##
## 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" );
|
