Abstract:For factoring polynomials in two variables with rational coefficients, an algorithm using transcendental evaluation was presented by Hulst and Lenstra. In their algorithm, transcendence measure was computed. However, a constant c is necessary to compute the transcendence measure. The size of c involved the transcendence measure can influence the efficiency of the algorithm greatly. In this paper, we overcome the problem arising in Hulst and Lenstra's algorithm and propose a new polynomial time algorithm for factoring bivariate polynomials with rational coefficients. Using an approximate algebraic number of high degree instead of a variable of a bivariate polynomial, we can get a univariate one. A factor of the resulting univariate polynomial can then be obtained by a numerical root finder and the purely numerical LLL algorithm. The high degree of the algebraic number guarantees that this factor corresponds to a factor of the original bivariate polynomial. We prove that our algorithm saves a (log2(mn))2+ε factor in bit-complexity comparing with the algorithm presented by Hulst and Lenstra, where (n, m) represents the bi-degree of the polynomial to be factored. We also demonstrate on many significant experiments that our algorithm is practical. Moreover our algorithm can be generalized to polynomials with variables more than two.

Approximate Common Divisors of Polynomials and Degree Reduction for Rational Curves

Rational Quadratic Approximation to Real Algebraic Curves

Approximate Degree Reduction of Interval Triangular Bézier Surfaces

Approximate Merging of a Pair of Rational Bézier Curves by Interval Bézier Curve

Quadratic Approximation to Plane Parametric Curves and Its Application in Approximate Implicitization

Cubic rational polynomial parametrization of conics

Approximate factorization of multivariate polynomials via differential equations

A Complete Algorithm to Find Exact Minimal Polynomial by Approximations

Diophantine approximation on polynomial curves

Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials

Exact Bivariate Polynomial Factorization over ℚ by Approximation of Roots

Exact polynomial factorization by approximate high degree algebraic numbers

Approximate Degree Reduction of Bezier Curves

Approximate µ-bases of rational curves and surfaces

The Existence and Local Behavior of Multivariate Algebraic Function Approximations

An Algorithm for Approximate Factorization of Bivariate Polynomials 1)

Simplification of Numerical Rational Surfaces

Exact Bivariate Polynomial Factorization Over A"E By Approximation Of Roots

Approximate μ-bases of rational curves and surfaces

Approximate Mu-Bases Of Rational Curves And Surfaces

Rational curves on complete intersections and the circle method