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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
#############################################################################
##
#W pcgsspec.gd GAP library Bettina Eick
##
#H @(#)$Id: pcgsspec.gd,v 4.19 2002/04/15 10:05:12 sal Exp $
##
#Y Copyright (C) 1996, 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.pcgsspec_gd :=
"@(#)$Id: pcgsspec.gd,v 4.19 2002/04/15 10:05:12 sal Exp $";
#############################################################################
##
#V InfoSpecPcgs
##
DeclareInfoClass( "InfoSpecPcgs" );
#############################################################################
##
#P IsSpecialPcgs( <obj> )
##
## tests whether <obj> is a special pcgs.
DeclareProperty( "IsSpecialPcgs", IsPcgs );
#InstallTrueMethod(IsPcgsCentralSeries,IsSpecialPcgs);
InstallTrueMethod(IsPcgsElementaryAbelianSeries,IsSpecialPcgs);
#############################################################################
##
#A SpecialPcgs( <pcgs> )
#A SpecialPcgs( <G> )
##
## computes a special pcgs for the group defined by <pcgs> or for <G>.
## A method for `SpecialPcgs(<G>)' must call `SpecialPcgs(Pcgs(<G>))' (this
## is to avoid accidentally forgetting information.)
DeclareAttribute( "SpecialPcgs", IsPcgs );
#############################################################################
##
#A LGHeads( <pcgs> )
##
## returns the LGHeads of the special pcgs <pcgs>.
DeclareAttribute( "LGHeads", IsPcgs );
#############################################################################
##
#A LGTails( <pcgs> )
##
## returns the LGTails of the special pcgs <pcgs>.
DeclareAttribute( "LGTails", IsPcgs );
#############################################################################
##
#A LGWeights( <pcgs> )
##
## returns the LGWeights of the special pcgs <pcgs>.
DeclareAttribute( "LGWeights", IsPcgs );
#############################################################################
##
#A LGLayers( <pcgs> )
##
## returns the layers of the special pcgs <pcgs>.
DeclareAttribute( "LGLayers", IsPcgs );
#############################################################################
##
#A LGFirst( <pcgs> )
##
## returns the first indices for each layer of the special pcgs <pcgs>.
DeclareAttribute( "LGFirst", IsPcgs );
#############################################################################
##
#A LGLength( <G> )
##
## returns the Length of the LG-series of the group <G>, if <G> is solvable
## and <fail> otherwise.
DeclareAttribute( "LGLength", IsGroup );
#############################################################################
##
#A InducedPcgsWrtSpecialPcgs( <G> )
##
## computes an induced pcgs with respect to the special pcgs of the
## parent of <G>.
DeclareAttribute( "InducedPcgsWrtSpecialPcgs", IsGroup );
#############################################################################
##
#A CanonicalPcgsWrtSpecialPcgs( <G> )
##
DeclareAttribute( "CanonicalPcgsWrtSpecialPcgs", IsGroup );
#############################################################################
##
#P IsInducedPcgsWrtSpecialPcgs( <pcgs> )
##
## tests whether <pcgs> is induced with respect to a special pcgs.
DeclareProperty( "IsInducedPcgsWrtSpecialPcgs", IsPcgs );
#############################################################################
##
#P IsCanonicalPcgsWrtSpecialPcgs( <pcgs> )
##
DeclareProperty( "IsCanonicalPcgsWrtSpecialPcgs", IsPcgs );
#############################################################################
##
#E pcgsspec.gd . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
##
|
