
arXiv: 1708.09067
Let F ∈ 𝕂 [ X , Y ] be a polynomial of total degree D defined over a perfect field 𝕂 of characteristic zero or greater than D . Assuming F separable with respect to Y , we provide an algorithm that computes all singular parts of Puiseux series of F above X = 0 in an expected Ø ˜ ( D δ ) operations in 𝕂 , 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 𝕂 [ [ X ] ] [ Y ] up to an arbitrary precision X N with Ø ˜ ( D ( δ + N ) ) arithmetic operations. As a second main corollary, we compute the genus of the plane curve defined by F with Ø ˜ ( D 3 ) arithmetic operations and, if 𝕂 = ℚ , with Ø ˜ ( ( h + 1 ) D 3 ) bit operations using probabilistic algorithms, where h is the logarithmic height of F .
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Analysis of algorithms and problem complexity, Singularities of curves, local rings, Singularities in algebraic geometry, 004, 510, [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Mathematics - Algebraic Geometry, Effectivity, complexity and computational aspects of algebraic geometry, Puiseux series, dynamic evaluation, FOS: Mathematics, desingularisation, complexity, Algebraic Geometry (math.AG), 14Q20, 12Y05, 13P05, 68W30
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Analysis of algorithms and problem complexity, Singularities of curves, local rings, Singularities in algebraic geometry, 004, 510, [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Mathematics - Algebraic Geometry, Effectivity, complexity and computational aspects of algebraic geometry, Puiseux series, dynamic evaluation, FOS: Mathematics, desingularisation, complexity, Algebraic Geometry (math.AG), 14Q20, 12Y05, 13P05, 68W30
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
