Year: 2025
Type: preprint
Abstract: With the aid of Hensel Lemma, we refine the 2-adic Newton polygon algorithm proposed by Magron, Koprowski, and Vaccon at ISSAC 2023 to express computationally a given positive univariate polynomial with rational coefficients as a sum of five squares of rational polynomials -the effective Pourchet's Theorem- and extend it to cover almost all the possible inputs. We also provide examples which are covered with our methods but cannot be detected by previous conjectural algorithms.
Source: arXiv (Cornell University)
Authors: Benitez, Teresa Cortadellas, D'Andrea, Carlos, de Felipe, Ana Belen, Moreno, Joel Hurtado, Montoro, M. Eulalia
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4416378087
Cites:
Cited by:
Related to: