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
32
33
|
#############################################################################
##
## memory.gd recog package Max Neunhoeffer
## kos Seress
##
## Copyright 2005 Lehrstuhl D fr Mathematik, RWTH Aachen
##
## Group objects remembering how they were created from the generators.
##
#############################################################################
Revision.memory_gd :=
"@(#)$Id: memory.gd,v 1.1.2.2 2006/08/19 13:09:13 gap Exp $";
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" );
|
