File: read.g

package info (click to toggle)
gap-float 0.9.1%2Bds-6
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 612 kB
  • sloc: ansic: 2,537; cpp: 1,998; xml: 184; makefile: 103; sh: 1
file content (55 lines) | stat: -rw-r--r-- 1,715 bytes parent folder | download | duplicates (2)
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
#############################################################################
##
#W read.g                                                   Laurent Bartholdi
##
#Y Copyright (C) 2008, Laurent Bartholdi
##
#############################################################################
##
##  This file reads the implementations, and in principle could be reloaded
##  during a GAP session.
#############################################################################

#############################################################################
##
#R Read the install files.
##
ReadPackage("float", "lib/polynomial.gi");
ReadPackage("float", "lib/pslq.gi");

modules@ := [];
if IsBound(MPFR_INT) then
    Add(modules@,"mpfr");
    ReadPackage("float", "lib/mpfr.gi");
fi;
if IsBound(MPFI_INT) then
    Add(modules@,"mpfi");
    ReadPackage("float", "lib/mpfi.gi");
fi;
if IsBound(MPC_INT) then
    Add(modules@,"mpc");
    ReadPackage("float", "lib/mpc.gi");
fi;
if IsBound(@FPLLL) then
    Add(modules@,"fplll");
    ReadPackage("float", "lib/fplll.gi");
fi;
if IsBound(CXSC_INT) then
    Add(modules@,"cxsc");
    ReadPackage("float", "lib/cxsc.gi");
fi;

PackageInfo("float")[1].BannerString := Concatenation("Loading modules [",JoinStringsWithSeparator(modules@,", "),"] for ",PackageInfo("float")[1].BannerString);
Unbind(modules@);

if IsBound(IO_Pickle) then
    ReadPackage("float","lib/pickle.g");
else
    if not IsBound(IO_PkgThingsToRead) then
        IO_PkgThingsToRead := [];
    fi;
    Add(IO_PkgThingsToRead, ["float","lib/pickle.g"]);
fi;
#############################################################################

#E read.g . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here