Thanks for mentioning the related discussion. We checked that in the new implementation in Giacomo's repository, this issue is solved.
In the example that was given in the chat, we obtain the following output: ``` sage: R.<x> = QQ[] sage: f = 144*x^6 - 240*x^5 + 148*x^4 + 16*x^3 - 16*x^2 - 4*x + 1 sage: H = HyperellipticCurveNew(f) sage: J = Jacobian(H) sage: P = J(H([0,1]))-J(H([0,-1])) sage: (5*P).is_zero() False sage: 5*P (1, 0 : 2) ``` Here, this means $$ 5 P = (1:12:0) - (1:-12:0) $$ which coincides with the result from magma. Kwankyu Lee schrieb am Donnerstag, 7. März 2024 um 05:44:33 UTC+1: > It's still here: https://github.com/sagemath/sage/issues/32024 -- 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/b9905212-152b-4424-8687-2178e6e9fe5bn%40googlegroups.com.
