Abstract : Arithmetic in the divisor class group of a hyperelliptic curve is a fundamental component of algebraic geometry packages implemented in computer algebra systems such as Magma and Sage. In this paper, we present an adaptation of Shanks’ NUCOMP algorithm for split model hyperelliptic curves of arbitrary genus that uses balanced divisors and includes a number of enhancements to optimize its efficiency in that setting. Our version of NUCOMP offers better performance than Cantor’s algorithm in the balanced divisor setting. Compared with Magma’s built-in arithmetic, our Magma implementation shows significant speed-ups for curves of all but the smallest genera, with the improvement increasing as the genus grows.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02989881 Contributor : Laurent ImbertConnect in order to contact the contributor Submitted on : Thursday, November 5, 2020 - 12:29:13 PM Last modification on : Wednesday, November 3, 2021 - 7:45:21 AM Long-term archiving on: : Saturday, February 6, 2021 - 7:12:15 PM
Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr. Balanced NUCOMP. 22nd International Workshop on Computer Algebra in Scientific Computing (CASC), Sep 2020, Linz, Austria. pp.402-420, ⟨10.1007/978-3-030-60026-6_23⟩. ⟨lirmm-02989881⟩