-
Notifications
You must be signed in to change notification settings - Fork 0
/
MollerSig_weak_test_Katsura.m
122 lines (97 loc) · 2.87 KB
/
MollerSig_weak_test_Katsura.m
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
// Created: Tue Oct 9 14:20:56 2018
// Last modified: Mon Jan 28 17:00:18 2019
// Hash: 79cf174933ac5230c0105e0185d12628
load "MollerSig_weak.m";
load "MollerSig_strong.m";
if assigned n and Type(n) eq MonStgElt then
n := eval n;
elif not assigned n then
n := 3;
end if;
if assigned sig and Type(sig) eq MonStgElt then
sig := eval n;
elif not assigned sig then
sig := true;
end if;
if assigned F5 and Type(F5) eq MonStgElt then
F5 := eval n;
elif not assigned F5 then
F5 := true;
end if;
if assigned sing and Type(sing) eq MonStgElt then
sing := eval n;
elif not assigned sing then
sing := true;
end if;
funs := <Euclid_SatIdeal, Euclid_CosetRep, Euclid_LinDecomp>;
load "def_Katsura.m";
/* time G,S := MollerSig_weak(K,funs: */
/* Signature := sig, */
/* F5_Criterion := F5, */
/* Sing_Criterion := sing); */
time G,S := MollerSig(K:
Signature := false,
GebauerMoller := true);
/*
Katsura 2
#####
true true true
###
Total # of vectorsets: 13
Total # of saturated sets: 170
Total # of reductions to 0: 0
Total # of skipped singular S-pairs: 3
Total # of skipped F5 S-pairs: 154
Total # of skipped 1-singular-reducible pols: 0
Time: 4.590
#####
true false false
###
Total # of vectorsets: 235
Total # of saturated sets: 235
Total # of reductions to 0: 219
Total # of skipped singular S-pairs: 0
Total # of skipped F5 S-pairs: 0
Total # of skipped 1-singular-reducible pols: 0
Time: 10.440
#####
GM criteria, no signatures
###
Total # of S-polynomials: 20
Total # of considered pairs: 78
Total # of reductions to 0: 7
Total # of skipped pairs with coprime criterion: 28
Total # of skipped pairs with Gebauer-Moller "B" criterion: 4
Total # of skipped pairs with Gebauer-Moller "M" criterion: 17
Total # of skipped pairs with Gebauer-Moller "F" criterion: 1
Total # of skipped pairs with F5 criterion: 0
Total # of skipped pairs with sing criterion: 0
Total # of skipped 1-singular-reducible pols: 0
Time: 0.080
########################################################################
Katsura 3
#####
true true true
###
Total # of vectorsets: 51
Total # of saturated sets: 2227
Total # of reductions to 0: 0
Total # of skipped singular S-pairs: 51
Total # of skipped F5 S-pairs: 2125
Total # of skipped 1-singular-reducible pols: 0
Time: 51777.590
#####
GM criteria
###
Total # of S-polynomials: 246
Total # of considered pairs: 861
Total # of reductions to 0: 159
Total # of skipped pairs with coprime criterion: 310
Total # of skipped pairs with Gebauer-Moller "B" criterion: 50
Total # of skipped pairs with Gebauer-Moller "M" criterion: 247
Total # of skipped pairs with Gebauer-Moller "F" criterion: 17
Total # of skipped pairs with F5 criterion: 0
Total # of skipped pairs with sing criterion: 0
Total # of skipped 1-singular-reducible pols: 0
Time: 28.130
*/