Mathematics – Commutative Algebra
Scientific paper
2011-10-19
Mathematics
Commutative Algebra
15 pages
Scientific paper
Given a reduced affine algebra A over a perfect field K, we present parallel algorithms to compute the normalization \bar{A} of A. Our starting point is the algorithm of Greuel, Laplagne, and Seelisch, which is an improvement of de Jong's algorithm. First, we propose to stratify the singular locus Sing(A) in a way which is compatible with normalization, apply a local version of the normalization algorithm at each stratum, and find \bar{A} by putting the local results together. Second, in the case where K = Q is the field of rationals, we propose modular versions of the global and local algorithms. We have implemented our algorithms in the computer algebra system SINGULAR and compare their performance with that of other algorithms. In the case where K = Q, we also discuss the use of modular computations of Groebner bases, radicals and primary decompositions. We point out that in most examples, the new algorithms outperform the algorithm of Greuel, Laplagne, and Seelisch by far, even if we do not run them in parallel.
Boehm Janko
Decker Wolfram
Laplagne Santiago
Pfister Gerhard
Steenpass Andreas
No associations
LandOfFree
Parallel Algorithms for Normalization does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Parallel Algorithms for Normalization, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parallel Algorithms for Normalization will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-597449