File tree
21 files changed
+198
-186
lines changed- src/sage
- coding
- combinat
- designs
- posets
- features
- graphs
- generators
- groups
- abelian_gps
- perm_gps
21 files changed
+198
-186
lines changedLines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
255 | 255 |
| |
256 | 256 |
| |
257 | 257 |
| |
258 |
| - | |
| 258 | + | |
259 | 259 |
| |
260 | 260 |
| |
261 | 261 |
| |
262 |
| - | |
| 262 | + | |
263 | 263 |
| |
264 | 264 |
| |
265 | 265 |
| |
| |||
270 | 270 |
| |
271 | 271 |
| |
272 | 272 |
| |
273 |
| - | |
| 273 | + | |
274 | 274 |
| |
275 | 275 |
| |
276 | 276 |
| |
| |||
379 | 379 |
| |
380 | 380 |
| |
381 | 381 |
| |
382 |
| - | |
| 382 | + | |
383 | 383 |
| |
384 | 384 |
| |
385 | 385 |
| |
| |||
430 | 430 |
| |
431 | 431 |
| |
432 | 432 |
| |
433 |
| - | |
| 433 | + | |
434 | 434 |
| |
435 | 435 |
| |
436 | 436 |
| |
| |||
471 | 471 |
| |
472 | 472 |
| |
473 | 473 |
| |
474 |
| - | |
| 474 | + | |
475 | 475 |
| |
476 | 476 |
| |
477 | 477 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
731 | 731 |
| |
732 | 732 |
| |
733 | 733 |
| |
734 |
| - | |
| 734 | + | |
735 | 735 |
| |
736 | 736 |
| |
737 | 737 |
| |
| |||
740 | 740 |
| |
741 | 741 |
| |
742 | 742 |
| |
743 |
| - | |
| 743 | + | |
744 | 744 |
| |
745 | 745 |
| |
746 | 746 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
| 38 | + | |
39 | 39 |
| |
40 |
| - | |
| 40 | + | |
41 | 41 |
| |
42 |
| - | |
| 42 | + | |
43 | 43 |
| |
44 | 44 |
| |
45 | 45 |
| |
| |||
86 | 86 |
| |
87 | 87 |
| |
88 | 88 |
| |
89 |
| - | |
90 |
| - | |
| 89 | + | |
| 90 | + | |
91 | 91 |
| |
92 | 92 |
| |
93 | 93 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
60 | 60 |
| |
61 | 61 |
| |
62 | 62 |
| |
63 |
| - | |
| 63 | + | |
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
| |||
93 | 93 |
| |
94 | 94 |
| |
95 | 95 |
| |
96 |
| - | |
| 96 | + | |
97 | 97 |
| |
98 |
| - | |
| 98 | + | |
99 | 99 |
| |
100 | 100 |
| |
101 | 101 |
| |
|
Lines changed: 12 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
910 | 910 |
| |
911 | 911 |
| |
912 | 912 |
| |
913 |
| - | |
| 913 | + | |
914 | 914 |
| |
915 | 915 |
| |
916 | 916 |
| |
917 | 917 |
| |
918 |
| - | |
| 918 | + | |
919 | 919 |
| |
920 | 920 |
| |
921 | 921 |
| |
| |||
1374 | 1374 |
| |
1375 | 1375 |
| |
1376 | 1376 |
| |
1377 |
| - | |
| 1377 | + | |
1378 | 1378 |
| |
1379 | 1379 |
| |
1380 | 1380 |
| |
| |||
1615 | 1615 |
| |
1616 | 1616 |
| |
1617 | 1617 |
| |
1618 |
| - | |
| 1618 | + | |
1619 | 1619 |
| |
1620 | 1620 |
| |
1621 |
| - | |
| 1621 | + | |
1622 | 1622 |
| |
1623 | 1623 |
| |
1624 | 1624 |
| |
| |||
1839 | 1839 |
| |
1840 | 1840 |
| |
1841 | 1841 |
| |
1842 |
| - | |
| 1842 | + | |
1843 | 1843 |
| |
1844 | 1844 |
| |
1845 | 1845 |
| |
1846 | 1846 |
| |
1847 | 1847 |
| |
1848 | 1848 |
| |
1849 | 1849 |
| |
1850 |
| - | |
| 1850 | + | |
1851 | 1851 |
| |
1852 | 1852 |
| |
1853 | 1853 |
| |
1854 |
| - | |
| 1854 | + | |
1855 | 1855 |
| |
1856 | 1856 |
| |
1857 | 1857 |
| |
1858 |
| - | |
| 1858 | + | |
1859 | 1859 |
| |
1860 | 1860 |
| |
1861 | 1861 |
| |
| |||
2001 | 2001 |
| |
2002 | 2002 |
| |
2003 | 2003 |
| |
2004 |
| - | |
2005 |
| - | |
| 2004 | + | |
| 2005 | + | |
2006 | 2006 |
| |
2007 |
| - | |
| 2007 | + | |
2008 | 2008 |
| |
2009 | 2009 |
| |
2010 | 2010 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1004 | 1004 |
| |
1005 | 1005 |
| |
1006 | 1006 |
| |
1007 |
| - | |
1008 |
| - | |
| 1007 | + | |
| 1008 | + | |
1009 | 1009 |
| |
1010 | 1010 |
| |
1011 | 1011 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
245 | 245 |
| |
246 | 246 |
| |
247 | 247 |
| |
248 |
| - | |
249 |
| - | |
| 248 | + | |
| 249 | + | |
250 | 250 |
| |
251 | 251 |
| |
252 | 252 |
| |
| |||
934 | 934 |
| |
935 | 935 |
| |
936 | 936 |
| |
937 |
| - | |
938 |
| - | |
| 937 | + | |
| 938 | + | |
939 | 939 |
| |
940 |
| - | |
| 940 | + | |
941 | 941 |
| |
942 |
| - | |
| 942 | + | |
943 | 943 |
| |
944 | 944 |
| |
945 | 945 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4464 | 4464 |
| |
4465 | 4465 |
| |
4466 | 4466 |
| |
4467 |
| - | |
| 4467 | + | |
4468 | 4468 |
| |
4469 |
| - | |
| 4469 | + | |
4470 | 4470 |
| |
4471 | 4471 |
| |
4472 | 4472 |
| |
| |||
4475 | 4475 |
| |
4476 | 4476 |
| |
4477 | 4477 |
| |
4478 |
| - | |
4479 |
| - | |
4480 |
| - | |
| 4478 | + | |
| 4479 | + | |
| 4480 | + | |
4481 | 4481 |
| |
4482 | 4482 |
| |
4483 | 4483 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Lines changed: 8 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1075 | 1075 |
| |
1076 | 1076 |
| |
1077 | 1077 |
| |
1078 |
| - | |
| 1078 | + | |
1079 | 1079 |
| |
1080 | 1080 |
| |
1081 | 1081 |
| |
| |||
1538 | 1538 |
| |
1539 | 1539 |
| |
1540 | 1540 |
| |
1541 |
| - | |
1542 |
| - | |
| 1541 | + | |
| 1542 | + | |
1543 | 1543 |
| |
1544 |
| - | |
1545 |
| - | |
| 1544 | + | |
| 1545 | + | |
1546 | 1546 |
| |
1547 |
| - | |
| 1547 | + | |
1548 | 1548 |
| |
1549 | 1549 |
| |
1550 | 1550 |
| |
| |||
1797 | 1797 |
| |
1798 | 1798 |
| |
1799 | 1799 |
| |
1800 |
| - | |
| 1800 | + | |
1801 | 1801 |
| |
1802 | 1802 |
| |
1803 | 1803 |
| |
1804 | 1804 |
| |
1805 |
| - | |
| 1805 | + | |
1806 | 1806 |
| |
1807 | 1807 |
| |
1808 | 1808 |
| |
|
0 commit comments