Instantly share code, notes, and snippets.

# tkmharris/a345225.py

Last active June 11, 2021 23:04
Show Gist options
• Save tkmharris/2f9fe09171b6824696e885912b7ea9dc to your computer and use it in GitHub Desktop.
Code for OEIS sequence 345225
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 """ Function to calculate terms of OEIS sequence A345225. """ def a345225(n): """ Calculate OEIS entry A345225(n) (Orders of 2-primary subgroups of K_n(Z), the algebraic K-theory of the integers.) n: int, >=0 return: int """ n_ = (n % 8) d = {0:1, 1:2, 2:2, 3:16, 4:1, 5:1, 6:1} if n_ == 7: return 2*(n+1) else: return d[n_] """ # uncomment this block to print 50 sample values print(",".join([str(a345225(n)) for n in range(0, 50)])) """
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 """ Script to generate b-file. """ from a345225 import a345225 def b345225(n=1000): """ Generate b-file for OEIS entry A345225. n: int, >=1 return: None """ bfile = "b345225.txt" with open(bfile, 'w') as f: f.writelines([f"{i} {a345225(i)}\n" for i in range(0, n)]) b345225()
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 0 1 1 2 2 2 3 16 4 1 5 1 6 1 7 16 8 1 9 2 10 2 11 16 12 1 13 1 14 1 15 32 16 1 17 2 18 2 19 16 20 1 21 1 22 1 23 48 24 1 25 2 26 2 27 16 28 1 29 1 30 1 31 64 32 1 33 2 34 2 35 16 36 1 37 1 38 1 39 80 40 1 41 2 42 2 43 16 44 1 45 1 46 1 47 96 48 1 49 2 50 2 51 16 52 1 53 1 54 1 55 112 56 1 57 2 58 2 59 16 60 1 61 1 62 1 63 128 64 1 65 2 66 2 67 16 68 1 69 1 70 1 71 144 72 1 73 2 74 2 75 16 76 1 77 1 78 1 79 160 80 1 81 2 82 2 83 16 84 1 85 1 86 1 87 176 88 1 89 2 90 2 91 16 92 1 93 1 94 1 95 192 96 1 97 2 98 2 99 16 100 1 101 1 102 1 103 208 104 1 105 2 106 2 107 16 108 1 109 1 110 1 111 224 112 1 113 2 114 2 115 16 116 1 117 1 118 1 119 240 120 1 121 2 122 2 123 16 124 1 125 1 126 1 127 256 128 1 129 2 130 2 131 16 132 1 133 1 134 1 135 272 136 1 137 2 138 2 139 16 140 1 141 1 142 1 143 288 144 1 145 2 146 2 147 16 148 1 149 1 150 1 151 304 152 1 153 2 154 2 155 16 156 1 157 1 158 1 159 320 160 1 161 2 162 2 163 16 164 1 165 1 166 1 167 336 168 1 169 2 170 2 171 16 172 1 173 1 174 1 175 352 176 1 177 2 178 2 179 16 180 1 181 1 182 1 183 368 184 1 185 2 186 2 187 16 188 1 189 1 190 1 191 384 192 1 193 2 194 2 195 16 196 1 197 1 198 1 199 400 200 1 201 2 202 2 203 16 204 1 205 1 206 1 207 416 208 1 209 2 210 2 211 16 212 1 213 1 214 1 215 432 216 1 217 2 218 2 219 16 220 1 221 1 222 1 223 448 224 1 225 2 226 2 227 16 228 1 229 1 230 1 231 464 232 1 233 2 234 2 235 16 236 1 237 1 238 1 239 480 240 1 241 2 242 2 243 16 244 1 245 1 246 1 247 496 248 1 249 2 250 2 251 16 252 1 253 1 254 1 255 512 256 1 257 2 258 2 259 16 260 1 261 1 262 1 263 528 264 1 265 2 266 2 267 16 268 1 269 1 270 1 271 544 272 1 273 2 274 2 275 16 276 1 277 1 278 1 279 560 280 1 281 2 282 2 283 16 284 1 285 1 286 1 287 576 288 1 289 2 290 2 291 16 292 1 293 1 294 1 295 592 296 1 297 2 298 2 299 16 300 1 301 1 302 1 303 608 304 1 305 2 306 2 307 16 308 1 309 1 310 1 311 624 312 1 313 2 314 2 315 16 316 1 317 1 318 1 319 640 320 1 321 2 322 2 323 16 324 1 325 1 326 1 327 656 328 1 329 2 330 2 331 16 332 1 333 1 334 1 335 672 336 1 337 2 338 2 339 16 340 1 341 1 342 1 343 688 344 1 345 2 346 2 347 16 348 1 349 1 350 1 351 704 352 1 353 2 354 2 355 16 356 1 357 1 358 1 359 720 360 1 361 2 362 2 363 16 364 1 365 1 366 1 367 736 368 1 369 2 370 2 371 16 372 1 373 1 374 1 375 752 376 1 377 2 378 2 379 16 380 1 381 1 382 1 383 768 384 1 385 2 386 2 387 16 388 1 389 1 390 1 391 784 392 1 393 2 394 2 395 16 396 1 397 1 398 1 399 800 400 1 401 2 402 2 403 16 404 1 405 1 406 1 407 816 408 1 409 2 410 2 411 16 412 1 413 1 414 1 415 832 416 1 417 2 418 2 419 16 420 1 421 1 422 1 423 848 424 1 425 2 426 2 427 16 428 1 429 1 430 1 431 864 432 1 433 2 434 2 435 16 436 1 437 1 438 1 439 880 440 1 441 2 442 2 443 16 444 1 445 1 446 1 447 896 448 1 449 2 450 2 451 16 452 1 453 1 454 1 455 912 456 1 457 2 458 2 459 16 460 1 461 1 462 1 463 928 464 1 465 2 466 2 467 16 468 1 469 1 470 1 471 944 472 1 473 2 474 2 475 16 476 1 477 1 478 1 479 960 480 1 481 2 482 2 483 16 484 1 485 1 486 1 487 976 488 1 489 2 490 2 491 16 492 1 493 1 494 1 495 992 496 1 497 2 498 2 499 16 500 1 501 1 502 1 503 1008 504 1 505 2 506 2 507 16 508 1 509 1 510 1 511 1024 512 1 513 2 514 2 515 16 516 1 517 1 518 1 519 1040 520 1 521 2 522 2 523 16 524 1 525 1 526 1 527 1056 528 1 529 2 530 2 531 16 532 1 533 1 534 1 535 1072 536 1 537 2 538 2 539 16 540 1 541 1 542 1 543 1088 544 1 545 2 546 2 547 16 548 1 549 1 550 1 551 1104 552 1 553 2 554 2 555 16 556 1 557 1 558 1 559 1120 560 1 561 2 562 2 563 16 564 1 565 1 566 1 567 1136 568 1 569 2 570 2 571 16 572 1 573 1 574 1 575 1152 576 1 577 2 578 2 579 16 580 1 581 1 582 1 583 1168 584 1 585 2 586 2 587 16 588 1 589 1 590 1 591 1184 592 1 593 2 594 2 595 16 596 1 597 1 598 1 599 1200 600 1 601 2 602 2 603 16 604 1 605 1 606 1 607 1216 608 1 609 2 610 2 611 16 612 1 613 1 614 1 615 1232 616 1 617 2 618 2 619 16 620 1 621 1 622 1 623 1248 624 1 625 2 626 2 627 16 628 1 629 1 630 1 631 1264 632 1 633 2 634 2 635 16 636 1 637 1 638 1 639 1280 640 1 641 2 642 2 643 16 644 1 645 1 646 1 647 1296 648 1 649 2 650 2 651 16 652 1 653 1 654 1 655 1312 656 1 657 2 658 2 659 16 660 1 661 1 662 1 663 1328 664 1 665 2 666 2 667 16 668 1 669 1 670 1 671 1344 672 1 673 2 674 2 675 16 676 1 677 1 678 1 679 1360 680 1 681 2 682 2 683 16 684 1 685 1 686 1 687 1376 688 1 689 2 690 2 691 16 692 1 693 1 694 1 695 1392 696 1 697 2 698 2 699 16 700 1 701 1 702 1 703 1408 704 1 705 2 706 2 707 16 708 1 709 1 710 1 711 1424 712 1 713 2 714 2 715 16 716 1 717 1 718 1 719 1440 720 1 721 2 722 2 723 16 724 1 725 1 726 1 727 1456 728 1 729 2 730 2 731 16 732 1 733 1 734 1 735 1472 736 1 737 2 738 2 739 16 740 1 741 1 742 1 743 1488 744 1 745 2 746 2 747 16 748 1 749 1 750 1 751 1504 752 1 753 2 754 2 755 16 756 1 757 1 758 1 759 1520 760 1 761 2 762 2 763 16 764 1 765 1 766 1 767 1536 768 1 769 2 770 2 771 16 772 1 773 1 774 1 775 1552 776 1 777 2 778 2 779 16 780 1 781 1 782 1 783 1568 784 1 785 2 786 2 787 16 788 1 789 1 790 1 791 1584 792 1 793 2 794 2 795 16 796 1 797 1 798 1 799 1600 800 1 801 2 802 2 803 16 804 1 805 1 806 1 807 1616 808 1 809 2 810 2 811 16 812 1 813 1 814 1 815 1632 816 1 817 2 818 2 819 16 820 1 821 1 822 1 823 1648 824 1 825 2 826 2 827 16 828 1 829 1 830 1 831 1664 832 1 833 2 834 2 835 16 836 1 837 1 838 1 839 1680 840 1 841 2 842 2 843 16 844 1 845 1 846 1 847 1696 848 1 849 2 850 2 851 16 852 1 853 1 854 1 855 1712 856 1 857 2 858 2 859 16 860 1 861 1 862 1 863 1728 864 1 865 2 866 2 867 16 868 1 869 1 870 1 871 1744 872 1 873 2 874 2 875 16 876 1 877 1 878 1 879 1760 880 1 881 2 882 2 883 16 884 1 885 1 886 1 887 1776 888 1 889 2 890 2 891 16 892 1 893 1 894 1 895 1792 896 1 897 2 898 2 899 16 900 1 901 1 902 1 903 1808 904 1 905 2 906 2 907 16 908 1 909 1 910 1 911 1824 912 1 913 2 914 2 915 16 916 1 917 1 918 1 919 1840 920 1 921 2 922 2 923 16 924 1 925 1 926 1 927 1856 928 1 929 2 930 2 931 16 932 1 933 1 934 1 935 1872 936 1 937 2 938 2 939 16 940 1 941 1 942 1 943 1888 944 1 945 2 946 2 947 16 948 1 949 1 950 1 951 1904 952 1 953 2 954 2 955 16 956 1 957 1 958 1 959 1920 960 1 961 2 962 2 963 16 964 1 965 1 966 1 967 1936 968 1 969 2 970 2 971 16 972 1 973 1 974 1 975 1952 976 1 977 2 978 2 979 16 980 1 981 1 982 1 983 1968 984 1 985 2 986 2 987 16 988 1 989 1 990 1 991 1984 992 1 993 2 994 2 995 16 996 1 997 1 998 1 999 2000