Just wanted to mention that I posted about something similar a few years ago here: https://groups.google.com/g/sage-support/c/j1Y9yuu-VuE/m/cA7N8iqCCAAJ. At the time a trac ticket was opened, but I'm not sure about the status especially post the github migration.
On Wed, Mar 6, 2024 at 11:55 AM Nils Bruin <nbr...@sfu.ca> wrote: > On Wednesday 6 March 2024 at 04:52:16 UTC-8 Giacomo Pope wrote: > > > I think aside from maybe needing additional methods on the hyperelliptic > curve, once the projective model is right and points on the curve are well > defined for all cases. I do not have any intuition on whether the balanced > model will for example have issues with the p-Adic implementation as I have > no experience in this area. > > Tiny bit of feedback on the p-adic bit: as far as I know, things like > Cantor's algorithm use euclidean division, wwhich is a big problem > p-adically: coefficients may vanish unexpectedly and p-adically you cannot > distinguish that from loss of precision. I think that's already a problem > in the existing implementation and I think it will be in yours as well. So > I think you can ignore p-adics to begin with. If you can get it working > usefully and reliably for p-adic base fields as well then that's a real > win! > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/f4de3410-1d9e-4cc7-b518-7471f6c1ecean%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/f4de3410-1d9e-4cc7-b518-7471f6c1ecean%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAKLKTSQVthP93H3dqkK5UBdo_1xQi1iAVZjUP6oo-7YAo2QPaw%40mail.gmail.com.
