File tree
10 files changed
+46
-26
lines changed- src/sage/combinat
- designs
- matrices
- posets
- words
10 files changed
+46
-26
lines changedLines changed: 5 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
| 33 | + | |
| 34 | + | |
33 | 35 |
| |
34 | 36 |
| |
35 | 37 |
| |
| |||
1416 | 1418 |
| |
1417 | 1419 |
| |
1418 | 1420 |
| |
1419 |
| - | |
1420 |
| - | |
1421 |
| - | |
1422 |
| - | |
| 1421 | + | |
| 1422 | + | |
| 1423 | + | |
1423 | 1424 |
| |
1424 | 1425 |
| |
1425 | 1426 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
| 54 | + | |
| 55 | + | |
54 | 56 |
| |
55 | 57 |
| |
56 | 58 |
| |
| |||
285 | 287 |
| |
286 | 288 |
| |
287 | 289 |
| |
288 |
| - | |
| 290 | + | |
289 | 291 |
| |
290 | 292 |
| |
291 | 293 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
| 43 | + | |
| 44 | + | |
43 | 45 |
| |
44 | 46 |
| |
45 | 47 |
| |
| |||
879 | 881 |
| |
880 | 882 |
| |
881 | 883 |
| |
882 |
| - | |
| 884 | + | |
883 | 885 |
| |
884 | 886 |
| |
885 | 887 |
| |
| |||
1899 | 1901 |
| |
1900 | 1902 |
| |
1901 | 1903 |
| |
1902 |
| - | |
| 1904 | + | |
1903 | 1905 |
| |
1904 | 1906 |
| |
1905 | 1907 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
58 | 58 |
| |
59 | 59 |
| |
60 | 60 |
| |
| 61 | + | |
| 62 | + | |
61 | 63 |
| |
62 | 64 |
| |
63 | 65 |
| |
| |||
1705 | 1707 |
| |
1706 | 1708 |
| |
1707 | 1709 |
| |
1708 |
| - | |
| 1710 | + | |
1709 | 1711 |
| |
1710 | 1712 |
| |
1711 | 1713 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
| 49 | + | |
| 50 | + | |
49 | 51 |
| |
50 | 52 |
| |
51 | 53 |
| |
| |||
798 | 800 |
| |
799 | 801 |
| |
800 | 802 |
| |
801 |
| - | |
| 803 | + | |
802 | 804 |
| |
803 | 805 |
| |
804 | 806 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
930 | 930 |
| |
931 | 931 |
| |
932 | 932 |
| |
| 933 | + | |
| 934 | + | |
933 | 935 |
| |
934 | 936 |
| |
935 | 937 |
| |
| |||
6729 | 6731 |
| |
6730 | 6732 |
| |
6731 | 6733 |
| |
6732 |
| - | |
| 6734 | + | |
6733 | 6735 |
| |
6734 | 6736 |
| |
6735 | 6737 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
55 | 55 |
| |
56 | 56 |
| |
57 | 57 |
| |
| 58 | + | |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
| |||
296 | 298 |
| |
297 | 299 |
| |
298 | 300 |
| |
299 |
| - | |
300 |
| - | |
| 301 | + | |
| 302 | + | |
301 | 303 |
| |
302 | 304 |
| |
303 | 305 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
228 | 228 |
| |
229 | 229 |
| |
230 | 230 |
| |
| 231 | + | |
| 232 | + | |
231 | 233 |
| |
232 | 234 |
| |
233 | 235 |
| |
| |||
5480 | 5482 |
| |
5481 | 5483 |
| |
5482 | 5484 |
| |
5483 |
| - | |
| 5485 | + | |
5484 | 5486 |
| |
5485 | 5487 |
| |
5486 | 5488 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
244 | 244 |
| |
245 | 245 |
| |
246 | 246 |
| |
| 247 | + | |
| 248 | + | |
247 | 249 |
| |
248 | 250 |
| |
249 | 251 |
| |
| |||
6003 | 6005 |
| |
6004 | 6006 |
| |
6005 | 6007 |
| |
6006 |
| - | |
6007 |
| - | |
| 6008 | + | |
| 6009 | + | |
6008 | 6010 |
| |
6009 | 6011 |
| |
6010 | 6012 |
| |
|
Lines changed: 14 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| 13 | + | |
| 14 | + | |
| 15 | + | |
13 | 16 |
| |
14 | 17 |
| |
15 | 18 |
| |
| |||
204 | 207 |
| |
205 | 208 |
| |
206 | 209 |
| |
207 |
| - | |
208 |
| - | |
| 210 | + | |
| 211 | + | |
209 | 212 |
| |
210 | 213 |
| |
211 | 214 |
| |
| |||
448 | 451 |
| |
449 | 452 |
| |
450 | 453 |
| |
451 |
| - | |
| 454 | + | |
452 | 455 |
| |
453 | 456 |
| |
454 | 457 |
| |
| |||
752 | 755 |
| |
753 | 756 |
| |
754 | 757 |
| |
755 |
| - | |
| 758 | + | |
756 | 759 |
| |
757 | 760 |
| |
758 | 761 |
| |
| |||
836 | 839 |
| |
837 | 840 |
| |
838 | 841 |
| |
839 |
| - | |
| 842 | + | |
840 | 843 |
| |
841 | 844 |
| |
842 | 845 |
| |
| |||
1122 | 1125 |
| |
1123 | 1126 |
| |
1124 | 1127 |
| |
1125 |
| - | |
| 1128 | + | |
1126 | 1129 |
| |
1127 | 1130 |
| |
1128 | 1131 |
| |
| |||
1202 | 1205 |
| |
1203 | 1206 |
| |
1204 | 1207 |
| |
1205 |
| - | |
| 1208 | + | |
1206 | 1209 |
| |
1207 | 1210 |
| |
1208 | 1211 |
| |
| |||
1255 | 1258 |
| |
1256 | 1259 |
| |
1257 | 1260 |
| |
1258 |
| - | |
| 1261 | + | |
1259 | 1262 |
| |
1260 | 1263 |
| |
1261 | 1264 |
| |
| |||
1270 | 1273 |
| |
1271 | 1274 |
| |
1272 | 1275 |
| |
1273 |
| - | |
| 1276 | + | |
1274 | 1277 |
| |
1275 | 1278 |
| |
1276 | 1279 |
| |
| |||
1333 | 1336 |
| |
1334 | 1337 |
| |
1335 | 1338 |
| |
1336 |
| - | |
1337 |
| - | |
| 1339 | + | |
| 1340 | + | |
1338 | 1341 |
| |
1339 | 1342 |
| |
1340 | 1343 |
| |
|
0 commit comments