A polynomial-time complexity bound for the computation of the singular part of a Puiseux expansion of an algebraic function

Mathematics of Computation

Volumn 69, Issue 231, 2000, Pages 1167-1182

  Walsh, P G ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Algebraic function; Newton polygon complexity; Puiseux expansion

Indexed keywords

EID: 0034400787     PISSN: 00255718     EISSN: None     Source Type: Journal    
DOI: 10.1090/s0025-5718-00-01246-1     Document Type: Article

References (41)

1. G. A. Bliss, Algebraic Functions, Amer. Math. Soc. Colloq. Publ. 16 (1933).
2. W. S. Brown, On Euclid's algorithm and the computation of polynomial greatest common divisors, J. Assoc. Comput. Mach., 18 (1971), 478-504. MR 46:6570
3. W. S. Brown, On Euclid's algorithm and the computation of polynomial greatest common divisors, J. Assoc. Comput. Mach., 18 (1971), 478-504. MR 46:6570
4. A. L. Chistov, Polynomial complexity of the Newton-Puiseux algorithm, Lecture Notes in Computer Sciences, 233 (1986), 247-255. CMP 19:07
5. A. L. Chistov, Polynomial complexity of the Newton-Puiseux algorithm, Lecture Notes in Computer Sciences, 233 (1986), 247-255. CMP 19:07
6. D. V. Chudnovsky and G. V. Chudnovsky, On expansion of algebraic functions in power and Puiseux series I, J. Complexity, 2 (1986), 271-294. MR 90d:68031a
7. D. V. Chudnovsky and G. V. Chudnovsky, On expansion of algebraic functions in power and Puiseux series I, J. Complexity, 2 (1986), 271-294. MR 90d:68031a
8. _, On expansion of algebraic functions in power and Puiseux series II, J. Complexity, 3 (1987), 1-25. MR 90d:68031b
9. _, On expansion of algebraic functions in power and Puiseux series II, J. Complexity, 3 (1987), 1-25. MR 90d:68031b
10. J. Coates, Construction of rational functions on a curve, Proc. Cambridge Philos. Soc. 68 (1970), 105-123. MR 41:3477
11. J. Coates, Construction of rational functions on a curve, Proc. Cambridge Philos. Soc. 68 (1970), 105-123. MR 41:3477
12. D. Duval, Rational Puiseux expansions, Compositio Math. 70 (1989), 119-154. MR 90c:14001
13. D. Duval, Rational Puiseux expansions, Compositio Math. 70 (1989), 119-154. MR 90c:14001
14. B. M. Dwork and A. J. van der Poorten, The Eisenstein constant, Duke Math. J. 65, no. 1 (1992), 23-43. MR 93c:12010
15. B. M. Dwork and A. J. van der Poorten, The Eisenstein constant, Duke Math. J. 65, no. 1 (1992), 23-43. MR 93c:12010
16. D. L. Hilliker and E. G. Straus, Determination of bounds for the solutions to those binary diophantine equations that satisfy the hypotheses of Runge's theorem, Trans. Amer. Math. Soc. 280 (1983), 637-657. MR 85c:11031
17. D. L. Hilliker and E. G. Straus, Determination of bounds for the solutions to those binary diophantine equations that satisfy the hypotheses of Runge's theorem, Trans. Amer. Math. Soc. 280 (1983), 637-657. MR 85c:11031
18. D. Knuth, The Art of Computer Programming, vol. II: Seminumerical Algorithms, Addison-Wesley, Reading, MA, 1969. MR 44:3531
19. D. Knuth, The Art of Computer Programming, vol. II: Seminumerical Algorithms, Addison-Wesley, Reading, MA, 1969. MR 44:3531
20. H. T. Kung and J. F. Traub, All algebraic functions can be computed fast, J. Assoc. Comput. Mach. 25 (1978), 246-260. MR 80a:68042
21. H. T. Kung and J. F. Traub, All algebraic functions can be computed fast, J. Assoc. Comput. Mach. 25 (1978), 246-260. MR 80a:68042
22. S. Landau, Factoring polynomials over algebraic number fields, SIAM J. Comput. 14, no. 1 (1985), 184-195. MR 86d:11102
23. S. Landau, Factoring polynomials over algebraic number fields, SIAM J. Comput. 14, no. 1 (1985), 184-195. MR 86d:11102
24. L. Langemyr, An analysis of the subresultant algorithm over an algebraic number field, Proceedings of ISSAC '91, ACM Press, 1991, 167-172.
25. A. K. Lenstra, Factoring polynomials over algebraic number fields, Proc. EuroCal. 1983, Lecture Notes in Computer Science, 162 (1983), 245-254. MR 86d:12001b
26. A. K. Lenstra, Factoring polynomials over algebraic number fields, Proc. EuroCal. 1983, Lecture Notes in Computer Science, 162 (1983), 245-254. MR 86d:12001b
27. A. K. Lenstra, H. W. Lenstra Jr., and L. Lovasz, Factoring polynomials with rational coefficients, Math. Ann. 261 (1982), 515-534. MR 84a:12002
28. A. K. Lenstra, H. W. Lenstra Jr., and L. Lovasz, Factoring polynomials with rational coefficients, Math. Ann. 261 (1982), 515-534. MR 84a:12002
29. R. Loos, Computing in algebraic extensions, in Computer Algebra, 2nd ed., edited by B. Buchberger et. al., Springer-Verlag, New York, 1982, 173-187. CMP 16:06
30. R. Loos, Computing in algebraic extensions, in Computer Algebra, 2nd ed., edited by B. Buchberger et. al., Springer-Verlag, New York, 1982, 173-187. CMP 16:06
31. V. Puiseux, Recherches sur les fonctions algébriques, J. Math. Pures Appl. 15 (1850), 365-480.
32. W. M. Schmidt, Eisenstein's theorem on power series expansions of algebraic functions, Acta Arith. 56 (1990), 161-179. MR 91m:11021
33. W. M. Schmidt, Eisenstein's theorem on power series expansions of algebraic functions, Acta Arith. 56 (1990), 161-179. MR 91m:11021
34. J. T. Schwartz and M. Sharir, On the piano mover's problem: III, in Planning, Geometry, and Complexity of Robot Motion, edited by J. T. Schwartz, M. Sharir, and J. Hopcroft, Ablex, New York, 1987. MR 86a:52016
35. J. T. Schwartz and M. Sharir, On the piano mover's problem: III, in Planning, Geometry, and Complexity of Robot Motion, edited by J. T. Schwartz, M. Sharir, and J. Hopcroft, Ablex, New York, 1987. MR 86a:52016
36. B. M. Trager, Algebraic factoring and rational function integration, Proc. 1976 ACM Symposium on Symbolic and Algebraic Computation, 219-226.
37. B. L. van der Waerden, Modern Algebra, Frederick Ungar, 7th ed., New York, 1970. MR 10:587b
38. B. L. van der Waerden, Modern Algebra, Frederick Ungar, 7th ed., New York, 1970. MR 10:587b
39. R. J. Walker, Algebraic Curves, Princeton University Press, Princeton, New Jersey, 1950. MR 11:387e
40. R. J. Walker, Algebraic Curves, Princeton University Press, Princeton, New Jersey, 1950. MR 11:387e
41. P. G. Walsh, The Computation of Puiseux Expansions and Runge's Theorem on Diophantine Equations, Ph.D. Thesis, University of Waterloo, Waterloo, Ontario, Canada, 1993.