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
|
#I file="lib/read8.g"
#F file="lib/overload.g" crc=-100213183
RANK_FILTER_LIST := [ 63580652, 7, 52428456, 31, 67108010, 13, 57526177, 36,
29419057, 21, 58412696, 30, 52428456, 31, 52428456, 31, 7665940, 19,
52428456, 31, 64918210, 8, 52428456, 31, 29419057, 21, 58412696, 30,
7665940, 19, 40060802, 3, 57526177, 36, 29419057, 21, 40060802, 3,
57526177, 36, 29419057, 21, 40060802, 3, 57526177, 36, 29419057, 21,
40060802, 3, 29419057, 21, 40060802, 3, 29419057, 21, 40060802, 3,
29419057, 21, 40060802, 3, 63580652, 7, 52428456, 31, 57526177, 36,
29419057, 21, 58412696, 30, 29419057, 21, 57526177, 36, 29419057, 21 ];
RANK_FILTER_COUNT := 1;
#C load module, file, or complete
COM_RESULT := COM_FILE( "lib/overload.g", -100213183 );
if COM_RESULT = fail then
Error("cannot locate file \"lib/overload.g\"");
elif COM_RESULT = 1 then
;
elif COM_RESULT = 2 then
;
elif COM_RESULT = 4 then
READ_CHANGED_GAP_ROOT("lib/overload.g");
elif COM_RESULT = 3 then
Revision.overload_g:="@(#)$Id: overload.g,v 4.26 2003/03/10 07:36:13 gap Exp $";
DeclareOperation("CoKernel",[IsObject]);
InstallMethod(CoKernel,[IsGeneralMapping],COM_FUN(1));
DeclareOperation("Degree",[IsObject]);
InstallMethod(Degree,[IsClassFunction],DegreeOfCharacter);
InstallMethod(Degree,[IsRationalFunction],COM_FUN(2));
DeclareOperation("DerivedSeries",[IsObject]);
InstallMethod(DerivedSeries,[IsAlgebra],COM_FUN(3));
InstallMethod(DerivedSeries,[IsGroup],DerivedSeriesOfGroup);
DeclareOperation("Determinant",[IsObject]);
InstallMethod(Determinant,[IsMatrix],DeterminantMat);
InstallMethod(Determinant,[IsClassFunction],DeterminantOfCharacter);
DeclareOperation("Eigenvalues",[IsObject]);
InstallOtherMethod(Eigenvalues,[IsClassFunction,IsPosInt],EigenvaluesChar);
DeclareOperation("IsIrreducible",[IsObject]);
InstallMethod(IsIrreducible,[IsClassFunction],IsIrreducibleCharacter);
InstallMethod(IsIrreducible,[IsRingElement],COM_FUN(4));
DeclareOperation("IsMonomial",[IsObject]);
InstallMethod(IsMonomial,[IsClassFunction],IsMonomialCharacter);
InstallMethod(IsMonomial,[IsGroup],IsMonomialGroup);
InstallMethod(IsMonomial,[IsMatrix],IsMonomialMatrix);
InstallMethod(IsMonomial,[IsPosInt],IsMonomialNumber);
InstallMethod(IsMonomial,[IsOrdinaryTable],IsMonomialCharacterTable);
DeclareOperation("IsNilpotent",[IsObject]);
Add(SOLVABILITY_IMPLYING_FUNCTIONS,IsNilpotent);
InstallMethod(IsNilpotent,[IsAlgebra],COM_FUN(5));
InstallMethod(IsNilpotent,[IsGroup],IsNilpotentGroup);
InstallMethod(IsNilpotent,[IsOrdinaryTable],IsNilpotentCharacterTable);
DeclareOperation("IsSimple",[IsObject]);
InstallMethod(IsSimple,[IsAlgebra],IsSimpleAlgebra);
InstallMethod(IsSimple,[IsGroup],IsSimpleGroup);
InstallMethod(IsSimple,[IsOrdinaryTable],IsSimpleCharacterTable);
DeclareOperation("IsSolvable",[IsObject]);
Add(SOLVABILITY_IMPLYING_FUNCTIONS,IsSolvable);
InstallMethod(IsSolvable,[IsAlgebra],COM_FUN(6));
InstallMethod(IsSolvable,[IsGroup],IsSolvableGroup);
InstallMethod(IsSolvable,[IsOrdinaryTable],IsSolvableCharacterTable);
DeclareOperation("IsSporadicSimple",[IsObject]);
InstallMethod(IsSporadicSimple,[IsGroup],IsSporadicSimpleGroup);
InstallMethod(IsSporadicSimple,[IsOrdinaryTable],IsSporadicSimpleCharacterTable);
DeclareOperation("IsSupersolvable",[IsObject]);
InstallMethod(IsSupersolvable,[IsGroup],IsSupersolvableGroup);
InstallMethod(IsSupersolvable,[IsOrdinaryTable],IsSupersolvableCharacterTable);
DeclareOperation("IsPerfect",[IsObject]);
InstallMethod(IsPerfect,[IsGroup],IsPerfectGroup);
InstallMethod(IsPerfect,[IsOrdinaryTable],IsPerfectCharacterTable);
DeclareOperation("Kernel",[IsObject]);
InstallMethod(Kernel,[IsGeneralMapping],COM_FUN(7));
InstallMethod(Kernel,[IsClassFunction],KernelOfCharacter);
DeclareOperation("LowerCentralSeries",[IsObject]);
InstallMethod(LowerCentralSeries,[IsAlgebra],COM_FUN(8));
InstallMethod(LowerCentralSeries,[IsGroup],LowerCentralSeriesOfGroup);
DeclareOperation("Rank",[IsObject]);
InstallMethod(Rank,[IsMatrix],RankMat);
InstallMethod(Rank,[IsGroup],RankPGroup);
DeclareOperation("UpperCentralSeries",[IsObject]);
InstallMethod(UpperCentralSeries,[IsAlgebra],COM_FUN(9));
InstallMethod(UpperCentralSeries,[IsGroup],UpperCentralSeriesOfGroup);
else
Error("unknown result code ", COM_RESULT );
fi;
#U unbind temporary variables
Unbind(RANK_FILTER_LIST);
Unbind(RANK_FILTER_COUNT);
Unbind(COM_RESULT);
#E file="lib/overload.g"
#F file="lib/compiler.g" crc=-35051890
RANK_FILTER_LIST := [ ];
RANK_FILTER_COUNT := 1;
#C load module, file, or complete
COM_RESULT := COM_FILE( "lib/compiler.g", -35051890 );
if COM_RESULT = fail then
Error("cannot locate file \"lib/compiler.g\"");
elif COM_RESULT = 1 then
;
elif COM_RESULT = 2 then
;
elif COM_RESULT = 4 then
READ_CHANGED_GAP_ROOT("lib/compiler.g");
elif COM_RESULT = 3 then
Revision.compiler_g:="@(#)$Id: compiler.g,v 4.3 2002/04/15 10:04:30 sal Exp $";
RatPairString:=COM_FUN(1);
ParseArguments:=COM_FUN(2);
CompileFunc:=COM_FUN(3);
else
Error("unknown result code ", COM_RESULT );
fi;
#U unbind temporary variables
Unbind(RANK_FILTER_LIST);
Unbind(RANK_FILTER_COUNT);
Unbind(COM_RESULT);
#E file="lib/compiler.g"
|
