On Friday, March 8, 2024 at 7:37:04 PM UTC+9 Giacomo Pope wrote: As a small update, the repository now contains code to
- perform arithmetic for - the imaginary model (ramified, one point at infinity) for all cases - the real model (split, two points at infinity) for all cases - the real model (inert, zero points at infinity) for even genus Which allows us to do "as much" as Magma does for Jacobians of hyperellipticc curves from the perspective of arithmetic. My current "test" for the arithmetic is that D - D = 0 for all cases, that jacobian_order * D = zero and that order_from_multiple(D) works. If people have other ideas for tests, please let me know. Of course at the moment these tests are over finite fields but you can reasonable use other fields (as Sabrina's message shows) but I am less sure about how to do randomised testing here. I just set https://github.com/sagemath/sage/pull/35467 to "needs review" status. The PR implements Jacobian arithmetic for general projective curves. It is slow compared with Jacobian arithmetic using Mumford representation, but could be used to crosscheck the computations. -- 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/08bd8615-d323-43a3-aa04-314687d64c6an%40googlegroups.com.
