File tree
25 files changed
+60
-107
lines changed- src/sage
- combinat
- posets
- words
- databases
- games
- graphs
- groups
- abelian_gps
- parallel
- rings
- asymptotic
- polynomial
- pbori
- valuation
- schemes/elliptic_curves
- sets
- symbolic
- tensor/modules
- tests
- typeset
25 files changed
+60
-107
lines changedLines changed: 5 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2146 | 2146 |
| |
2147 | 2147 |
| |
2148 | 2148 |
| |
2149 |
| - | |
2150 |
| - | |
| 2149 | + | |
2151 | 2150 |
| |
2152 | 2151 |
| |
2153 | 2152 |
| |
2154 |
| - | |
2155 |
| - | |
| 2153 | + | |
2156 | 2154 |
| |
2157 | 2155 |
| |
2158 | 2156 |
| |
2159 | 2157 |
| |
2160 | 2158 |
| |
2161 |
| - | |
2162 |
| - | |
| 2159 | + | |
2163 | 2160 |
| |
2164 | 2161 |
| |
2165 | 2162 |
| |
2166 | 2163 |
| |
2167 | 2164 |
| |
2168 | 2165 |
| |
2169 |
| - | |
2170 |
| - | |
| 2166 | + | |
2171 | 2167 |
| |
2172 |
| - | |
2173 |
| - | |
| 2168 | + | |
2174 | 2169 |
| |
2175 | 2170 |
| |
2176 | 2171 |
| |
|
Lines changed: 16 additions & 22 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
295 | 295 |
| |
296 | 296 |
| |
297 | 297 |
| |
298 |
| - | |
299 |
| - | |
| 298 | + | |
300 | 299 |
| |
301 | 300 |
| |
302 | 301 |
| |
| |||
347 | 346 |
| |
348 | 347 |
| |
349 | 348 |
| |
350 |
| - | |
351 |
| - | |
352 |
| - | |
| 349 | + | |
| 350 | + | |
| 351 | + | |
353 | 352 |
| |
354 |
| - | |
355 |
| - | |
356 |
| - | |
| 353 | + | |
| 354 | + | |
| 355 | + | |
357 | 356 |
| |
358 | 357 |
| |
359 | 358 |
| |
| |||
392 | 391 |
| |
393 | 392 |
| |
394 | 393 |
| |
395 |
| - | |
396 |
| - | |
| 394 | + | |
397 | 395 |
| |
398 | 396 |
| |
399 | 397 |
| |
| |||
434 | 432 |
| |
435 | 433 |
| |
436 | 434 |
| |
437 |
| - | |
438 |
| - | |
439 |
| - | |
| 435 | + | |
| 436 | + | |
440 | 437 |
| |
441 |
| - | |
442 |
| - | |
443 |
| - | |
| 438 | + | |
| 439 | + | |
444 | 440 |
| |
445 | 441 |
| |
446 | 442 |
| |
| |||
519 | 515 |
| |
520 | 516 |
| |
521 | 517 |
| |
522 |
| - | |
523 |
| - | |
524 |
| - | |
| 518 | + | |
| 519 | + | |
525 | 520 |
| |
526 |
| - | |
527 |
| - | |
528 |
| - | |
| 521 | + | |
| 522 | + | |
529 | 523 |
| |
530 | 524 |
| |
531 | 525 |
| |
|
Lines changed: 2 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
889 | 889 |
| |
890 | 890 |
| |
891 | 891 |
| |
892 |
| - | |
893 |
| - | |
| 892 | + | |
894 | 893 |
| |
895 | 894 |
| |
896 | 895 |
| |
| |||
905 | 904 |
| |
906 | 905 |
| |
907 | 906 |
| |
908 |
| - | |
909 |
| - | |
| 907 | + | |
910 | 908 |
| |
911 | 909 |
| |
912 | 910 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1220 | 1220 |
| |
1221 | 1221 |
| |
1222 | 1222 |
| |
1223 |
| - | |
1224 |
| - | |
| 1223 | + | |
1225 | 1224 |
| |
1226 | 1225 |
| |
1227 | 1226 |
| |
|
Lines changed: 3 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1731 | 1731 |
| |
1732 | 1732 |
| |
1733 | 1733 |
| |
1734 |
| - | |
1735 |
| - | |
| 1734 | + | |
1736 | 1735 |
| |
1737 | 1736 |
| |
1738 | 1737 |
| |
| |||
1799 | 1798 |
| |
1800 | 1799 |
| |
1801 | 1800 |
| |
1802 |
| - | |
1803 |
| - | |
| 1801 | + | |
1804 | 1802 |
| |
1805 | 1803 |
| |
1806 | 1804 |
| |
| |||
1890 | 1888 |
| |
1891 | 1889 |
| |
1892 | 1890 |
| |
1893 |
| - | |
1894 |
| - | |
| 1891 | + | |
1895 | 1892 |
| |
1896 | 1893 |
| |
1897 | 1894 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
665 | 665 |
| |
666 | 666 |
| |
667 | 667 |
| |
668 |
| - | |
669 |
| - | |
| 668 | + | |
670 | 669 |
| |
671 | 670 |
| |
672 | 671 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1481 | 1481 |
| |
1482 | 1482 |
| |
1483 | 1483 |
| |
1484 |
| - | |
1485 |
| - | |
1486 |
| - | |
| 1484 | + | |
| 1485 | + | |
1487 | 1486 |
| |
1488 | 1487 |
| |
1489 | 1488 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
719 | 719 |
| |
720 | 720 |
| |
721 | 721 |
| |
722 |
| - | |
723 |
| - | |
| 722 | + | |
724 | 723 |
| |
725 | 724 |
| |
726 | 725 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1701 | 1701 |
| |
1702 | 1702 |
| |
1703 | 1703 |
| |
1704 |
| - | |
1705 |
| - | |
| 1704 | + | |
1706 | 1705 |
| |
1707 | 1706 |
| |
1708 | 1707 |
| |
|
Lines changed: 4 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
365 | 365 |
| |
366 | 366 |
| |
367 | 367 |
| |
368 |
| - | |
369 |
| - | |
| 368 | + | |
370 | 369 |
| |
371 | 370 |
| |
372 | 371 |
| |
| |||
795 | 794 |
| |
796 | 795 |
| |
797 | 796 |
| |
798 |
| - | |
799 | 797 |
| |
800 | 798 |
| |
801 | 799 |
| |
802 |
| - | |
803 |
| - | |
804 |
| - | |
| 800 | + | |
| 801 | + | |
805 | 802 |
| |
806 | 803 |
| |
807 | 804 |
| |
| |||
1124 | 1121 |
| |
1125 | 1122 |
| |
1126 | 1123 |
| |
1127 |
| - | |
1128 |
| - | |
| 1124 | + | |
1129 | 1125 |
| |
1130 | 1126 |
| |
1131 | 1127 |
| |
|
0 commit comments