FiniteVarietiesDB
A database for varieties over finite fields.
Included in this version:
- a database of projective equivalence classes of hypersurfaces over GF(2). See (https://github.com/eoinmackall/FiniteVarietiesDatabase/blob/main/data/hypersurfaces/README.md) for the degrees and dimensions of hypersurfaces included in the database.
- a TUI for navigating the database locally in your terminal.
How to use this database:
You can paste the following into a terminal.
# 1. Clone the repository
git clone https://github.com/eoinmackall/FiniteVarietiesDatabase.git
cd FiniteVarietiesDatabase
# 2. Download the database
wget https://github.com/eoinmackall/FiniteVarietiesDatabase/releases/download/v0.1.0/hypersurfaces_v0.1.0.tar.gz
# 3. Extract the database (merges into data/hypersurfaces/)
tar -xzvf hypersurfaces_v0.1.0.tar.gzThe database should now be accessible using infrastructure from DuckDB.
Using the included TUI:
NixOS
For users on a NixOS system using flakes, you can simply navigate to the root directory and enter:
nix run .Other Linux systems
For users on another Linux distribution, you can install dependencies and run the TUI using Poetry:
# 1. Install dependencies
poetry install
# 2. launch the TUI locally
poetry run python tui/fvdb.py