Parallelization of Modular Algorithms

  • Authors:

  • Nazeran Idrees;Gerhard Pfister;Stefan Steidel

  • Affiliations:

  • Abdus Salam School of Mathematical Sciences, GC University, Lahore, 68-B, New Muslim Town, Lahore 54600, Pakistan;Department of Mathematics, University of Kaiserslautern, Erwin-Schrödinger-Str., 67663 Kaiserslautern, Germany;Department of Mathematics, University of Kaiserslautern, Erwin-Schrödinger-Str., 67663 Kaiserslautern, Germany

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we investigate the parallelization of two modular algorithms. In fact, we consider the modular computation of Grobner bases (resp. standard bases) and the modular computation of the associated primes of a zero-dimensional ideal and describe their parallel implementation in Singular. Our modular algorithms for solving problems over Q mainly consist of three parts: solving the problem modulo p for several primes p, lifting the result to Q by applying the Chinese remainder algorithm (resp. rational reconstruction), and verification. Arnold proved using the Hilbert function that the verification part in the modular algorithm for computing Grobner bases can be simplified for homogeneous ideals (cf. Arnold, 2003). The idea of the proof could easily be adapted to the local case, i.e. for local orderings and not necessarily homogeneous ideals, using the Hilbert-Samuel function (cf. Pfister, 2007). In this paper we prove the corresponding theorem for non-homogeneous ideals in the case of a global ordering.