Changeset 5ce25c in git

Timestamp:

Jul 23, 2013, 2:55:40 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6cd63e4bcda33cf737a1448d8865ede11e317555

Parents:

71a263848349882522f62f6c6369df2489d587d6

Message:

fix: classifyci::Semigroup (example)

from master

Location:

Singular/LIB

Files:

• classify_aeq.lib (modified) (3 diffs)
• classifyci.lib (modified) (2 diffs)

Singular/LIB/classify_aeq.lib

@@ -668 +668 @@
 {
     def R=basering;
-    def O=changeord("Ds");
+    def O=changeord(list(list("Ds",nvars(R))));
     setring O;
     ideal I=imap(R,I);
@@ -717 +717 @@
 {
   def R=basering;//up till now the ordering of the base ring is ds
-  def O=changeord("Ds");
+  def O=changeord(list(list("Ds",nvars(R))));
   setring O;
   ideal I=imap(R,I);
@@ -1377 +1377 @@
 ideal I=4t3,7t6+10t9;
 ideal G=t4,t7+t10;
-sagbiMOD(I,G,18);
+sagbiMod(I,G,18);
 */
 

Singular/LIB/classifyci.lib

@@ -36 +36 @@
 PURPOSE:Check whether the ideal defines a complete intersection singularity or not
 RETURN: String  type in the classification of Giusti,M
-@           or The given singularity is not simple
+@*           or The given singularity is not simple
 EXAMPLE: example classifyicis;  shows an example
 "
@@ -1008 +1008 @@
        }
        J1=simplify(J1,2);
-       J1=sagbiM(J1);
-       w=ConductorBound(J1);
+       J1=sagbiAlg(J1);
+       w=Classify_aeq::ConductorBound(J1);
        J1=lead(J1);
        list TTT;