next | previous | forward | backward | up | top | index | toc | directory | Macaulay 2 web site

nonNormalLocus -- an ideal containing the non normal locus of a ring

Synopsis

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.

Ways to use nonNormalLocus :