A sparse modular GCD algorithm for polynomials over algebraic function fields

  • Authors:
  • Seyed Mohammad Mahdi Javadi;Michael Monagan

  • Affiliations:
  • Simon Fraser University, Burnaby, B.C. Canada;Simon Fraser University, Burnaby, B.C. Canada

  • Venue:
  • Proceedings of the 2007 international symposium on Symbolic and algebraic computation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a first sparse modular algorithm for computing a greatest common divisor of two polynomials f1, f2 ε L[x] where L is an algebraic function field in k ≥ 0 parameters with r ≥ 0 field extensions. Our algorithm extends the dense algorithm of Monagan and van Hoeij from 2004 to support multiple field extensions and to be efficient when the gcd is sparse. Our algorithm is an output sensitive Las Vegas algorithm. We have implemented our algorithm in Maple. We provide timings demonstrating the efficiency of our algorithm compared to that of Monagan and van Hoeij and with a primitive fraction-free Euclidean algorithm for both dense and sparse gcd problems.