search

numberdb / numberdb-website

Website and database builder for numberdb.org
0 stars 2 forks source link

New number type: p-adic numbers #10

Closed bmatschke closed 3 years ago

bmatschke commented 3 years ago

p-adic numbers can be approximated by rational numbers, and in many cases of interest by integers. Thus implementing p-adic numbers into the numberdb means:

  1. Allow to mark rational numbers and integers in collections as being p-adic for some specified p.
    • What does this mean for the search? Should you only find the number when it is searched for as a p-adic number (with same p)?
  2. One should be able to search for integers/rational number p-adically for any specified p. E.g. 5-adically, entering 3 should also return 100000003 if it is in the table.
    • How would the search index look like? One separate search index for each p in a certain range of small p?
    • What is a good format for the search entry? Perhaps "5-adic: 3" or "Q5: 3" for the above example?
    • Are there other real numbers that should be searchable this way?
bmatschke commented 3 years ago

P-adic numbers were implemented as a new number type. They can be entered in the raw data repository, will be parsed by db_builder and entered into the postgres db. They are searchable in the searchbar, as well as in the advanced search.

That rational numbers in the DB as well as OEIS numbers should be p-adically searchable will be addressed in a new issue...