Computing the Irreducible Real Factors and Components of an Algebraic Curve

We present algorithms that decompose an algebraic curve with rational coefficients in its defining bivariate equation into its irreducible real factors and its non-empty irreducible real components. We show that our algorithms are of polynomial bit complexity in the degree of the equation and the size of its coefficients. Our construction is based on computing the irreducible complex factors and then investigating high precision complex floating point coefficients of these factors and the complex norms.

• Type: Conference
• Year: 1989
• Where: COMPGEOM
• Authors: Erich Kaltofen
• Keywords: COMPGEOM 1989, Discrete Geometry, Irreducible Complex Factors, Irreducible Real Components, Irreducible Real Factors