search

michaelmusty / BelyiDB

A Database of Belyi Maps
https://arxiv.org/abs/1805.07751
MIT License
2 stars 3 forks source link

improved maps #14

Closed ciaran-schembri closed 3 years ago

michaelmusty commented 3 years ago

Cool. Maybe @jvoight should review this?

SamSchiavone commented 3 years ago

Yeah, Ciaran said that we should probably double check that the new maps are isomorphic to the old ones.

jvoight commented 3 years ago

Some of the code originated with me, and Ciaran sent maps to me last year and they looked good to me then and do now. I think that means I don't have fresh eyes, so if we feel like vetting this further, it should come from @michaelmusty or @SamSchiavone. Since this is a new column, not replacing old data, is there a reason why we wouldn't fast track this to start displaying these as an "alternate model"?

I mean, it's always a good idea to double-check, of course! But since the new maps are obtained from the old by substitution, something would have to be pretty wrong throughout. And because of good reduction, if we wanted to do something easy, it really should suffice to run BelyiMapSanityCheck (with lax false, since we're moving the branch points)--this doesn't verify the monodromy group, but it does confirm that it's a Belyi map.