File tree
51 files changed
+511
-511
lines changed- src/sage
- groups
- interfaces
- modules
- fg_pid
- with_basis
- plot
- plot3d
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
51 files changed
+511
-511
lines changedLines changed: 12 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
820 | 820 |
| |
821 | 821 |
| |
822 | 822 |
| |
823 |
| - | |
| 823 | + | |
824 | 824 |
| |
825 |
| - | |
| 825 | + | |
826 | 826 |
| |
827 | 827 |
| |
828 | 828 |
| |
| |||
916 | 916 |
| |
917 | 917 |
| |
918 | 918 |
| |
919 |
| - | |
| 919 | + | |
920 | 920 |
| |
921 | 921 |
| |
922 | 922 |
| |
| |||
1183 | 1183 |
| |
1184 | 1184 |
| |
1185 | 1185 |
| |
1186 |
| - | |
1187 |
| - | |
| 1186 | + | |
| 1187 | + | |
1188 | 1188 |
| |
1189 | 1189 |
| |
1190 | 1190 |
| |
1191 | 1191 |
| |
1192 | 1192 |
| |
1193 |
| - | |
| 1193 | + | |
1194 | 1194 |
| |
1195 | 1195 |
| |
1196 | 1196 |
| |
| |||
1256 | 1256 |
| |
1257 | 1257 |
| |
1258 | 1258 |
| |
1259 |
| - | |
| 1259 | + | |
1260 | 1260 |
| |
1261 | 1261 |
| |
1262 | 1262 |
| |
1263 | 1263 |
| |
1264 |
| - | |
| 1264 | + | |
1265 | 1265 |
| |
1266 | 1266 |
| |
1267 | 1267 |
| |
1268 | 1268 |
| |
1269 | 1269 |
| |
1270 |
| - | |
| 1270 | + | |
1271 | 1271 |
| |
1272 | 1272 |
| |
1273 | 1273 |
| |
1274 | 1274 |
| |
1275 | 1275 |
| |
1276 |
| - | |
| 1276 | + | |
1277 | 1277 |
| |
1278 |
| - | |
| 1278 | + | |
1279 | 1279 |
| |
1280 | 1280 |
| |
1281 | 1281 |
| |
| |||
1286 | 1286 |
| |
1287 | 1287 |
| |
1288 | 1288 |
| |
1289 |
| - | |
| 1289 | + | |
1290 | 1290 |
| |
1291 | 1291 |
| |
1292 | 1292 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
643 | 643 |
| |
644 | 644 |
| |
645 | 645 |
| |
646 |
| - | |
| 646 | + | |
647 | 647 |
| |
648 | 648 |
| |
649 | 649 |
| |
| |||
826 | 826 |
| |
827 | 827 |
| |
828 | 828 |
| |
829 |
| - | |
| 829 | + | |
830 | 830 |
| |
831 | 831 |
| |
832 | 832 |
| |
| |||
1112 | 1112 |
| |
1113 | 1113 |
| |
1114 | 1114 |
| |
1115 |
| - | |
| 1115 | + | |
1116 | 1116 |
| |
1117 | 1117 |
| |
1118 | 1118 |
| |
| |||
1313 | 1313 |
| |
1314 | 1314 |
| |
1315 | 1315 |
| |
1316 |
| - | |
| 1316 | + | |
1317 | 1317 |
| |
1318 | 1318 |
| |
1319 |
| - | |
| 1319 | + | |
1320 | 1320 |
| |
1321 | 1321 |
| |
1322 | 1322 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
196 | 196 |
| |
197 | 197 |
| |
198 | 198 |
| |
199 |
| - | |
| 199 | + | |
200 | 200 |
| |
201 | 201 |
| |
202 | 202 |
| |
| |||
285 | 285 |
| |
286 | 286 |
| |
287 | 287 |
| |
288 |
| - | |
| 288 | + | |
289 | 289 |
| |
290 | 290 |
| |
291 | 291 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
380 | 380 |
| |
381 | 381 |
| |
382 | 382 |
| |
383 |
| - | |
| 383 | + | |
384 | 384 |
| |
385 | 385 |
| |
386 | 386 |
| |
| |||
547 | 547 |
| |
548 | 548 |
| |
549 | 549 |
| |
550 |
| - | |
| 550 | + | |
551 | 551 |
| |
552 | 552 |
| |
553 | 553 |
| |
| |||
569 | 569 |
| |
570 | 570 |
| |
571 | 571 |
| |
572 |
| - | |
| 572 | + | |
573 | 573 |
| |
574 | 574 |
| |
575 | 575 |
| |
|
Lines changed: 11 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
213 | 213 |
| |
214 | 214 |
| |
215 | 215 |
| |
216 |
| - | |
| 216 | + | |
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
221 |
| - | |
222 |
| - | |
223 |
| - | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
224 | 224 |
| |
225 | 225 |
| |
226 |
| - | |
227 |
| - | |
| 226 | + | |
| 227 | + | |
228 | 228 |
| |
229 |
| - | |
| 229 | + | |
230 | 230 |
| |
231 | 231 |
| |
232 | 232 |
| |
| |||
788 | 788 |
| |
789 | 789 |
| |
790 | 790 |
| |
791 |
| - | |
| 791 | + | |
792 | 792 |
| |
793 | 793 |
| |
794 | 794 |
| |
| |||
870 | 870 |
| |
871 | 871 |
| |
872 | 872 |
| |
873 |
| - | |
| 873 | + | |
874 | 874 |
| |
875 | 875 |
| |
876 |
| - | |
| 876 | + | |
877 | 877 |
| |
878 | 878 |
| |
879 | 879 |
| |
| |||
885 | 885 |
| |
886 | 886 |
| |
887 | 887 |
| |
888 |
| - | |
| 888 | + | |
889 | 889 |
| |
890 | 890 |
| |
891 | 891 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
550 | 550 |
| |
551 | 551 |
| |
552 | 552 |
| |
553 |
| - | |
| 553 | + | |
554 | 554 |
| |
555 |
| - | |
| 555 | + | |
556 | 556 |
| |
557 | 557 |
| |
558 | 558 |
| |
|
Lines changed: 13 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
275 | 275 |
| |
276 | 276 |
| |
277 | 277 |
| |
278 |
| - | |
| 278 | + | |
279 | 279 |
| |
280 | 280 |
| |
281 | 281 |
| |
| |||
384 | 384 |
| |
385 | 385 |
| |
386 | 386 |
| |
387 |
| - | |
| 387 | + | |
388 | 388 |
| |
389 | 389 |
| |
390 | 390 |
| |
391 |
| - | |
| 391 | + | |
392 | 392 |
| |
393 | 393 |
| |
394 | 394 |
| |
| |||
565 | 565 |
| |
566 | 566 |
| |
567 | 567 |
| |
568 |
| - | |
| 568 | + | |
569 | 569 |
| |
570 | 570 |
| |
571 | 571 |
| |
| |||
601 | 601 |
| |
602 | 602 |
| |
603 | 603 |
| |
604 |
| - | |
| 604 | + | |
605 | 605 |
| |
606 |
| - | |
| 606 | + | |
607 | 607 |
| |
608 |
| - | |
| 608 | + | |
609 | 609 |
| |
610 | 610 |
| |
611 | 611 |
| |
| |||
635 | 635 |
| |
636 | 636 |
| |
637 | 637 |
| |
638 |
| - | |
| 638 | + | |
639 | 639 |
| |
640 | 640 |
| |
641 | 641 |
| |
| |||
667 | 667 |
| |
668 | 668 |
| |
669 | 669 |
| |
670 |
| - | |
| 670 | + | |
671 | 671 |
| |
672 |
| - | |
| 672 | + | |
673 | 673 |
| |
674 | 674 |
| |
675 | 675 |
| |
| |||
733 | 733 |
| |
734 | 734 |
| |
735 | 735 |
| |
736 |
| - | |
| 736 | + | |
737 | 737 |
| |
738 | 738 |
| |
739 | 739 |
| |
| |||
750 | 750 |
| |
751 | 751 |
| |
752 | 752 |
| |
753 |
| - | |
| 753 | + | |
754 | 754 |
| |
755 | 755 |
| |
756 | 756 |
| |
| |||
855 | 855 |
| |
856 | 856 |
| |
857 | 857 |
| |
858 |
| - | |
| 858 | + | |
859 | 859 |
| |
860 | 860 |
| |
861 | 861 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
179 |
| - | |
| 179 | + | |
180 | 180 |
| |
181 | 181 |
| |
182 | 182 |
| |
| |||
444 | 444 |
| |
445 | 445 |
| |
446 | 446 |
| |
447 |
| - | |
| 447 | + | |
448 | 448 |
| |
449 | 449 |
| |
450 | 450 |
| |
|
Lines changed: 10 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
168 | 168 |
| |
169 | 169 |
| |
170 | 170 |
| |
171 |
| - | |
172 |
| - | |
173 |
| - | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
174 | 174 |
| |
175 |
| - | |
| 175 | + | |
176 | 176 |
| |
177 | 177 |
| |
178 |
| - | |
| 178 | + | |
179 | 179 |
| |
180 | 180 |
| |
181 | 181 |
| |
| |||
206 | 206 |
| |
207 | 207 |
| |
208 | 208 |
| |
209 |
| - | |
| 209 | + | |
210 | 210 |
| |
211 |
| - | |
| 211 | + | |
212 | 212 |
| |
213 | 213 |
| |
214 | 214 |
| |
| |||
334 | 334 |
| |
335 | 335 |
| |
336 | 336 |
| |
337 |
| - | |
338 |
| - | |
| 337 | + | |
| 338 | + | |
339 | 339 |
| |
340 |
| - | |
| 340 | + | |
341 | 341 |
| |
342 | 342 |
| |
343 | 343 |
| |
|
0 commit comments