File tree
32 files changed
+94
-94
lines changed- src/sage
- algebras
- letterplace
- quatalg
- graphs
- libs/ntl
- matrix
- modular/pollack_stevens
- numerical/backends
- rings
- finite_rings
- number_field
- padics
- polynomial
32 files changed
+94
-94
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
594 | 594 |
| |
595 | 595 |
| |
596 | 596 |
| |
597 |
| - | |
| 597 | + | |
598 | 598 |
| |
599 | 599 |
| |
600 | 600 |
| |
| |||
627 | 627 |
| |
628 | 628 |
| |
629 | 629 |
| |
630 |
| - | |
| 630 | + | |
631 | 631 |
| |
632 | 632 |
| |
633 | 633 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
226 | 226 |
| |
227 | 227 |
| |
228 | 228 |
| |
229 |
| - | |
| 229 | + | |
230 | 230 |
| |
231 |
| - | |
| 231 | + | |
232 | 232 |
| |
233 | 233 |
| |
234 | 234 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
435 | 435 |
| |
436 | 436 |
| |
437 | 437 |
| |
438 |
| - | |
| 438 | + | |
439 | 439 |
| |
440 | 440 |
| |
441 | 441 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
529 | 529 |
| |
530 | 530 |
| |
531 | 531 |
| |
532 |
| - | |
| 532 | + | |
533 | 533 |
| |
534 | 534 |
| |
535 | 535 |
| |
| |||
568 | 568 |
| |
569 | 569 |
| |
570 | 570 |
| |
571 |
| - | |
| 571 | + | |
572 | 572 |
| |
573 | 573 |
| |
574 | 574 |
| |
| |||
606 | 606 |
| |
607 | 607 |
| |
608 | 608 |
| |
609 |
| - | |
| 609 | + | |
610 | 610 |
| |
611 | 611 |
| |
612 | 612 |
| |
| |||
862 | 862 |
| |
863 | 863 |
| |
864 | 864 |
| |
865 |
| - | |
| 865 | + | |
866 | 866 |
| |
867 | 867 |
| |
868 | 868 |
| |
869 | 869 |
| |
870 | 870 |
| |
871 | 871 |
| |
872 |
| - | |
| 872 | + | |
873 | 873 |
| |
874 | 874 |
| |
875 | 875 |
| |
| |||
935 | 935 |
| |
936 | 936 |
| |
937 | 937 |
| |
938 |
| - | |
| 938 | + | |
939 | 939 |
| |
940 | 940 |
| |
941 | 941 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
180 | 180 |
| |
181 | 181 |
| |
182 | 182 |
| |
183 |
| - | |
| 183 | + | |
184 | 184 |
| |
185 | 185 |
| |
186 | 186 |
| |
|
Lines changed: 8 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
726 | 726 |
| |
727 | 727 |
| |
728 | 728 |
| |
729 |
| - | |
730 |
| - | |
| 729 | + | |
| 730 | + | |
731 | 731 |
| |
732 | 732 |
| |
733 | 733 |
| |
734 |
| - | |
735 |
| - | |
| 734 | + | |
| 735 | + | |
736 | 736 |
| |
737 | 737 |
| |
738 | 738 |
| |
739 | 739 |
| |
740 | 740 |
| |
741 |
| - | |
742 |
| - | |
| 741 | + | |
| 742 | + | |
743 | 743 |
| |
744 | 744 |
| |
745 | 745 |
| |
746 | 746 |
| |
747 | 747 |
| |
748 |
| - | |
749 |
| - | |
| 748 | + | |
| 749 | + | |
750 | 750 |
| |
751 | 751 |
| |
752 | 752 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3760 | 3760 |
| |
3761 | 3761 |
| |
3762 | 3762 |
| |
3763 |
| - | |
| 3763 | + | |
3764 | 3764 |
| |
3765 | 3765 |
| |
3766 | 3766 |
| |
| |||
4685 | 4685 |
| |
4686 | 4686 |
| |
4687 | 4687 |
| |
4688 |
| - | |
| 4688 | + | |
4689 | 4689 |
| |
4690 | 4690 |
| |
4691 | 4691 |
| |
| |||
5073 | 5073 |
| |
5074 | 5074 |
| |
5075 | 5075 |
| |
5076 |
| - | |
| 5076 | + | |
5077 | 5077 |
| |
5078 | 5078 |
| |
5079 | 5079 |
| |
| |||
5107 | 5107 |
| |
5108 | 5108 |
| |
5109 | 5109 |
| |
5110 |
| - | |
| 5110 | + | |
5111 | 5111 |
| |
5112 | 5112 |
| |
5113 | 5113 |
| |
|
Lines changed: 17 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3171 | 3171 |
| |
3172 | 3172 |
| |
3173 | 3173 |
| |
3174 |
| - | |
| 3174 | + | |
3175 | 3175 |
| |
3176 | 3176 |
| |
3177 | 3177 |
| |
3178 |
| - | |
| 3178 | + | |
3179 | 3179 |
| |
3180 | 3180 |
| |
3181 | 3181 |
| |
3182 | 3182 |
| |
3183 | 3183 |
| |
3184 | 3184 |
| |
3185 |
| - | |
| 3185 | + | |
3186 | 3186 |
| |
3187 | 3187 |
| |
3188 | 3188 |
| |
3189 |
| - | |
| 3189 | + | |
3190 | 3190 |
| |
3191 |
| - | |
| 3191 | + | |
3192 | 3192 |
| |
3193 | 3193 |
| |
3194 | 3194 |
| |
| |||
3199 | 3199 |
| |
3200 | 3200 |
| |
3201 | 3201 |
| |
3202 |
| - | |
| 3202 | + | |
3203 | 3203 |
| |
3204 | 3204 |
| |
3205 | 3205 |
| |
3206 |
| - | |
| 3206 | + | |
3207 | 3207 |
| |
3208 |
| - | |
| 3208 | + | |
3209 | 3209 |
| |
3210 | 3210 |
| |
3211 | 3211 |
| |
| |||
6690 | 6690 |
| |
6691 | 6691 |
| |
6692 | 6692 |
| |
6693 |
| - | |
| 6693 | + | |
6694 | 6694 |
| |
6695 | 6695 |
| |
6696 | 6696 |
| |
| |||
11329 | 11329 |
| |
11330 | 11330 |
| |
11331 | 11331 |
| |
11332 |
| - | |
| 11332 | + | |
11333 | 11333 |
| |
11334 | 11334 |
| |
11335 | 11335 |
| |
| |||
15474 | 15474 |
| |
15475 | 15475 |
| |
15476 | 15476 |
| |
15477 |
| - | |
| 15477 | + | |
15478 | 15478 |
| |
15479 | 15479 |
| |
15480 | 15480 |
| |
| |||
16005 | 16005 |
| |
16006 | 16006 |
| |
16007 | 16007 |
| |
16008 |
| - | |
| 16008 | + | |
16009 | 16009 |
| |
16010 | 16010 |
| |
16011 | 16011 |
| |
| |||
17747 | 17747 |
| |
17748 | 17748 |
| |
17749 | 17749 |
| |
17750 |
| - | |
| 17750 | + | |
17751 | 17751 |
| |
17752 | 17752 |
| |
17753 | 17753 |
| |
| |||
17757 | 17757 |
| |
17758 | 17758 |
| |
17759 | 17759 |
| |
17760 |
| - | |
| 17760 | + | |
17761 | 17761 |
| |
17762 | 17762 |
| |
17763 | 17763 |
| |
| |||
17842 | 17842 |
| |
17843 | 17843 |
| |
17844 | 17844 |
| |
17845 |
| - | |
| 17845 | + | |
17846 | 17846 |
| |
17847 | 17847 |
| |
17848 | 17848 |
| |
| |||
17889 | 17889 |
| |
17890 | 17890 |
| |
17891 | 17891 |
| |
17892 |
| - | |
| 17892 | + | |
17893 | 17893 |
| |
17894 | 17894 |
| |
17895 | 17895 |
| |
| |||
17942 | 17942 |
| |
17943 | 17943 |
| |
17944 | 17944 |
| |
17945 |
| - | |
| 17945 | + | |
17946 | 17946 |
| |
17947 | 17947 |
| |
17948 | 17948 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2454 | 2454 |
| |
2455 | 2455 |
| |
2456 | 2456 |
| |
2457 |
| - | |
| 2457 | + | |
2458 | 2458 |
| |
2459 | 2459 |
| |
2460 |
| - | |
| 2460 | + | |
2461 | 2461 |
| |
2462 | 2462 |
| |
2463 | 2463 |
| |
| |||
2471 | 2471 |
| |
2472 | 2472 |
| |
2473 | 2473 |
| |
2474 |
| - | |
| 2474 | + | |
2475 | 2475 |
| |
2476 | 2476 |
| |
2477 | 2477 |
| |
2478 | 2478 |
| |
2479 | 2479 |
| |
2480 |
| - | |
| 2480 | + | |
2481 | 2481 |
| |
2482 | 2482 |
| |
2483 | 2483 |
| |
| |||
3310 | 3310 |
| |
3311 | 3311 |
| |
3312 | 3312 |
| |
3313 |
| - | |
| 3313 | + | |
3314 | 3314 |
| |
3315 | 3315 |
| |
3316 | 3316 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
348 | 348 |
| |
349 | 349 |
| |
350 | 350 |
| |
351 |
| - | |
| 351 | + | |
352 | 352 |
| |
353 | 353 |
| |
354 | 354 |
| |
|
0 commit comments