-
Notifications
You must be signed in to change notification settings - Fork 9
/
to_produce_databases.g
70 lines (52 loc) · 1.93 KB
/
to_produce_databases.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
63
64
65
66
67
68
69
70
###########################################################################
##
# to be executed inside the folder "/home/mdelgado/git/pkg/numericalsgps/data/genus"
dataGenus := function(n)
local list, L, W, filename;
L := NumericalSemigroupsWithGenus(n);
W := List(L, s -> [MinimalGenerators(s),SmallElements(s)]);
filename := Concatenation("genus",String(n),".gl");
PrintTo(filename,W);
Exec(Concatenation("gzip"," ", filename));
end;
for n in [1..22] do
dataGenus(n);
#test
list:=EvalString(StringFile(Concatenation("genus",String(n),".gl.gz")));
Print(Length(list),"\n");
od;
###########################################################################
##
# to be executed inside the folder "/home/mdelgado/git/pkg/numericalsgps/data/frobenius"
dataFrobenius := function(n)
local list, L, W, filename;
L := NumericalSemigroupsWithFrobeniusNumber(n);
W := List(L, s -> [MinimalGenerators(s),SmallElements(s)]);
filename := Concatenation("frobenius",String(n),".gl");
PrintTo(filename,W);
Exec(Concatenation("gzip"," ", filename));
end;
for n in [1..32] do
dataFrobenius(n);
#test
list:=EvalString(StringFile(Concatenation("frobenius",String(n),".gl.gz")));
Print(Length(list),"\n");
od;
###########################################################################
##
# to be executed inside the folder "/home/mdelgado/git/pkg/numericalsgps/data/maxprim"
dataMaxPrim := function(n)
local list, L, W, filename;
L := NumericalSemigroupsWithMaxPrimitive(n);
# L := List(list, gens -> NumericalSemigroup(gens));
W := List(L, s -> [MinimalGenerators(s),SmallElements(s)]);
filename := Concatenation("maxprim",String(n),".gl");
PrintTo(filename,W);
Exec(Concatenation("gzip"," ", filename));
end;
for n in [1..32] do
dataMaxPrim(n);
#test
list:=EvalString(StringFile(Concatenation("maxprim",String(n),".gl.gz")));
Print(Length(list),"\n");
od;