<?xml version="1.0" encoding="utf-8" ?> <!-- for emacs: -*- coding: utf-8 -*- --> <!-- Apache may like this line in the file .htaccess: AddCharset utf-8 .html --> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head><title>singularLocus -- singular locus</title> <link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/> </head> <body> <table class="buttons"> <tr> <td><div><a href="_sinh.html">next</a> | <a href="_sin.html">previous</a> | <a href="_sinh.html">forward</a> | <a href="_sin.html">backward</a> | up | <a href="index.html">top</a> | <a href="master.html">index</a> | <a href="toc.html">toc</a> | <a href="http://www.math.uiuc.edu/Macaulay2/">Macaulay2 web site</a></div> </td> </tr> </table> <hr/> <div><h1>singularLocus -- singular locus</h1> <div class="single"><h2>Description</h2> <div><tt>singularLocus R</tt> -- produce the singular locus of a ring, which is assumed to be integral.<p/> This function can also be applied to an ideal, in which case the singular locus of the quotient ring is returned, or to a variety.<table class="examples"><tr><td><pre>i1 : singularLocus(QQ[x,y] / (x^2 - y^3)) QQ[x, y] o1 = --------------------- 3 2 2 (- y + x , 2x, -3y ) o1 : QuotientRing</pre> </td></tr> <tr><td><pre>i2 : singularLocus Spec( QQ[x,y,z] / (x^2 - y^3) ) / QQ[x, y, z] \ o2 = Spec|---------------------| | 3 2 2 | \(- y + x , 2x, -3y )/ o2 : AffineVariety</pre> </td></tr> <tr><td><pre>i3 : singularLocus Proj( QQ[x,y,z] / (x^2*z - y^3) ) /QQ[x, y, z]\ o3 = Proj|-----------| | 2 | \ (x, y ) / o3 : ProjectiveVariety</pre> </td></tr> </table> <p>For rings over <a href="___Z__Z.html" title="the class of all integers">ZZ</a> the locus where the ring is not smooth over <a href="___Z__Z.html" title="the class of all integers">ZZ</a> is computed.</p> <table class="examples"><tr><td><pre>i4 : singularLocus(ZZ[x,y]/(x^2-x-y^3+y^2)) ZZ[x, y] o4 = ---------------------------------------- 3 2 2 2 (- y + x + y - x, 2x - 1, - 3y + 2y) o4 : QuotientRing</pre> </td></tr> <tr><td><pre>i5 : gens gb ideal oo o5 = | 11 y+3 x+5 | 1 3 o5 : Matrix (ZZ[x, y]) <--- (ZZ[x, y])</pre> </td></tr> </table> </div> </div> <div class="waystouse"><h2>Ways to use <tt>singularLocus</tt> :</h2> <ul><li>singularLocus(AffineVariety)</li> <li>singularLocus(Ideal)</li> <li>singularLocus(ProjectiveVariety)</li> <li>singularLocus(Ring)</li> </ul> </div> </div> </body> </html>