Next:
Computing the normalization
Up:
Normalization algorithm
Previous:
Normalization algorithm
Computing the non-normal locus
Input
,
.
We assume that
is a radical ideal.
Output
Generators for
such that
.
Compute an ideal
as described in Sect.
.
Compute a non-zerodivisor
: choose an
-linear combination
of the generators of
and test if
is zero, by using that
is a non-zerodivisor iff
.
A sufficiently general linear combination gives a non-zerodivisor.
Compute a test ideal
, e.g.,
or
.
Compute generators
for
as
-module.
Return
.
Christoph Lossen
2001-03-21