Computing Puiseux series: a fast divide and conquer algorithm - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Annales Henri Lebesgue Année : 2021

Computing Puiseux series: a fast divide and conquer algorithm

Résumé

Let $F ∈ K[X, Y ]$ be a polynomial of total degree D defined over a field K of characteristic zero or greater than D. Assuming F separable with respect to Y , we provide an algorithm that computes all Puiseux series of F above X = 0 in less than $O˜(D δ)$ operations in K, where δ is the valuation of the resultant of F and its partial derivative with respect to Y. To this aim, we use a divide and conquer strategy and replace univariate factorisation by dynamic evaluation. As a first main corollary, we compute the irreducible factors of F in $K[[X]][Y ]$ up to an arbitrary precision X N with $O˜(D(δ + N))$ arithmetic operations. As a second main corollary, we compute the genus of the plane curve defined by F with $O˜(D^3)$ arithmetic operations and, if K = Q, with $O˜((h+1) D^3)$ bit operations using probabilistic algorithms, where h is the logarithmic height of F .

Mots clés

Fichier principal
Vignette du fichier
puiseuxd3.pdf (538.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01578214 , version 1 (28-08-2017)
hal-01578214 , version 2 (03-01-2018)
hal-01578214 , version 3 (03-12-2018)

Licence

Identifiants

Citer

Adrien Poteaux, Martin Weimann. Computing Puiseux series: a fast divide and conquer algorithm. Annales Henri Lebesgue, 2021, 4, pp.1061--1102. ⟨10.5802/ahl.97⟩. ⟨hal-01578214v3⟩
608 Consultations
671 Téléchargements

Altmetric

Partager

More