File tree
11 files changed
+32
-29
lines changed- src/sage/groups
- additive_abelian
- perm_gps
- partn_ref2
- partn_ref
11 files changed
+32
-29
lines changedLines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
| 15 | + | |
15 | 16 |
| |
16 | 17 |
| |
17 | 18 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
465 | 465 |
| |
466 | 466 |
| |
467 | 467 |
| |
468 |
| - | |
| 468 | + | |
469 | 469 |
| |
470 | 470 |
| |
471 | 471 |
| |
|
Lines changed: 4 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
221 |
| - | |
222 | 221 |
| |
223 | 222 |
| |
224 | 223 |
| |
225 | 224 |
| |
226 |
| - | |
227 | 225 |
| |
228 | 226 |
| |
229 | 227 |
| |
| |||
354 | 352 |
| |
355 | 353 |
| |
356 | 354 |
| |
357 |
| - | |
358 | 355 |
| |
359 |
| - | |
| 356 | + | |
| 357 | + | |
360 | 358 |
| |
361 | 359 |
| |
362 | 360 |
| |
| |||
1994 | 1992 |
| |
1995 | 1993 |
| |
1996 | 1994 |
| |
1997 |
| - | |
| 1995 | + | |
1998 | 1996 |
| |
1999 |
| - | |
| 1997 | + | |
2000 | 1998 |
| |
2001 | 1999 |
| |
2002 | 2000 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1486 | 1486 |
| |
1487 | 1487 |
| |
1488 | 1488 |
| |
1489 |
| - | |
| 1489 | + | |
1490 | 1490 |
| |
1491 | 1491 |
| |
1492 | 1492 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
34 |
| - | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
944 | 944 |
| |
945 | 945 |
| |
946 | 946 |
| |
947 |
| - | |
| 947 | + | |
948 | 948 |
| |
949 | 949 |
| |
950 | 950 |
| |
|
Lines changed: 7 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1257 | 1257 |
| |
1258 | 1258 |
| |
1259 | 1259 |
| |
1260 |
| - | |
1261 |
| - | |
| 1260 | + | |
| 1261 | + | |
| 1262 | + | |
1262 | 1263 |
| |
1263 | 1264 |
| |
1264 | 1265 |
| |
| |||
1534 | 1535 |
| |
1535 | 1536 |
| |
1536 | 1537 |
| |
1537 |
| - | |
| 1538 | + | |
| 1539 | + | |
| 1540 | + | |
| 1541 | + | |
1538 | 1542 |
| |
1539 | 1543 |
| |
1540 | 1544 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
685 | 685 |
| |
686 | 686 |
| |
687 | 687 |
| |
688 |
| - | |
| 688 | + | |
| 689 | + | |
| 690 | + | |
689 | 691 |
| |
690 | 692 |
| |
691 | 693 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
639 | 639 |
| |
640 | 640 |
| |
641 | 641 |
| |
642 |
| - | |
| 642 | + | |
643 | 643 |
| |
644 | 644 |
| |
645 | 645 |
| |
|
Lines changed: 9 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2795 | 2795 |
| |
2796 | 2796 |
| |
2797 | 2797 |
| |
2798 |
| - | |
| 2798 | + | |
2799 | 2799 |
| |
2800 | 2800 |
| |
2801 | 2801 |
| |
| |||
3173 | 3173 |
| |
3174 | 3174 |
| |
3175 | 3175 |
| |
3176 |
| - | |
| 3176 | + | |
3177 | 3177 |
| |
3178 | 3178 |
| |
3179 | 3179 |
| |
| |||
3222 | 3222 |
| |
3223 | 3223 |
| |
3224 | 3224 |
| |
3225 |
| - | |
| 3225 | + | |
3226 | 3226 |
| |
3227 | 3227 |
| |
3228 | 3228 |
| |
| |||
3258 | 3258 |
| |
3259 | 3259 |
| |
3260 | 3260 |
| |
3261 |
| - | |
| 3261 | + | |
3262 | 3262 |
| |
3263 | 3263 |
| |
3264 | 3264 |
| |
| |||
3306 | 3306 |
| |
3307 | 3307 |
| |
3308 | 3308 |
| |
3309 |
| - | |
| 3309 | + | |
3310 | 3310 |
| |
3311 | 3311 |
| |
3312 | 3312 |
| |
| |||
3630 | 3630 |
| |
3631 | 3631 |
| |
3632 | 3632 |
| |
3633 |
| - | |
| 3633 | + | |
3634 | 3634 |
| |
3635 | 3635 |
| |
3636 | 3636 |
| |
| |||
3670 | 3670 |
| |
3671 | 3671 |
| |
3672 | 3672 |
| |
3673 |
| - | |
3674 |
| - | |
3675 |
| - | |
3676 |
| - | |
3677 | 3673 |
| |
3678 |
| - | |
| 3674 | + | |
| 3675 | + | |
| 3676 | + | |
3679 | 3677 |
| |
3680 | 3678 |
| |
3681 | 3679 |
| |
|
0 commit comments