File tree
4 files changed
+19
-43
lines changed- src/sage/groups/perm_gps/partn_ref
4 files changed
+19
-43
lines changedLines changed: 2 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
183 | 183 |
| |
184 | 184 |
| |
185 | 185 |
| |
186 |
| - | |
187 |
| - | |
| 186 | + | |
188 | 187 |
| |
189 | 188 |
| |
190 |
| - | |
191 |
| - | |
192 |
| - | |
193 | 189 |
| |
194 | 190 |
| |
195 | 191 |
| |
| |||
344 | 340 |
| |
345 | 341 |
| |
346 | 342 |
| |
| 343 | + | |
347 | 344 |
| |
348 | 345 |
| |
349 | 346 |
| |
350 | 347 |
| |
351 | 348 |
| |
352 | 349 |
| |
353 | 350 |
| |
354 |
| - | |
355 |
| - | |
356 | 351 |
| |
357 | 352 |
| |
358 | 353 |
| |
|
Lines changed: 5 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
48 |
| - | |
49 | 48 |
| |
50 | 49 |
| |
51 | 50 |
| |
| |||
185 | 184 |
| |
186 | 185 |
| |
187 | 186 |
| |
188 |
| - | |
189 | 187 |
| |
190 | 188 |
| |
191 | 189 |
| |
| |||
210 | 208 |
| |
211 | 209 |
| |
212 | 210 |
| |
213 |
| - | |
| 211 | + | |
214 | 212 |
| |
215 | 213 |
| |
216 | 214 |
| |
217 | 215 |
| |
218 | 216 |
| |
219 | 217 |
| |
220 | 218 |
| |
221 |
| - | |
| 219 | + | |
222 | 220 |
| |
223 | 221 |
| |
224 | 222 |
| |
| |||
327 | 325 |
| |
328 | 326 |
| |
329 | 327 |
| |
330 |
| - | |
331 | 328 |
| |
332 | 329 |
| |
333 | 330 |
| |
| |||
561 | 558 |
| |
562 | 559 |
| |
563 | 560 |
| |
564 |
| - | |
565 |
| - | |
566 |
| - | |
567 |
| - | |
568 | 561 |
| |
569 | 562 |
| |
570 | 563 |
| |
| |||
762 | 755 |
| |
763 | 756 |
| |
764 | 757 |
| |
765 |
| - | |
766 | 758 |
| |
767 | 759 |
| |
768 | 760 |
| |
| |||
866 | 858 |
| |
867 | 859 |
| |
868 | 860 |
| |
869 |
| - | |
| 861 | + | |
870 | 862 |
| |
871 | 863 |
| |
872 | 864 |
| |
| |||
937 | 929 |
| |
938 | 930 |
| |
939 | 931 |
| |
940 |
| - | |
| 932 | + | |
941 | 933 |
| |
942 | 934 |
| |
943 | 935 |
| |
| |||
956 | 948 |
| |
957 | 949 |
| |
958 | 950 |
| |
959 |
| - | |
| 951 | + | |
960 | 952 |
| |
961 | 953 |
| |
962 | 954 |
| |
| |||
1027 | 1019 |
| |
1028 | 1020 |
| |
1029 | 1021 |
| |
1030 |
| - | |
1031 | 1022 |
| |
1032 | 1023 |
| |
1033 | 1024 |
| |
| |||
1039 | 1030 |
| |
1040 | 1031 |
| |
1041 | 1032 |
| |
1042 |
| - | |
1043 | 1033 |
| |
1044 | 1034 |
| |
1045 | 1035 |
| |
| |||
1065 | 1055 |
| |
1066 | 1056 |
| |
1067 | 1057 |
| |
1068 |
| - | |
1069 | 1058 |
| |
1070 | 1059 |
| |
1071 | 1060 |
| |
1072 | 1061 |
| |
1073 | 1062 |
| |
1074 |
| - | |
1075 | 1063 |
| |
1076 | 1064 |
| |
1077 | 1065 |
| |
|
Lines changed: 9 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
235 | 235 |
| |
236 | 236 |
| |
237 | 237 |
| |
238 |
| - | |
239 | 238 |
| |
240 |
| - | |
| 239 | + | |
241 | 240 |
| |
242 | 241 |
| |
243 | 242 |
| |
| |||
650 | 649 |
| |
651 | 650 |
| |
652 | 651 |
| |
653 |
| - | |
| 652 | + | |
654 | 653 |
| |
655 | 654 |
| |
656 | 655 |
| |
| |||
970 | 969 |
| |
971 | 970 |
| |
972 | 971 |
| |
973 |
| - | |
| 972 | + | |
974 | 973 |
| |
975 | 974 |
| |
976 | 975 |
| |
| |||
1001 | 1000 |
| |
1002 | 1001 |
| |
1003 | 1002 |
| |
1004 |
| - | |
| 1003 | + | |
1005 | 1004 |
| |
1006 | 1005 |
| |
1007 | 1006 |
| |
| |||
1017 | 1016 |
| |
1018 | 1017 |
| |
1019 | 1018 |
| |
1020 |
| - | |
1021 |
| - | |
1022 |
| - | |
1023 |
| - | |
1024 | 1019 |
| |
| 1020 | + | |
| 1021 | + | |
| 1022 | + | |
| 1023 | + | |
1025 | 1024 |
| |
1026 |
| - | |
1027 | 1025 |
| |
1028 |
| - | |
| 1026 | + | |
1029 | 1027 |
| |
1030 | 1028 |
| |
1031 | 1029 |
| |
|
Lines changed: 3 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
65 | 65 |
| |
66 | 66 |
| |
67 | 67 |
| |
68 |
| - | |
| 68 | + | |
69 | 69 |
| |
70 | 70 |
| |
71 | 71 |
| |
| |||
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
134 |
| - | |
135 | 134 |
| |
136 | 135 |
| |
137 | 136 |
| |
| |||
464 | 463 |
| |
465 | 464 |
| |
466 | 465 |
| |
467 |
| - | |
468 | 466 |
| |
469 | 467 |
| |
470 | 468 |
| |
| |||
693 | 691 |
| |
694 | 692 |
| |
695 | 693 |
| |
696 |
| - | |
697 | 694 |
| |
698 | 695 |
| |
699 | 696 |
| |
| |||
1147 | 1144 |
| |
1148 | 1145 |
| |
1149 | 1146 |
| |
1150 |
| - | |
| 1147 | + | |
1151 | 1148 |
| |
1152 | 1149 |
| |
1153 | 1150 |
| |
| |||
1353 | 1350 |
| |
1354 | 1351 |
| |
1355 | 1352 |
| |
1356 |
| - | |
1357 | 1353 |
| |
1358 | 1354 |
| |
1359 | 1355 |
| |
| |||
1476 | 1472 |
| |
1477 | 1473 |
| |
1478 | 1474 |
| |
1479 |
| - | |
| 1475 | + | |
1480 | 1476 |
| |
1481 | 1477 |
| |
1482 | 1478 |
| |
| |||
1630 | 1626 |
| |
1631 | 1627 |
| |
1632 | 1628 |
| |
1633 |
| - | |
1634 | 1629 |
| |
1635 | 1630 |
| |
1636 | 1631 |
| |
|
0 commit comments