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

isNormal -- determine if a reduced ring is normal

Synopsis

Description

i1 : R = QQ[x,y,z]/ideal(x^6-z^6-y^2*z^4);
i2 : isNormal R

o2 = false
i3 : isNormal(integralClosure R)

o3 = true

This function computes the jacobian of the ring which can be costly for larger rings. Therefore it checks the less coslty S2 condition first and if true, then tests the R1 condition using the jacobian of R.

Ways to use isNormal :