
The paper describes in detail a symbolic-numeric strategy to compute floating point Puiseux series defined by a bivariate polynomial. The key idea is to perform modular reduction, that is, working modulo a suitably chosen prime \(p\). The symbolic part of the computation ensures that a later numerical stage has a sufficiently precise input. In Sections 2 and 3, details of Puiseux series expansion are presented such that the paper serves as reference for such computations. In Section 4 the Newton polygon technique is refined to be applicable in the algorithm ``RNPuiseux'', the main result of this paper. To this end the data structure of ``polygon trees'' is defined and examined. Section 5 contains proofs that a good choice of \(p\) is possible, and Section 6 discuss various aspects of the algorithm, such as the size of the chosen prime \(p\).
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Algebraic functions, Algebra and Number Theory, RNPuiseux, 511, Symbolic–numeric algorithm, Symbolic computation and algebraic computation, Numerical approximation and computational geometry (primarily algorithms), Symbolic-numeric algorithm, Computational Mathematics, symbolic-numerical computation, modular reduction, Puiseux series, algebraic functions, Finite fields, Polynomials in general fields (irreducibility, etc.), Polynomials (irreducibility, etc.)
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Algebraic functions, Algebra and Number Theory, RNPuiseux, 511, Symbolic–numeric algorithm, Symbolic computation and algebraic computation, Numerical approximation and computational geometry (primarily algorithms), Symbolic-numeric algorithm, Computational Mathematics, symbolic-numerical computation, modular reduction, Puiseux series, algebraic functions, Finite fields, Polynomials in general fields (irreducibility, etc.), Polynomials (irreducibility, etc.)
| 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). | 12 | |
| 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). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
