File tree
19 files changed
+94
-91
lines changed- src
- doc/en/thematic_tutorials
- sage
- groups/perm_gps
- interfaces
- libs/gap
- matroids
- quivers
- rings/function_field/drinfeld_modules
- sets
- structure
- topology
19 files changed
+94
-91
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
298 | 298 |
| |
299 | 299 |
| |
300 | 300 |
| |
301 |
| - | |
| 301 | + | |
302 | 302 |
| |
303 | 303 |
| |
304 | 304 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 |
| - | |
| 25 | + | |
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
|
Lines changed: 2 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1169 | 1169 |
| |
1170 | 1170 |
| |
1171 | 1171 |
| |
1172 |
| - | |
1173 |
| - | |
1174 |
| - | |
1175 |
| - | |
1176 |
| - | |
| 1172 | + | |
| 1173 | + | |
1177 | 1174 |
| |
1178 | 1175 |
| |
1179 | 1176 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1400 | 1400 |
| |
1401 | 1401 |
| |
1402 | 1402 |
| |
1403 |
| - | |
1404 |
| - | |
| 1403 | + | |
| 1404 | + | |
1405 | 1405 |
| |
1406 | 1406 |
| |
1407 | 1407 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
720 | 720 |
| |
721 | 721 |
| |
722 | 722 |
| |
723 |
| - | |
| 723 | + | |
724 | 724 |
| |
725 | 725 |
| |
726 | 726 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1177 | 1177 |
| |
1178 | 1178 |
| |
1179 | 1179 |
| |
1180 |
| - | |
| 1180 | + | |
1181 | 1181 |
| |
1182 | 1182 |
| |
1183 | 1183 |
| |
| |||
1201 | 1201 |
| |
1202 | 1202 |
| |
1203 | 1203 |
| |
1204 |
| - | |
| 1204 | + | |
1205 | 1205 |
| |
1206 | 1206 |
| |
1207 | 1207 |
| |
| |||
1230 | 1230 |
| |
1231 | 1231 |
| |
1232 | 1232 |
| |
1233 |
| - | |
| 1233 | + | |
1234 | 1234 |
| |
1235 | 1235 |
| |
1236 | 1236 |
| |
|
Lines changed: 3 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
513 | 513 |
| |
514 | 514 |
| |
515 | 515 |
| |
516 |
| - | |
517 |
| - | |
| 516 | + | |
518 | 517 |
| |
519 | 518 |
| |
520 | 519 |
| |
| |||
539 | 538 |
| |
540 | 539 |
| |
541 | 540 |
| |
542 |
| - | |
543 |
| - | |
| 541 | + | |
544 | 542 |
| |
545 | 543 |
| |
546 | 544 |
| |
| |||
570 | 568 |
| |
571 | 569 |
| |
572 | 570 |
| |
573 |
| - | |
| 571 | + | |
574 | 572 |
| |
575 | 573 |
| |
576 | 574 |
| |
|
Lines changed: 3 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
519 | 519 |
| |
520 | 520 |
| |
521 | 521 |
| |
522 |
| - | |
523 |
| - | |
524 |
| - | |
| 522 | + | |
525 | 523 |
| |
526 | 524 |
| |
527 | 525 |
| |
| |||
543 | 541 |
| |
544 | 542 |
| |
545 | 543 |
| |
546 |
| - | |
547 |
| - | |
548 |
| - | |
549 |
| - | |
| 544 | + | |
550 | 545 |
| |
551 | 546 |
| |
552 | 547 |
| |
| |||
575 | 570 |
| |
576 | 571 |
| |
577 | 572 |
| |
578 |
| - | |
| 573 | + | |
579 | 574 |
| |
580 | 575 |
|
Lines changed: 3 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
481 | 481 |
| |
482 | 482 |
| |
483 | 483 |
| |
484 |
| - | |
485 |
| - | |
| 484 | + | |
486 | 485 |
| |
487 | 486 |
| |
488 | 487 |
| |
| |||
502 | 501 |
| |
503 | 502 |
| |
504 | 503 |
| |
505 |
| - | |
506 |
| - | |
| 504 | + | |
507 | 505 |
| |
508 | 506 |
| |
509 | 507 |
| |
| |||
519 | 517 |
| |
520 | 518 |
| |
521 | 519 |
| |
522 |
| - | |
| 520 | + | |
523 | 521 |
| |
524 | 522 |
| |
525 | 523 |
| |
|
Lines changed: 15 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2909 | 2909 |
| |
2910 | 2910 |
| |
2911 | 2911 |
| |
2912 |
| - | |
| 2912 | + | |
2913 | 2913 |
| |
2914 | 2914 |
| |
2915 | 2915 |
| |
| |||
2930 | 2930 |
| |
2931 | 2931 |
| |
2932 | 2932 |
| |
2933 |
| - | |
| 2933 | + | |
2934 | 2934 |
| |
2935 | 2935 |
| |
2936 | 2936 |
| |
| |||
2979 | 2979 |
| |
2980 | 2980 |
| |
2981 | 2981 |
| |
2982 |
| - | |
| 2982 | + | |
2983 | 2983 |
| |
2984 | 2984 |
| |
2985 | 2985 |
| |
| |||
3964 | 3964 |
| |
3965 | 3965 |
| |
3966 | 3966 |
| |
3967 |
| - | |
| 3967 | + | |
3968 | 3968 |
| |
3969 | 3969 |
| |
3970 | 3970 |
| |
| |||
3989 | 3989 |
| |
3990 | 3990 |
| |
3991 | 3991 |
| |
3992 |
| - | |
| 3992 | + | |
3993 | 3993 |
| |
3994 | 3994 |
| |
3995 | 3995 |
| |
| |||
4047 | 4047 |
| |
4048 | 4048 |
| |
4049 | 4049 |
| |
4050 |
| - | |
| 4050 | + | |
4051 | 4051 |
| |
4052 | 4052 |
| |
4053 | 4053 |
| |
| |||
4858 | 4858 |
| |
4859 | 4859 |
| |
4860 | 4860 |
| |
4861 |
| - | |
| 4861 | + | |
4862 | 4862 |
| |
4863 | 4863 |
| |
4864 | 4864 |
| |
| |||
4883 | 4883 |
| |
4884 | 4884 |
| |
4885 | 4885 |
| |
4886 |
| - | |
| 4886 | + | |
4887 | 4887 |
| |
4888 | 4888 |
| |
4889 | 4889 |
| |
| |||
4945 | 4945 |
| |
4946 | 4946 |
| |
4947 | 4947 |
| |
4948 |
| - | |
| 4948 | + | |
4949 | 4949 |
| |
4950 | 4950 |
| |
4951 | 4951 |
| |
| |||
5589 | 5589 |
| |
5590 | 5590 |
| |
5591 | 5591 |
| |
5592 |
| - | |
| 5592 | + | |
5593 | 5593 |
| |
5594 | 5594 |
| |
5595 | 5595 |
| |
| |||
5614 | 5614 |
| |
5615 | 5615 |
| |
5616 | 5616 |
| |
5617 |
| - | |
| 5617 | + | |
5618 | 5618 |
| |
5619 | 5619 |
| |
5620 | 5620 |
| |
| |||
5672 | 5672 |
| |
5673 | 5673 |
| |
5674 | 5674 |
| |
5675 |
| - | |
| 5675 | + | |
5676 | 5676 |
| |
5677 | 5677 |
| |
5678 | 5678 |
| |
| |||
6524 | 6524 |
| |
6525 | 6525 |
| |
6526 | 6526 |
| |
6527 |
| - | |
| 6527 | + | |
6528 | 6528 |
| |
6529 | 6529 |
| |
6530 | 6530 |
| |
| |||
6544 | 6544 |
| |
6545 | 6545 |
| |
6546 | 6546 |
| |
6547 |
| - | |
| 6547 | + | |
6548 | 6548 |
| |
6549 | 6549 |
| |
6550 | 6550 |
| |
| |||
6593 | 6593 |
| |
6594 | 6594 |
| |
6595 | 6595 |
| |
6596 |
| - | |
| 6596 | + | |
6597 | 6597 |
|
0 commit comments