repo.or.cz
/
BGap.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Initial release of BGap
[BGap.git]
/
auxiliary
/
HPL
/
HPLrules5.h
blob
9e0f699d27845dc0240a3539e89a4f9d803fd5f7
1
*
thiss followss the convention where each
1
givess a minuss ssign
2
3
id
HPL
(
0
,
0
,
0
,
0
,
1
)= (
4
-
zeta5
5
);
6
7
8
9
id
HPL
(
0
,
0
,
0
,
1
,
0
)= (
10
+
4
*
zeta5
11
);
12
13
14
15
id
HPL
(
0
,
0
,
0
,
1
,
1
)= (
16
-
zeta2
*
zeta3
17
+
2
*
zeta5
18
);
19
20
21
22
id
HPL
(
0
,
0
,
1
,
0
,
0
)= (
23
-
6
*
zeta5
24
);
25
26
27
28
id
HPL
(
0
,
0
,
1
,
0
,
1
)= (
29
+
3
*
zeta2
*
zeta3
30
-
11
/
2
*
zeta5
31
);
32
33
34
35
id
HPL
(
0
,
0
,
1
,
1
,
0
)= (
36
-
1
/
2
*
zeta5
37
);
38
39
40
41
id
HPL
(
0
,
0
,
1
,
1
,
1
)= (
42
+
zeta2
*
zeta3
43
-
2
*
zeta5
44
);
45
46
47
48
id
HPL
(
0
,
1
,
0
,
0
,
0
)= (
49
+
4
*
zeta5
50
);
51
52
53
54
id
HPL
(
0
,
1
,
0
,
0
,
1
)= (
55
-
2
*
zeta2
*
zeta3
56
+
9
/
2
*
zeta5
57
);
58
59
60
61
id
HPL
(
0
,
1
,
0
,
1
,
0
)= (
62
-
2
*
zeta2
*
zeta3
63
+
2
*
zeta5
64
);
65
66
67
68
id
HPL
(
0
,
1
,
0
,
1
,
1
)= (
69
-
3
*
zeta2
*
zeta3
70
+
11
/
2
*
zeta5
71
);
72
73
74
75
id
HPL
(
0
,
1
,
1
,
0
,
0
)= (
76
+
zeta2
*
zeta3
77
-
1
/
2
*
zeta5
78
);
79
80
81
82
id
HPL
(
0
,
1
,
1
,
0
,
1
)= (
83
+
2
*
zeta2
*
zeta3
84
-
9
/
2
*
zeta5
85
);
86
87
88
89
id
HPL
(
0
,
1
,
1
,
1
,
0
)= (
90
-
zeta2
*
zeta3
91
+
3
*
zeta5
92
);
93
94
95
96
id
HPL
(
0
,
1
,
1
,
1
,
1
)= (
97
+
zeta5
98
);
99
100
101
102
id
HPL
(
1
,
0
,
0
,
0
,
0
)= (
103
-
zeta5
104
);
105
106
107
108
id
HPL
(
1
,
0
,
0
,
0
,
1
)= (
109
+
zeta2
*
zeta3
110
-
3
*
zeta5
111
);
112
113
114
115
id
HPL
(
1
,
0
,
0
,
1
,
0
)= (
116
-
zeta2
*
zeta3
117
+
9
/
2
*
zeta5
118
);
119
120
121
122
id
HPL
(
1
,
0
,
0
,
1
,
1
)= (
123
+
1
/
2
*
zeta5
124
);
125
126
127
128
id
HPL
(
1
,
0
,
1
,
0
,
0
)= (
129
+
2
*
zeta2
*
zeta3
130
-
11
/
2
*
zeta5
131
);
132
133
134
135
id
HPL
(
1
,
0
,
1
,
0
,
1
)= (
136
+
2
*
zeta2
*
zeta3
137
-
2
*
zeta5
138
);
139
140
141
142
id
HPL
(
1
,
0
,
1
,
1
,
0
)= (
143
+
zeta2
*
zeta3
144
-
9
/
2
*
zeta5
145
);
146
147
148
149
id
HPL
(
1
,
0
,
1
,
1
,
1
)= (
150
-
4
*
zeta5
151
);
152
153
154
155
id
HPL
(
1
,
1
,
0
,
0
,
0
)= (
156
-
zeta2
*
zeta3
157
+
2
*
zeta5
158
);
159
160
161
162
id
HPL
(
1
,
1
,
0
,
0
,
1
)= (
163
-
zeta2
*
zeta3
164
+
1
/
2
*
zeta5
165
);
166
167
168
169
id
HPL
(
1
,
1
,
0
,
1
,
0
)= (
170
-
2
*
zeta2
*
zeta3
171
+
11
/
2
*
zeta5
172
);
173
174
175
176
id
HPL
(
1
,
1
,
0
,
1
,
1
)= (
177
+
6
*
zeta5
178
);
179
180
181
182
id
HPL
(
1
,
1
,
1
,
0
,
0
)= (
183
+
zeta2
*
zeta3
184
-
2
*
zeta5
185
);
186
187
188
189
id
HPL
(
1
,
1
,
1
,
0
,
1
)= (
190
-
4
*
zeta5
191
);
192
193
194
195
id
HPL
(
1
,
1
,
1
,
1
,
0
)= (
196
+
zeta5
197
);
198