-
Notifications
You must be signed in to change notification settings - Fork 8
/
init.g
51 lines (45 loc) · 1.84 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
#############################################################################
##
#W init.g Laurent Bartholdi
##
#Y Copyright (C) 2008-2016, 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);
#############################################################################
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()
if LoadKernelExtension("float") = false then
Error("No dynamic library loaded for Float -- couldn't find file");
fi;
end,[]);
#############################################################################
##
#R Read the declaration files.
##
ReadPackage("float", "lib/float.gd");
#############################################################################
#E init.g . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here