### 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

See also: modnormal_lib; normal_lib.

User manual for Singular version 4-0-3, 2016, generated by texi2html.