File tree
31 files changed
+115
-115
lines changed- src/sage
- misc
- modular
- btquotients
- modform_hecketriangle
- pollack_stevens
- numerical
- plot
- plot3d
- quadratic_forms
- genera
- repl
- sets
- structure
- proof
- tensor/modules
- tests
- topology
31 files changed
+115
-115
lines changedLines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
66 |
| - | |
| 66 | + | |
67 | 67 |
| |
68 | 68 |
| |
69 | 69 |
| |
| |||
80 | 80 |
| |
81 | 81 |
| |
82 | 82 |
| |
83 |
| - | |
| 83 | + | |
84 | 84 |
| |
85 | 85 |
| |
86 | 86 |
| |
| |||
96 | 96 |
| |
97 | 97 |
| |
98 | 98 |
| |
99 |
| - | |
| 99 | + | |
100 | 100 |
| |
101 | 101 |
| |
102 | 102 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1905 | 1905 |
| |
1906 | 1906 |
| |
1907 | 1907 |
| |
1908 |
| - | |
| 1908 | + | |
1909 | 1909 |
| |
1910 | 1910 |
| |
1911 | 1911 |
| |
| |||
2605 | 2605 |
| |
2606 | 2606 |
| |
2607 | 2607 |
| |
2608 |
| - | |
| 2608 | + | |
2609 | 2609 |
| |
2610 | 2610 |
| |
2611 | 2611 |
| |
|
Lines changed: 7 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
258 | 258 |
| |
259 | 259 |
| |
260 | 260 |
| |
261 |
| - | |
| 261 | + | |
262 | 262 |
| |
263 | 263 |
| |
264 | 264 |
| |
| |||
295 | 295 |
| |
296 | 296 |
| |
297 | 297 |
| |
298 |
| - | |
| 298 | + | |
299 | 299 |
| |
300 | 300 |
| |
301 | 301 |
| |
| |||
646 | 646 |
| |
647 | 647 |
| |
648 | 648 |
| |
649 |
| - | |
| 649 | + | |
650 | 650 |
| |
651 | 651 |
| |
652 | 652 |
| |
| |||
715 | 715 |
| |
716 | 716 |
| |
717 | 717 |
| |
718 |
| - | |
| 718 | + | |
719 | 719 |
| |
720 | 720 |
| |
721 | 721 |
| |
| |||
766 | 766 |
| |
767 | 767 |
| |
768 | 768 |
| |
769 |
| - | |
| 769 | + | |
770 | 770 |
| |
771 | 771 |
| |
772 | 772 |
| |
| |||
1039 | 1039 |
| |
1040 | 1040 |
| |
1041 | 1041 |
| |
1042 |
| - | |
| 1042 | + | |
1043 | 1043 |
| |
1044 | 1044 |
| |
1045 | 1045 |
| |
| |||
1944 | 1944 |
| |
1945 | 1945 |
| |
1946 | 1946 |
| |
1947 |
| - | |
| 1947 | + | |
1948 | 1948 |
| |
1949 | 1949 |
| |
1950 | 1950 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
835 | 835 |
| |
836 | 836 |
| |
837 | 837 |
| |
838 |
| - | |
| 838 | + | |
839 | 839 |
| |
840 | 840 |
| |
841 | 841 |
| |
| |||
985 | 985 |
| |
986 | 986 |
| |
987 | 987 |
| |
988 |
| - | |
| 988 | + | |
989 | 989 |
| |
990 | 990 |
| |
991 | 991 |
| |
| |||
2042 | 2042 |
| |
2043 | 2043 |
| |
2044 | 2044 |
| |
2045 |
| - | |
| 2045 | + | |
2046 | 2046 |
| |
2047 | 2047 |
| |
2048 | 2048 |
| |
| |||
2164 | 2164 |
| |
2165 | 2165 |
| |
2166 | 2166 |
| |
2167 |
| - | |
| 2167 | + | |
2168 | 2168 |
| |
2169 | 2169 |
| |
2170 | 2170 |
| |
| |||
2180 | 2180 |
| |
2181 | 2181 |
| |
2182 | 2182 |
| |
2183 |
| - | |
| 2183 | + | |
2184 | 2184 |
| |
2185 | 2185 |
| |
2186 | 2186 |
| |
|
Lines changed: 8 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
67 |
| - | |
| 67 | + | |
68 | 68 |
| |
69 | 69 |
| |
70 | 70 |
| |
| |||
126 | 126 |
| |
127 | 127 |
| |
128 | 128 |
| |
129 |
| - | |
| 129 | + | |
130 | 130 |
| |
131 | 131 |
| |
132 | 132 |
| |
| |||
185 | 185 |
| |
186 | 186 |
| |
187 | 187 |
| |
188 |
| - | |
| 188 | + | |
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
| |||
244 | 244 |
| |
245 | 245 |
| |
246 | 246 |
| |
247 |
| - | |
| 247 | + | |
248 | 248 |
| |
249 | 249 |
| |
250 | 250 |
| |
| |||
303 | 303 |
| |
304 | 304 |
| |
305 | 305 |
| |
306 |
| - | |
| 306 | + | |
307 | 307 |
| |
308 | 308 |
| |
309 | 309 |
| |
| |||
362 | 362 |
| |
363 | 363 |
| |
364 | 364 |
| |
365 |
| - | |
| 365 | + | |
366 | 366 |
| |
367 | 367 |
| |
368 | 368 |
| |
| |||
421 | 421 |
| |
422 | 422 |
| |
423 | 423 |
| |
424 |
| - | |
| 424 | + | |
425 | 425 |
| |
426 | 426 |
| |
427 | 427 |
| |
| |||
479 | 479 |
| |
480 | 480 |
| |
481 | 481 |
| |
482 |
| - | |
| 482 | + | |
483 | 483 |
| |
484 | 484 |
| |
485 | 485 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1523 | 1523 |
| |
1524 | 1524 |
| |
1525 | 1525 |
| |
1526 |
| - | |
| 1526 | + | |
1527 | 1527 |
| |
1528 | 1528 |
| |
1529 | 1529 |
| |
| |||
1590 | 1590 |
| |
1591 | 1591 |
| |
1592 | 1592 |
| |
1593 |
| - | |
| 1593 | + | |
1594 | 1594 |
| |
1595 | 1595 |
| |
1596 | 1596 |
| |
| |||
1694 | 1694 |
| |
1695 | 1695 |
| |
1696 | 1696 |
| |
1697 |
| - | |
| 1697 | + | |
1698 | 1698 |
| |
1699 | 1699 |
| |
1700 | 1700 |
| |
| |||
1756 | 1756 |
| |
1757 | 1757 |
| |
1758 | 1758 |
| |
1759 |
| - | |
| 1759 | + | |
1760 | 1760 |
| |
1761 | 1761 |
| |
1762 | 1762 |
| |
| |||
1827 | 1827 |
| |
1828 | 1828 |
| |
1829 | 1829 |
| |
1830 |
| - | |
| 1830 | + | |
1831 | 1831 |
| |
1832 | 1832 |
| |
1833 | 1833 |
| |
| |||
2203 | 2203 |
| |
2204 | 2204 |
| |
2205 | 2205 |
| |
2206 |
| - | |
| 2206 | + | |
2207 | 2207 |
| |
2208 | 2208 |
| |
2209 | 2209 |
| |
|
Lines changed: 11 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
85 | 85 |
| |
86 | 86 |
| |
87 | 87 |
| |
88 |
| - | |
| 88 | + | |
89 | 89 |
| |
90 | 90 |
| |
91 | 91 |
| |
| |||
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
134 |
| - | |
| 134 | + | |
135 | 135 |
| |
136 | 136 |
| |
137 | 137 |
| |
| |||
178 | 178 |
| |
179 | 179 |
| |
180 | 180 |
| |
181 |
| - | |
| 181 | + | |
182 | 182 |
| |
183 | 183 |
| |
184 | 184 |
| |
| |||
340 | 340 |
| |
341 | 341 |
| |
342 | 342 |
| |
343 |
| - | |
| 343 | + | |
344 | 344 |
| |
345 | 345 |
| |
346 | 346 |
| |
| |||
512 | 512 |
| |
513 | 513 |
| |
514 | 514 |
| |
515 |
| - | |
| 515 | + | |
516 | 516 |
| |
517 | 517 |
| |
518 | 518 |
| |
| |||
559 | 559 |
| |
560 | 560 |
| |
561 | 561 |
| |
562 |
| - | |
| 562 | + | |
563 | 563 |
| |
564 | 564 |
| |
565 | 565 |
| |
| |||
604 | 604 |
| |
605 | 605 |
| |
606 | 606 |
| |
607 |
| - | |
| 607 | + | |
608 | 608 |
| |
609 | 609 |
| |
610 | 610 |
| |
| |||
747 | 747 |
| |
748 | 748 |
| |
749 | 749 |
| |
750 |
| - | |
| 750 | + | |
751 | 751 |
| |
752 | 752 |
| |
753 | 753 |
| |
| |||
757 | 757 |
| |
758 | 758 |
| |
759 | 759 |
| |
760 |
| - | |
| 760 | + | |
761 | 761 |
| |
762 | 762 |
| |
763 | 763 |
| |
| |||
899 | 899 |
| |
900 | 900 |
| |
901 | 901 |
| |
902 |
| - | |
| 902 | + | |
903 | 903 |
| |
904 | 904 |
| |
905 | 905 |
| |
| |||
909 | 909 |
| |
910 | 910 |
| |
911 | 911 |
| |
912 |
| - | |
| 912 | + | |
913 | 913 |
| |
914 | 914 |
| |
915 | 915 |
| |
|
0 commit comments