D.4.11 locnormal_lib

Library:

locnormal.lib

Purpose:

Normalization of affine domains using local methods

Authors:

J. Boehm boehm@mathematik.uni-kl.de
W. Decker decker@mathematik.uni-kl.de
S. Laplagne slaplagn@dm.uba.ar
G. Pfister pfister@mathematik.uni-kl.de
S. Steidel steidel@mathematik.uni-kl.de
A. Steenpass steenpass@mathematik.uni-kl.de

Overview:

Suppose A is an affine domain over a perfect field.
This library implements a local-to-global strategy for finding the normalization of A. Following [1], the idea is to stratify the singular locus of A, apply the normalization algorithm given in [2] locally at each stratum, and put the local results together. This approach is inherently parallel.
Furthermore we allow for the optional modular computation of the local results as provided by modnormal.lib. See again [1] for details.

References:

[1] Janko Boehm, Wolfram Decker, Santiago Laplagne, Gerhard Pfister, Stefan Steidel, Andreas Steenpass: Parallel algorithms for normalization, http://arxiv.org/abs/1110.4299, 2011.

[2] Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch: Normalization of Rings, Journal of Symbolic Computation 9 (2010), p. 887-901

Procedures:

D.4.11.1 locNormal

normalization of R/I using local methods