Changeset 9f9f2c in git for Singular/LIB/sing.lib

Timestamp:

May 24, 2000, 1:01:38 AM (24 years ago)

Author:

Gert-Martin Greuel <greuel@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

2211fc31871671a860c8c81628af8e2e07fd8abc

Parents:

26368653b7a45819c7c93f69c9c944be26f74a19

Message:

* GMG: proc slocus (Beschreibung, Beispiel)


git-svn-id: file:///usr/local/Singular/svn/trunk@4384 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/sing.lib (modified) (3 diffs)

Singular/LIB/sing.lib

@@ -1 @@
-// $Id: sing.lib,v 1.19 1999-12-13 15:33:50 obachman Exp $
+// $Id: sing.lib,v 1.20 2000-05-23 23:01:38 greuel Exp $
 //(GMG/BM, last modified 26.06.96)
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: sing.lib,v 1.19 1999-12-13 15:33:50 obachman Exp $";
+version="$Id: sing.lib,v 1.20 2000-05-23 23:01:38 greuel Exp $";
 info="
 LIBRARY:  sing.lib      PROCEDURES FOR SINGULARITIES
@@ -360 +360 @@
 
 proc slocus (ideal i)
-"USAGE:   slocus(i);  i dieal
-RETURN:  ideal of singular locus of i
-NOTE:    this proc considers lower dimensional components as singular
+"USAGE:   slocus(i);  i ideal
+RETURN:  ideal of singular locus of i if i is pure dimensional
+NOTE:    this proc returns i and c-minors of jacobian ideal of i where c is the
+         codimension of i. Hence, if i is not pure dimensional, slocus may 
+         return an ideal such that its 0-locus is strictly contained in the 
+         singular locus of i
 EXAMPLE: example slocus; shows an example
 "
@@ -372 +375 @@
 example
 { "EXAMPLE:"; echo = 2;
-   ring r  = 32003,(x,y,z),ds;
+   ring r  = 0,(x,y,z),ds;
    ideal i = x5+y6+z6,x2+2y2+3z2;
-   dim(std(slocus(i)));
+   slocus(i);
 }
 ///////////////////////////////////////////////////////////////////////////////