File tree
13 files changed
+58
-111
lines changed- docs/source
- libsemigroups_pybind11
- tests
13 files changed
+58
-111
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 |
| - | |
29 |
| - | |
| 28 | + | |
| 29 | + | |
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
6 | 7 |
| |
7 | 8 |
| |
8 | 9 |
| |
| |||
31 | 32 |
| |
32 | 33 |
| |
33 | 34 |
| |
34 |
| - | |
35 |
| - | |
36 |
| - | |
| 35 | + | |
37 | 36 |
| |
38 | 37 |
| |
39 | 38 |
| |
|
Lines changed: 7 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 |
| - | |
| 9 | + | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| |||
177 | 177 |
| |
178 | 178 |
| |
179 | 179 |
| |
| 180 | + | |
180 | 181 |
| |
181 | 182 |
| |
182 | 183 |
| |
| |||
211 | 212 |
| |
212 | 213 |
| |
213 | 214 |
| |
214 |
| - | |
215 |
| - | |
216 |
| - | |
| 215 | + | |
217 | 216 |
| |
218 | 217 |
| |
219 | 218 |
| |
| |||
276 | 275 |
| |
277 | 276 |
| |
278 | 277 |
| |
279 |
| - | |
| 278 | + | |
280 | 279 |
| |
281 | 280 |
| |
282 | 281 |
| |
| |||
293 | 292 |
| |
294 | 293 |
| |
295 | 294 |
| |
296 |
| - | |
| 295 | + | |
297 | 296 |
| |
298 | 297 |
| |
299 | 298 |
| |
| |||
335 | 334 |
| |
336 | 335 |
| |
337 | 336 |
| |
338 |
| - | |
| 337 | + | |
339 | 338 |
| |
340 | 339 |
| |
341 | 340 |
| |
|
Lines changed: 14 additions & 36 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
56 | 66 |
| |
57 | 67 |
| |
58 | 68 |
| |
| |||
62 | 72 |
| |
63 | 73 |
| |
64 | 74 |
| |
65 |
| - | |
66 |
| - | |
67 |
| - | |
| 75 | + | |
68 | 76 |
| |
69 | 77 |
| |
70 | 78 |
| |
| |||
80 | 88 |
| |
81 | 89 |
| |
82 | 90 |
| |
83 |
| - | |
| 91 | + | |
84 | 92 |
| |
85 | 93 |
| |
86 | 94 |
| |
| |||
101 | 109 |
| |
102 | 110 |
| |
103 | 111 |
| |
104 |
| - | |
105 |
| - | |
106 |
| - | |
107 |
| - | |
108 |
| - | |
109 |
| - | |
110 |
| - | |
111 |
| - | |
112 |
| - | |
113 |
| - | |
114 |
| - | |
115 |
| - | |
116 |
| - | |
117 |
| - | |
118 |
| - | |
119 | 112 |
| |
120 | 113 |
| |
121 | 114 |
| |
| |||
127 | 120 |
| |
128 | 121 |
| |
129 | 122 |
| |
130 |
| - | |
| 123 | + | |
131 | 124 |
| |
132 | 125 |
| |
133 | 126 |
| |
| |||
136 | 129 |
| |
137 | 130 |
| |
138 | 131 |
| |
139 |
| - | |
| 132 | + | |
140 | 133 |
| |
141 | 134 |
| |
142 | 135 |
| |
| |||
156 | 149 |
| |
157 | 150 |
| |
158 | 151 |
| |
159 |
| - | |
160 |
| - | |
161 |
| - | |
162 |
| - | |
163 |
| - | |
164 |
| - | |
165 |
| - | |
166 |
| - | |
167 |
| - | |
168 |
| - | |
169 |
| - | |
170 |
| - | |
171 |
| - | |
172 |
| - | |
173 |
| - | |
174 | 152 |
| |
175 | 153 |
| |
176 | 154 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
214 | 214 |
| |
215 | 215 |
| |
216 | 216 |
| |
217 |
| - | |
| 217 | + | |
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
|
Lines changed: 2 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
13 |
| - | |
| 12 | + | |
14 | 13 |
| |
15 |
| - | |
16 |
| - | |
| 14 | + | |
17 | 15 |
| |
18 | 16 |
| |
19 | 17 |
| |
|
Lines changed: 0 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 |
| - | |
19 |
| - | |
20 | 18 |
| |
21 | 19 |
| |
22 | 20 |
| |
|
Lines changed: 8 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
59 |
| - | |
60 |
| - | |
61 |
| - | |
| 59 | + | |
62 | 60 |
| |
63 | 61 |
| |
64 | 62 |
| |
| |||
78 | 76 |
| |
79 | 77 |
| |
80 | 78 |
| |
81 |
| - | |
| 79 | + | |
82 | 80 |
| |
83 | 81 |
| |
84 | 82 |
| |
| |||
107 | 105 |
| |
108 | 106 |
| |
109 | 107 |
| |
110 |
| - | |
| 108 | + | |
111 | 109 |
| |
112 | 110 |
| |
113 | 111 |
| |
| |||
136 | 134 |
| |
137 | 135 |
| |
138 | 136 |
| |
139 |
| - | |
| 137 | + | |
140 | 138 |
| |
141 | 139 |
| |
142 | 140 |
| |
| |||
165 | 163 |
| |
166 | 164 |
| |
167 | 165 |
| |
168 |
| - | |
| 166 | + | |
169 | 167 |
| |
170 | 168 |
| |
171 | 169 |
| |
| |||
195 | 193 |
| |
196 | 194 |
| |
197 | 195 |
| |
198 |
| - | |
| 196 | + | |
199 | 197 |
| |
200 | 198 |
| |
201 | 199 |
| |
| |||
224 | 222 |
| |
225 | 223 |
| |
226 | 224 |
| |
227 |
| - | |
| 225 | + | |
228 | 226 |
| |
229 | 227 |
| |
230 | 228 |
| |
| |||
258 | 256 |
| |
259 | 257 |
| |
260 | 258 |
| |
261 |
| - | |
262 |
| - | |
263 |
| - | |
| 259 | + | |
264 | 260 |
| |
265 | 261 |
| |
266 | 262 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
34 |
| - | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
54 |
| - | |
| 54 | + | |
55 | 55 |
| |
56 | 56 |
| |
57 | 57 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 |
| - | |
| 18 | + | |
19 | 19 |
| |
20 | 20 |
| |
21 |
| - | |
| 21 | + | |
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
| |||
72 | 72 |
| |
73 | 73 |
| |
74 | 74 |
| |
75 |
| - | |
| 75 | + | |
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
| |||
134 | 134 |
| |
135 | 135 |
| |
136 | 136 |
| |
137 |
| - | |
| 137 | + | |
138 | 138 |
| |
139 | 139 |
| |
140 | 140 |
| |
|
0 commit comments