Degree
Master of Science
Program
Computer Science
Supervisor
Marc Moreno Maza
Abstract
The Extended Hensel Construction (EHC) is a procedure which, for an input bivariate polyno- mial with complex coefficients, can serve the same purpose as the Newton-Puiseux algorithm. We show that the EHC requires only linear algebra and univariate polynomial arithmetic. We deduce complexity estimates and report on a software implementation together with experimental results. This work is motivated and illustrated by two applications. The first one is the computation of real branches of space curves. The second one is the computation of limits of real multivariate rational function. For the latter, we present an algorithm for determining the existence of the limit of a real multivariate rational function q at a given point p which is an isolated zero of the denominator of q. When the limit exists, the algorithm computes it, without making any assumptions on the number of variables.
Recommended Citation
Ataei Jaliseh, Masoud, "On the Extended Hensel Construction and its Application to the Computation of Real Limit Points" (2017). Electronic Thesis and Dissertation Repository. 5127.
https://ir.lib.uwo.ca/etd/5127