forked from gap-packages/float
-
Notifications
You must be signed in to change notification settings - Fork 0
/
init.g
62 lines (54 loc) · 2.06 KB
/
init.g
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
#############################################################################
##
#W init.g Laurent Bartholdi
##
#H @(#)$Id$
##
#Y Copyright (C) 2008, Laurent Bartholdi
##
#############################################################################
##
## This file reads the declarations of the packages' new objects
##
#############################################################################
#############################################################################
##
#I Create info class to be able to debug loading
##
InfoFloat := NewInfoClass("InfoFloat");
SetInfoLevel(InfoFloat, 1);
Revision.float := rec();
#############################################################################
BindGlobal("DOC@FLOAT", function()
MakeGAPDocDoc(Concatenation(GAPInfo.PackagesLoaded.float[1],"/doc"),"float",
["../lib/float.gd","../PackageInfo.g"],"float");
end);
if GAPInfo.TermEncoding = "UTF-8" then
BindGlobal("FLOAT_INFINITY_STRING","∞"); # UChar(8734)
BindGlobal("FLOAT_NINFINITY_STRING","-∞"); # UChar(8734)
BindGlobal("FLOAT_EMPTYSET_STRING","∅"); # UChar(8709)
BindGlobal("FLOAT_REAL_STRING","ℝ"); # UChar(8477)
BindGlobal("FLOAT_COMPLEX_STRING","ℂ"); # UChar(8450)
BindGlobal("FLOAT_I_STRING","ⅈ"); # UChar(8520)
else
BindGlobal("FLOAT_INFINITY_STRING","inf");
BindGlobal("FLOAT_NINFINITY_STRING","-inf");
BindGlobal("FLOAT_EMPTYSET_STRING","empty");
BindGlobal("FLOAT_REAL_STRING","reals");
BindGlobal("FLOAT_COMPLEX_STRING","complex");
BindGlobal("FLOAT_I_STRING","i");
fi;
CallFuncList(function()
local f;
f := Filename(DirectoriesPackagePrograms("float"),"float.so");
if f<>fail then
LoadDynamicModule(f);
fi;
end,[]);
#############################################################################
##
#R Read the declaration files.
##
ReadPackage("float", "lib/float.gd");
#############################################################################
#E init.g . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here