Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Computing integral bases via localization and Hensel lifting

Abstract : We present a new algorithm for computing integral bases in algebraic function fields of one variable, or equivalently for constructing the normalization of a plane curve. Our basic strategy makes use of the concepts of localization and completion, together with the Chinese remainder theorem, to reduce the problem to the task of finding integral bases for the branches of each singularity of the curve. To solve the latter task, in turn, we work with suitably truncated Puiseux expansions. In contrast to van Hoeij’s algorithm (van Hoeij, 1994), which also relies on Puiseux expansions (but pursues a different strategy), we use Hensel’s lemma as a key ingredient. This allows us at some steps of the algorithm to compute factors corresponding to conjugacy classes of Puiseux expansions, without actually computing the individual expansions. In this way, we make substantially less use of the Newton-Puiseux algorithm. In addition, our algorithm is inherently parallel. As a result, it outperforms in most cases any other algorithm known to us by far. Typical applications are the computation of adjoint ideals (B¨ohm et al., 2017) and, based on this, the computation of Riemann-Roch spaces and the parametrization of rational curves.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Alain Monteil Connect in order to contact the contributor
Submitted on : Wednesday, August 5, 2020 - 12:19:39 PM
Last modification on : Wednesday, August 5, 2020 - 5:14:12 PM
Long-term archiving on: : Monday, November 30, 2020 - 2:47:42 PM


Files produced by the author(s)


  • HAL Id : hal-02912148, version 1



Janko Böhm, Wolfram Decker, Santiago Laplagne, Gerhard Pfister. Computing integral bases via localization and Hensel lifting. MEGA 2019 - International Conference on Effective Methods in Algebraic Geometry, Jun 2019, Madrid, Spain. ⟨hal-02912148⟩



Record views


Files downloads