File tree
12 files changed
+290
-255
lines changed- src/sage/topology
12 files changed
+290
-255
lines changedLines changed: 6 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
79 | 79 |
| |
80 | 80 |
| |
81 | 81 |
| |
82 |
| - | |
| 82 | + | |
83 | 83 |
| |
84 | 84 |
| |
85 | 85 |
| |
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
| |||
254 | 254 |
| |
255 | 255 |
| |
256 | 256 |
| |
257 |
| - | |
| 257 | + | |
258 | 258 |
| |
259 | 259 |
| |
260 | 260 |
| |
| |||
290 | 290 |
| |
291 | 291 |
| |
292 | 292 |
| |
293 |
| - | |
| 293 | + | |
294 | 294 |
| |
295 | 295 |
| |
296 | 296 |
| |
| |||
543 | 543 |
| |
544 | 544 |
| |
545 | 545 |
| |
546 |
| - | |
547 |
| - | |
548 |
| - | |
549 | 546 |
| |
550 | 547 |
| |
551 | 548 |
| |
| |||
599 | 596 |
| |
600 | 597 |
| |
601 | 598 |
| |
602 |
| - | |
603 |
| - | |
| 599 | + | |
| 600 | + | |
604 | 601 |
| |
605 | 602 |
| |
606 | 603 |
| |
|
Lines changed: 20 additions & 20 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
226 | 226 |
| |
227 | 227 |
| |
228 | 228 |
| |
229 |
| - | |
| 229 | + | |
230 | 230 |
| |
231 | 231 |
| |
232 | 232 |
| |
| |||
367 | 367 |
| |
368 | 368 |
| |
369 | 369 |
| |
370 |
| - | |
| 370 | + | |
371 | 371 |
| |
372 | 372 |
| |
373 | 373 |
| |
| |||
380 | 380 |
| |
381 | 381 |
| |
382 | 382 |
| |
383 |
| - | |
384 |
| - | |
| 383 | + | |
| 384 | + | |
385 | 385 |
| |
386 | 386 |
| |
387 | 387 |
| |
| |||
464 | 464 |
| |
465 | 465 |
| |
466 | 466 |
| |
467 |
| - | |
| 467 | + | |
468 | 468 |
| |
469 | 469 |
| |
470 | 470 |
| |
| |||
540 | 540 |
| |
541 | 541 |
| |
542 | 542 |
| |
543 |
| - | |
544 |
| - | |
| 543 | + | |
| 544 | + | |
545 | 545 |
| |
546 |
| - | |
| 546 | + | |
547 | 547 |
| |
548 | 548 |
| |
549 | 549 |
| |
| |||
594 | 594 |
| |
595 | 595 |
| |
596 | 596 |
| |
597 |
| - | |
| 597 | + | |
598 | 598 |
| |
599 | 599 |
| |
600 | 600 |
| |
| |||
717 | 717 |
| |
718 | 718 |
| |
719 | 719 |
| |
720 |
| - | |
| 720 | + | |
721 | 721 |
| |
722 | 722 |
| |
723 | 723 |
| |
| |||
1074 | 1074 |
| |
1075 | 1075 |
| |
1076 | 1076 |
| |
1077 |
| - | |
| 1077 | + | |
1078 | 1078 |
| |
1079 | 1079 |
| |
1080 | 1080 |
| |
| |||
1214 | 1214 |
| |
1215 | 1215 |
| |
1216 | 1216 |
| |
1217 |
| - | |
| 1217 | + | |
1218 | 1218 |
| |
1219 | 1219 |
| |
1220 | 1220 |
| |
| |||
1488 | 1488 |
| |
1489 | 1489 |
| |
1490 | 1490 |
| |
1491 |
| - | |
| 1491 | + | |
1492 | 1492 |
| |
1493 |
| - | |
| 1493 | + | |
1494 | 1494 |
| |
1495 | 1495 |
| |
1496 | 1496 |
| |
| |||
1522 | 1522 |
| |
1523 | 1523 |
| |
1524 | 1524 |
| |
1525 |
| - | |
| 1525 | + | |
1526 | 1526 |
| |
1527 | 1527 |
| |
1528 | 1528 |
| |
| |||
1584 | 1584 |
| |
1585 | 1585 |
| |
1586 | 1586 |
| |
1587 |
| - | |
| 1587 | + | |
1588 | 1588 |
| |
1589 | 1589 |
| |
1590 | 1590 |
| |
| |||
1596 | 1596 |
| |
1597 | 1597 |
| |
1598 | 1598 |
| |
1599 |
| - | |
| 1599 | + | |
1600 | 1600 |
| |
1601 | 1601 |
| |
1602 | 1602 |
| |
1603 | 1603 |
| |
1604 | 1604 |
| |
1605 |
| - | |
| 1605 | + | |
1606 | 1606 |
| |
1607 | 1607 |
| |
1608 | 1608 |
| |
| |||
1813 | 1813 |
| |
1814 | 1814 |
| |
1815 | 1815 |
| |
1816 |
| - | |
| 1816 | + | |
1817 | 1817 |
| |
1818 | 1818 |
| |
1819 | 1819 |
| |
| |||
1826 | 1826 |
| |
1827 | 1827 |
| |
1828 | 1828 |
| |
1829 |
| - | |
| 1829 | + | |
1830 | 1830 |
| |
1831 | 1831 |
| |
1832 | 1832 |
| |
|
Lines changed: 26 additions & 27 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
640 | 640 |
| |
641 | 641 |
| |
642 | 642 |
| |
643 |
| - | |
| 643 | + | |
644 | 644 |
| |
645 | 645 |
| |
646 | 646 |
| |
647 | 647 |
| |
648 | 648 |
| |
649 | 649 |
| |
650 |
| - | |
| 650 | + | |
651 | 651 |
| |
652 | 652 |
| |
653 | 653 |
| |
| |||
665 | 665 |
| |
666 | 666 |
| |
667 | 667 |
| |
668 |
| - | |
669 |
| - | |
| 668 | + | |
| 669 | + | |
670 | 670 |
| |
671 |
| - | |
| 671 | + | |
672 | 672 |
| |
673 | 673 |
| |
674 | 674 |
| |
| |||
827 | 827 |
| |
828 | 828 |
| |
829 | 829 |
| |
830 |
| - | |
| 830 | + | |
831 | 831 |
| |
832 |
| - | |
| 832 | + | |
833 | 833 |
| |
834 | 834 |
| |
835 | 835 |
| |
836 |
| - | |
| 836 | + | |
837 | 837 |
| |
838 | 838 |
| |
839 | 839 |
| |
840 |
| - | |
| 840 | + | |
841 | 841 |
| |
842 | 842 |
| |
843 | 843 |
| |
| |||
919 | 919 |
| |
920 | 920 |
| |
921 | 921 |
| |
922 |
| - | |
| 922 | + | |
923 | 923 |
| |
924 |
| - | |
| 924 | + | |
925 | 925 |
| |
926 |
| - | |
| 926 | + | |
927 | 927 |
| |
928 | 928 |
| |
929 | 929 |
| |
| |||
975 | 975 |
| |
976 | 976 |
| |
977 | 977 |
| |
978 |
| - | |
979 |
| - | |
| 978 | + | |
| 979 | + | |
980 | 980 |
| |
981 | 981 |
| |
982 | 982 |
| |
| |||
988 | 988 |
| |
989 | 989 |
| |
990 | 990 |
| |
991 |
| - | |
| 991 | + | |
992 | 992 |
| |
993 | 993 |
| |
994 | 994 |
| |
| |||
1011 | 1011 |
| |
1012 | 1012 |
| |
1013 | 1013 |
| |
1014 |
| - | |
1015 |
| - | |
| 1014 | + | |
| 1015 | + | |
1016 | 1016 |
| |
1017 | 1017 |
| |
1018 | 1018 |
| |
| |||
1021 | 1021 |
| |
1022 | 1022 |
| |
1023 | 1023 |
| |
1024 |
| - | |
| 1024 | + | |
1025 | 1025 |
| |
1026 |
| - | |
| 1026 | + | |
1027 | 1027 |
| |
1028 |
| - | |
1029 |
| - | |
| 1028 | + | |
| 1029 | + | |
1030 | 1030 |
| |
1031 | 1031 |
| |
1032 | 1032 |
| |
| |||
1035 | 1035 |
| |
1036 | 1036 |
| |
1037 | 1037 |
| |
1038 |
| - | |
| 1038 | + | |
1039 | 1039 |
| |
1040 | 1040 |
| |
1041 | 1041 |
| |
| |||
1383 | 1383 |
| |
1384 | 1384 |
| |
1385 | 1385 |
| |
1386 |
| - | |
| 1386 | + | |
1387 | 1387 |
| |
1388 | 1388 |
| |
1389 | 1389 |
| |
| |||
1638 | 1638 |
| |
1639 | 1639 |
| |
1640 | 1640 |
| |
1641 |
| - | |
| 1641 | + | |
1642 | 1642 |
| |
1643 | 1643 |
| |
1644 | 1644 |
| |
| |||
1653 | 1653 |
| |
1654 | 1654 |
| |
1655 | 1655 |
| |
1656 |
| - | |
1657 |
| - | |
1658 |
| - | |
| 1656 | + | |
| 1657 | + | |
1659 | 1658 |
| |
1660 | 1659 |
| |
1661 | 1660 |
| |
|
0 commit comments