├── .gitignore ├── README.md ├── docs ├── .gitignore ├── Makefile ├── oeis-tools.dot └── oeis-tools.png └── source ├── .gitignore ├── fetch_oeis_database.py ├── logfiles └── README.txt ├── oeis_database_to_pickle.py ├── oeis_extract.py ├── oeis_fetch.py ├── oeis_keywords.py ├── oeis_lint.py ├── show_database_time.py ├── to_be_sorted ├── catalog.py ├── catalog_files │ ├── 01_infinite_polynomial_sequences.json │ ├── 02_finite_polynomial_sequences.json │ ├── 11_recurrent_01.json │ ├── 12_recurrent_02.json │ ├── 13_recurrent_03.json │ ├── 14_recurrent_04.json │ ├── 15_recurrent_05.json │ ├── 16_recurrent_06.json │ ├── 20_tree_sequences.json │ └── 30_number_theory.json ├── check_database.py ├── compress_oeis.sh ├── db2dir.py ├── find_sequences.py ├── fixes │ ├── a110395.py │ └── a137419.py ├── fraction_based_linear_algebra.py ├── issues.txt ├── misc │ └── mathematica_link.py ├── pickle_to_json.py ├── solve_linear_recurrence.py └── verify_catalog.py ├── utilities ├── __init__.py ├── exit_scope.py ├── fetch_remote_oeis_entry.py ├── oeis_entry.py ├── setup_logging.py └── timer.py └── verify_characters.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/README.md -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | oeis-tools.pdf 2 | -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/oeis-tools.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/docs/oeis-tools.dot -------------------------------------------------------------------------------- /docs/oeis-tools.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/docs/oeis-tools.png -------------------------------------------------------------------------------- /source/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/.gitignore -------------------------------------------------------------------------------- /source/fetch_oeis_database.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/fetch_oeis_database.py -------------------------------------------------------------------------------- /source/logfiles/README.txt: -------------------------------------------------------------------------------- 1 | This directory contains logfiles. 2 | -------------------------------------------------------------------------------- /source/oeis_database_to_pickle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/oeis_database_to_pickle.py -------------------------------------------------------------------------------- /source/oeis_extract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/oeis_extract.py -------------------------------------------------------------------------------- /source/oeis_fetch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/oeis_fetch.py -------------------------------------------------------------------------------- /source/oeis_keywords.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/oeis_keywords.py -------------------------------------------------------------------------------- /source/oeis_lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/oeis_lint.py -------------------------------------------------------------------------------- /source/show_database_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/show_database_time.py -------------------------------------------------------------------------------- /source/to_be_sorted/catalog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog.py -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/01_infinite_polynomial_sequences.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/01_infinite_polynomial_sequences.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/02_finite_polynomial_sequences.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/02_finite_polynomial_sequences.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/11_recurrent_01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/11_recurrent_01.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/12_recurrent_02.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/12_recurrent_02.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/13_recurrent_03.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/13_recurrent_03.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/14_recurrent_04.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/14_recurrent_04.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/15_recurrent_05.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/15_recurrent_05.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/16_recurrent_06.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/16_recurrent_06.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/20_tree_sequences.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/20_tree_sequences.json -------------------------------------------------------------------------------- /source/to_be_sorted/catalog_files/30_number_theory.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/catalog_files/30_number_theory.json -------------------------------------------------------------------------------- /source/to_be_sorted/check_database.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/check_database.py -------------------------------------------------------------------------------- /source/to_be_sorted/compress_oeis.sh: -------------------------------------------------------------------------------- 1 | #! /bin/sh 2 | 3 | exec xz -z -k -f -9 -e oeis.sqlite3 4 | -------------------------------------------------------------------------------- /source/to_be_sorted/db2dir.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/db2dir.py -------------------------------------------------------------------------------- /source/to_be_sorted/find_sequences.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/find_sequences.py -------------------------------------------------------------------------------- /source/to_be_sorted/fixes/a110395.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/fixes/a110395.py -------------------------------------------------------------------------------- /source/to_be_sorted/fixes/a137419.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/fixes/a137419.py -------------------------------------------------------------------------------- /source/to_be_sorted/fraction_based_linear_algebra.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/fraction_based_linear_algebra.py -------------------------------------------------------------------------------- /source/to_be_sorted/issues.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/issues.txt -------------------------------------------------------------------------------- /source/to_be_sorted/misc/mathematica_link.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/misc/mathematica_link.py -------------------------------------------------------------------------------- /source/to_be_sorted/pickle_to_json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/pickle_to_json.py -------------------------------------------------------------------------------- /source/to_be_sorted/solve_linear_recurrence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/solve_linear_recurrence.py -------------------------------------------------------------------------------- /source/to_be_sorted/verify_catalog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/to_be_sorted/verify_catalog.py -------------------------------------------------------------------------------- /source/utilities/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/utilities/exit_scope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/utilities/exit_scope.py -------------------------------------------------------------------------------- /source/utilities/fetch_remote_oeis_entry.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/utilities/fetch_remote_oeis_entry.py -------------------------------------------------------------------------------- /source/utilities/oeis_entry.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/utilities/oeis_entry.py -------------------------------------------------------------------------------- /source/utilities/setup_logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/utilities/setup_logging.py -------------------------------------------------------------------------------- /source/utilities/timer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/utilities/timer.py -------------------------------------------------------------------------------- /source/verify_characters.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sidneycadot/oeis/HEAD/source/verify_characters.py --------------------------------------------------------------------------------