Currently, the images for Belyi maps are being stored as a static file lmfdb/static/images/belyi_images.txt in the repo, which takes up about 35MB of space. The whole LMFDB repo is roughly 55MB, so this single file is the majority of it.
Wouldn't it make more sense for this to live in the database as a PostgreSQL table? The file is already in our standard table-export format; its header is id|BelyiDB_plabel|DD_images with types bigint|text|text[], so it looks like it could be uploaded as a PostgreSQL table more or less as-is.
Currently, the images for Belyi maps are being stored as a static file lmfdb/static/images/belyi_images.txt in the repo, which takes up about 35MB of space. The whole LMFDB repo is roughly 55MB, so this single file is the majority of it.
Wouldn't it make more sense for this to live in the database as a PostgreSQL table? The file is already in our standard table-export format; its header is
id|BelyiDB_plabel|DD_imageswith typesbigint|text|text[], so it looks like it could be uploaded as a PostgreSQL table more or less as-is.