File tree
21 files changed
+11
-71
lines changed- src/sage
- categories
- graphs
- groups
- knots
- libs
- eclib
- gap
- logic
- numerical
- tensor/modules
- tests
- topology
21 files changed
+11
-71
lines changedLines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 |
| - | |
| 8 | + | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| 19 | + | |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
| |||
384 | 385 |
| |
385 | 386 |
| |
386 | 387 |
| |
387 |
| - | |
388 | 388 |
| |
389 | 389 |
| |
390 | 390 |
| |
|
Lines changed: 0 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
615 | 615 |
| |
616 | 616 |
| |
617 | 617 |
| |
618 |
| - | |
619 | 618 |
| |
620 | 619 |
| |
621 | 620 |
| |
| |||
648 | 647 |
| |
649 | 648 |
| |
650 | 649 |
| |
651 |
| - | |
652 | 650 |
| |
653 | 651 |
| |
654 | 652 |
| |
|
Lines changed: 0 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1467 | 1467 |
| |
1468 | 1468 |
| |
1469 | 1469 |
| |
1470 |
| - | |
1471 | 1470 |
| |
1472 | 1471 |
| |
1473 | 1472 |
| |
| |||
1867 | 1866 |
| |
1868 | 1867 |
| |
1869 | 1868 |
| |
1870 |
| - | |
1871 | 1869 |
| |
1872 | 1870 |
| |
1873 | 1871 |
| |
|
Lines changed: 0 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
239 | 239 |
| |
240 | 240 |
| |
241 | 241 |
| |
242 |
| - | |
243 | 242 |
| |
244 | 243 |
| |
245 | 244 |
| |
| |||
251 | 250 |
| |
252 | 251 |
| |
253 | 252 |
| |
254 |
| - | |
255 |
| - | |
256 | 253 |
| |
257 | 254 |
| |
258 | 255 |
| |
| |||
301 | 298 |
| |
302 | 299 |
| |
303 | 300 |
| |
304 |
| - | |
305 | 301 |
| |
306 | 302 |
| |
307 | 303 |
| |
| |||
447 | 443 |
| |
448 | 444 |
| |
449 | 445 |
| |
450 |
| - | |
451 | 446 |
| |
452 | 447 |
| |
453 | 448 |
| |
| |||
1159 | 1154 |
| |
1160 | 1155 |
| |
1161 | 1156 |
| |
1162 |
| - | |
1163 | 1157 |
| |
1164 | 1158 |
| |
1165 | 1159 |
| |
| |||
1345 | 1339 |
| |
1346 | 1340 |
| |
1347 | 1341 |
| |
1348 |
| - | |
1349 | 1342 |
| |
1350 | 1343 |
| |
1351 | 1344 |
| |
| |||
1534 | 1527 |
| |
1535 | 1528 |
| |
1536 | 1529 |
| |
1537 |
| - | |
1538 | 1530 |
| |
1539 | 1531 |
| |
1540 |
| - | |
1541 | 1532 |
| |
1542 | 1533 |
| |
1543 | 1534 |
| |
| |||
1958 | 1949 |
| |
1959 | 1950 |
| |
1960 | 1951 |
| |
1961 |
| - | |
1962 | 1952 |
| |
1963 | 1953 |
| |
1964 | 1954 |
| |
| |||
2170 | 2160 |
| |
2171 | 2161 |
| |
2172 | 2162 |
| |
2173 |
| - | |
2174 | 2163 |
| |
2175 | 2164 |
| |
2176 | 2165 |
| |
| |||
2212 | 2201 |
| |
2213 | 2202 |
| |
2214 | 2203 |
| |
2215 |
| - | |
2216 | 2204 |
| |
2217 | 2205 |
| |
2218 | 2206 |
| |
| |||
2256 | 2244 |
| |
2257 | 2245 |
| |
2258 | 2246 |
| |
2259 |
| - | |
2260 | 2247 |
| |
2261 | 2248 |
| |
2262 | 2249 |
| |
| |||
2363 | 2350 |
| |
2364 | 2351 |
| |
2365 | 2352 |
| |
2366 |
| - | |
2367 | 2353 |
| |
2368 | 2354 |
| |
2369 | 2355 |
| |
| |||
2408 | 2394 |
| |
2409 | 2395 |
| |
2410 | 2396 |
| |
2411 |
| - | |
2412 | 2397 |
| |
2413 | 2398 |
| |
2414 | 2399 |
| |
| |||
2426 | 2411 |
| |
2427 | 2412 |
| |
2428 | 2413 |
| |
2429 |
| - | |
2430 | 2414 |
| |
2431 | 2415 |
| |
2432 | 2416 |
| |
| |||
2586 | 2570 |
| |
2587 | 2571 |
| |
2588 | 2572 |
| |
2589 |
| - | |
2590 | 2573 |
| |
2591 | 2574 |
| |
2592 | 2575 |
| |
|
Lines changed: 0 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3612 | 3612 |
| |
3613 | 3613 |
| |
3614 | 3614 |
| |
3615 |
| - | |
3616 | 3615 |
| |
3617 | 3616 |
| |
3618 | 3617 |
| |
| |||
4083 | 4082 |
| |
4084 | 4083 |
| |
4085 | 4084 |
| |
4086 |
| - | |
4087 | 4085 |
| |
4088 | 4086 |
| |
4089 | 4087 |
| |
| |||
4130 | 4128 |
| |
4131 | 4129 |
| |
4132 | 4130 |
| |
4133 |
| - | |
4134 | 4131 |
| |
4135 | 4132 |
| |
4136 | 4133 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
194 | 194 |
| |
195 | 195 |
| |
196 | 196 |
| |
197 |
| - | |
198 | 197 |
| |
199 | 198 |
| |
200 | 199 |
| |
|
Lines changed: 0 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
18 | 17 |
| |
19 | 18 |
| |
20 | 19 |
| |
21 | 20 |
| |
22 |
| - | |
23 | 21 |
| |
24 | 22 |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
15 | 14 |
| |
16 | 15 |
| |
17 | 16 |
| |
|
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
326 | 326 |
| |
327 | 327 |
| |
328 | 328 |
| |
329 |
| - | |
330 |
| - | |
331 |
| - | |
332 |
| - | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
333 | 332 |
| |
334 | 333 |
| |
335 | 334 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
181 | 181 |
| |
182 | 182 |
| |
183 | 183 |
| |
184 |
| - | |
185 |
| - | |
| 184 | + | |
186 | 185 |
| |
187 | 186 |
| |
188 | 187 |
| |
189 |
| - | |
| 188 | + | |
190 | 189 |
| |
191 | 190 |
| |
192 | 191 |
| |
|
0 commit comments