KisaraBlue / ec-tate-lean

Separate project from mathib4
3 stars 2 forks source link

Add more examples, for instance some from mo #13

Open alexjbest opened 1 year ago

alexjbest commented 1 year ago

https://mathoverflow.net/questions/127908/reduction-types-of-elliptic-curves

alexjbest commented 1 year ago

Made some progress on this, would be cool to have an example (family) for each kodaira type, tamagawa number and possible conductor exponent at least, following tate's table for instance