Home Online Manual
Back: solve_IP
Forward: locNormal
FastBack: intprog_lib
FastForward: modnormal_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.10 locnormal_lib

Normalization of affine domains using local methods
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

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.

[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


D.4.10.1 locNormal  normalization of R/I using local methods
See also: modnormal_lib; normal_lib.