Parallel algorithms for normalization

  • Authors:

  • Janko BöHm;Wolfram Decker;Santiago Laplagne;Gerhard Pfister;Andreas Steenpaí;Stefan Steidel

  • Affiliations:

  • 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;Departamento de Matemática, FCEN, Universidad de Buenos Aires, Ciudad Universitaria, Pabellón I, (C1428EGA) Buenos Aires, Argentina;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;Department of Mathematics, University of Kaiserslautern, Erwin-Schrödinger-Str., 67663 Kaiserslautern, Germany

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given a reduced affine algebra A over a perfect field K, we present parallel algorithms to compute the normalization A@? of A. Our starting point is the algorithm of Greuel et al. (2010), which is an improvement of de Jong@?s algorithm (de Jong, 1998; Decker et al., 1999). First, we propose to stratify the singular locus Sing(A) in a way which is compatible with normalization, apply a local version of the normalization algorithm at each stratum, and find A@? by putting the local results together. Second, in the case where K=Q is the field of rationals, we propose modular versions of the global and local-to-global algorithms. We have implemented our algorithms in the computer algebra system Singular and compare their performance with that of the algorithm of Greuel et al. (2010). In the case where K=Q, we also discuss the use of modular computations of Grobner bases, radicals, and primary decompositions. We point out that in most examples, the new algorithms outperform the algorithm of Greuel et al. (2010) by far, even if we do not run them in parallel.