|
D.4.13 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:
See also:
modnormal_lib;
normal_lib.
|