Back to Search Start Over

Certified rational parametric approximation of real algebraic space curves with local generic position method

Certified rational parametric approximation of real algebraic space curves with local generic position method

Authors :
Daniel Lazard
Kai Jin
Jin-San Cheng
Source :
Journal of Symbolic Computation. 58:18-40
Publication Year :
2013
Publisher :
Elsevier BV, 2013.

Abstract

In this paper, an algorithm is given for determining the topology of an algebraic space curve and to compute a certified G^1 rational parametric approximation of the algebraic space curve. The algorithm works by extending to dimension one the local generic position method for solving zero-dimensional polynomial equation systems. Here, certified means that the approximation curve and the original curve have the same topology and their Hausdorff distance is smaller than a given precision. The main advantage of the algorithm, inherited from the local generic position method, is that the topology computation and approximation for a space curve are directly reduced to the same tasks for two plane curves. In particular, an error bound of the approximation space curve is deduced explicitly from the error bounds of the approximation plane curves. The complexity of the algorithm is also analyzed. Its effectivity is shown on some non-trivial examples.

Details

ISSN :
07477171
Volume :
58
Database :
OpenAIRE
Journal :
Journal of Symbolic Computation
Accession number :
edsair.doi...........b64fcd6bebb7a891e2ef9547fb194b19
Full Text :
https://doi.org/10.1016/j.jsc.2013.06.004