search

LMFDB / lmfdb

L-Functions and Modular Forms Database
Other
246 stars 199 forks source link

Refining searches with divisibility criteria #5244

Open kimballmartin opened 1 year ago

kimballmartin commented 1 year ago

For searches of modular forms or elliptic curves, I can search for objects with level or conductor dividing some M, but not all multiples of M. If M is squarefree, I can arrange this with bad primes. However, if I want to search for all forms with level a multiple of 125, there seems to be no easy way to do this. More generally, I'd like to have the option to search for levels/conductors with given valuation at a set of primes, rather than just (=0 or >0). Please consider adding such options either to the level/conductor search box and/or the bad primes box.

roed314 commented 1 year ago

It shouldn't be too hard to add a "multiple of" option to the dropdown next to "Level." What UI would you suggest for specifying valuations at a set of primes?

kimballmartin commented 1 year ago

Hmm... I guess for flexibility it would make sense to be able to specify primes and then lists/ranges of exponents, either in the existing "bad p" box or making a new bad p exponent box. E.g., maybe something like "3^2, 5^(2-), 7^(0-1), 11" would search for N with v_3(N) = 2, v_5(N) >= 2, v_7(N) <= 1, v_11(N) >= 1. (Note: I have no experience in UI design)