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
|
#############################################################################
##
#X Now read the implementation parts from the library.
##
ReadOrComplete( "lib/read5.g" );
ReadOrComplete( "lib/read6.g" );
# The following code would belong to the file lib/tom.gi,
# but it cannot be there because of the $@!*%& completion mechanism.
if not IsBoundGlobal( "TableOfMarksFromLibrary" ) then
BindGlobal( "TableOfMarksFromLibrary", function( arg )
Error( "sorry, the GAP Tables Of Marks Library is not installed" );
end );
fi;
ReadLib( "ctbl.gi" ); # because of the completion bug ...
ReadOrComplete( "lib/read7.g" ); # character theory stuff
ReadOrComplete( "lib/read8.g" ); # overloaded operations, compiler interface
ReadLib( "colorprompt.g" );
#############################################################################
##
## Load data libraries
## The data libraries which may be absent cannot be completed, therefore
## they must be read in here!
#############################################################################
##
#X Read library of groups of small order
#X Read identification routine
##
ReadSmall( "readsml.g","small groups" );
#############################################################################
##
#X Read transitive groups library
##
TRANS_AVAILABLE:=ReadTrans( "trans.gd","transitive groups" );
TRANS_AVAILABLE:= TRANS_AVAILABLE and ReadTrans( "trans.grp",
"transitive groups" );
TRANS_AVAILABLE:= TRANS_AVAILABLE and ReadTrans( "trans.gi",
"transitive groups" );
if TRANS_AVAILABLE then
ReadLib("galois.gd"); # the Galois group identification relies on the list
# of transitive groups
ReadLib("galois.gi");
fi;
#############################################################################
##
#X Read primitive groups library
##
PRIM_AVAILABLE:=ReadPrim( "primitiv.gd","primitive groups" );
PRIM_AVAILABLE:=PRIM_AVAILABLE and ReadPrim( "irredsol.gd","irreducible solvable groups" );
PRIM_AVAILABLE:=PRIM_AVAILABLE and ReadPrim( "primitiv.grp",
"primitive groups" );
PRIM_AVAILABLE:=PRIM_AVAILABLE and ReadPrim( "primitiv.gi",
"primitive groups" );
PRIM_AVAILABLE:=PRIM_AVAILABLE and ReadPrim( "irredsol.grp","irreducible solvable groups" );
PRIM_AVAILABLE:=PRIM_AVAILABLE and ReadPrim( "irredsol.gi","irreducible solvable groups" );
PRIM_AVAILABLE:=PRIM_AVAILABLE and ReadPrim( "cohorts.grp","irreducible solvable groups" );
#############################################################################
##
#E
|
