
D.4.25 reesclos_lib
 Library:
 reesclos.lib
 Purpose:
 procedures to compute the int. closure of an ideal
 Author:
 Tobias Hirsch, email: hirsch@math.tucottbus.de
Janko Boehm, email: boehm@mathematik.unikl.de
Magdaleen Marais, email: magdaleen@aims.ac.za
 Overview:
 A library to compute the integral closure of an ideal I in a polynomial ring
R=k[x(1),...,x(n)] using the Rees Algebra R[It] of I. It computes the integral
closure of R[It],
which is a graded subalgebra of R[t]. The degreekcomponent is the integral
closure of the kth power of I.
In contrast to the previous version, the library uses 'normal.lib' to compute the
integral closure of R[It]. This improves the performance considerably.
Procedures:
