In this paper, an algorithm that determines a real algebraic curve is outlined. Its basic step is to divide the plane into subdomains that include only simple branches of the algebraic curve without singular points. Each of the branches is then stably and efficiently traced in the particular subdomain. Except for tracing, the algorithm requires only a couple of simple operations on poly- nomials that can be carried out exactly if the coefficients are rational, and the determination of the real roots of several univariate polynomials.
展开▼
