Título inglés |
P-adic root isolation. |
Título español |
Separación de raíces p-ádicas. |
Autor/es |
Sturm, Thomas ; Weispfenning, Volker |
Organización |
Fak. Math. Informat. Univ. Passau, Passau, Alemania |
Revista |
1578-7303 |
Publicación |
2004, 98 (1): 239-258, 23 Ref. |
Tipo de documento |
articulo |
Idioma |
Inglés |
Resumen español |
Presentamos un método algorítmico implementado para contar y aislar todas las raíces p-ádicas de polinomios f en una variable con coeficientes racionales. Las raíces de f se describen unívocamente mediante bolas p-ádicas que las aíslan y que pueden ser refinadas hasta cualquier precisión que se desee; sus distancias p-ádicas son también computadas con precisión. El método posee complejidad polinomial en todos los datos de entrada, incluído el primo p. También investigamos la
uniformidad del método con respecto a los coeficientes de f y los números primos p. Nuestro método
suministra información análoga a la que suministran métodos bien establecidos para los números reales, como por ejemplo, las cotas de Cauchy y la sucesión de Sturm. |
Resumen inglés |
We present an implemented algorithmic method for counting and isolating all p-adic roots of univariate polynomials f over the rational numbers. The roots of f are uniquely described by p-adic
isolating balls, that can be refined to any desired precision; their p-adic distances are also computed precisely. The method is polynomial space in all input data including the prime p. We also investigate the uniformity of the method with respect to the coefficients of f and the primes p. Our method thus provides
information analogous to that provided by well-established real methods as, e.g., Cauchy bounds and Sturm sequences over the reals. |
Código MathReviews |
MR2136169 |
Acceso al artículo completo |