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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
#############################################################################
##
#W randiso.gd GAP library Bettina Eick
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
#Y (C) 1998 School Math and Comp. Sci., University of St. Andrews, Scotland
#Y Copyright (C) 2002 The GAP Group
##
Revision.randiso_gd :=
"@(#)$Id: randiso.gd,v 1.11 2003/10/07 16:24:37 stefan Exp $";
DeclareInfoClass( "InfoRandIso" );
DeclareAttribute( "OmegaAndLowerPCentralSeries", IsGroup );
#############################################################################
##
#F CodePcgs( <pcgs> )
##
## returns the code corresponding to <pcgs>.
DeclareGlobalFunction( "CodePcgs" );
#############################################################################
##
#F CodePcGroup( <G> )
##
## returns the code for a pcgs of <G>.
DeclareGlobalFunction( "CodePcGroup" );
#############################################################################
##
#F PcGroupCode( <code>, <size> )
##
## returns a pc group of size <size> corresponding to <code>.
## The argument <code> must be a valid code for a pcgs, otherwise anything
## may happen. Valid codes are usually obtained by one of the functions
## `CodePcgs' or `CodePcGroup'.
DeclareGlobalFunction( "PcGroupCode" );
#############################################################################
##
#F PcGroupCodeRec( <rec> )
##
## Here <rec> needs to have entries .code and .order. Then PcGroupCode
## returns a pc group of size .order corresponding to .code.
DeclareGlobalFunction( "PcGroupCodeRec" );
#############################################################################
##
#F RandomSpecialPcgsCoded( <G> )
##
## returns a code for a random special pcgs of <G>.
DeclareGlobalFunction( "RandomSpecialPcgsCoded" );
#############################################################################
##
#F RandomIsomorphismTest( <list>, <n> )
##
## <list> must be a list of code records of pc groups and <n> a non-negative
## integer. Returns a sublist of <list> where isomorphic copies detected by
## the probabilistic test have been removed.
DeclareGlobalFunction( "RandomIsomorphismTest" );
#############################################################################
##
#F ReducedByIsomorphism( <list>, <n> )
##
## returns a list of disjoint sublist of <list> such that no two isomorphic
## groups can be in the same sublist.
DeclareGlobalFunction( "ReducedByIsomorphisms" );
|
