Description
Primary use is as one step in deJong's algorithm for computing the integral closure of a reduced ring. If the presenting ideal for the ring is homogeneous (e.g. the ring is graded) and it has fewer than 20 generators then the implementation checks to see if the singular locus is empty, if yes then the maximal ideal is returned. In all other cases it returns the radical of the first nonzero element of the jacobian ideal.