Modular Las Vegas algorithms for polynomial absolute factorization

  • Authors:
  • Cristina Bertone;Guillaume Chèze;André Galligo

  • Affiliations:
  • Laboratoire J.-A. Dieudonné, Université de Nice - Sophia Antipolis, France and Dipartimento di Matematica, Università degli Studi di Torino, Italy;Institut de Mathématiques de Toulouse, Université Paul Sabatier Toulouse 3, France;Laboratoire J.-A. Dieudonné, Université de Nice - Sophia Antipolis, France

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let f(X,Y)@?Z[X,Y] be an irreducible polynomial over Q. We give a Las Vegas absolute irreducibility test based on a property of the Newton polytope of f, or more precisely, of f modulo some prime integer p. The same idea of choosing a p satisfying some prescribed properties together with LLL is used to provide a new strategy for absolute factorization of f(X,Y). We present our approach in the bivariate case but the techniques extend to the multivariate case. Maple computations show that it is efficient and promising as we are able to construct the algebraic extension containing one absolute factor of a polynomial of degree up to 400.