Changeset 09b9c1 in git for Singular/LIB/equising.lib

Timestamp:

Jun 12, 2006, 2:12:27 PM (18 years ago)

Author:

Christoph Lossen <lossen@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

1cddd85047aee37180182ad1468f53dea9628791

Parents:

f0d4069b915df89da9bc7ece318aa73b3c8cd594

Message:

*lossen: Computation of I^s(f) (third entry of list returned by esIdeal) fixed


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

File:

• Singular/LIB/equising.lib (modified) (6 diffs)

Singular/LIB/equising.lib

@@ -1 @@
-version="$Id: equising.lib,v 1.14 2005-11-08 18:18:04 Singular Exp $";
+version="$Id: equising.lib,v 1.15 2006-06-12 12:12:27 lossen Exp $";
 category="Singularities";
 info="
@@ -810 +810 @@
   // variable names, e.g., A,B,C,z,y are replaced by t(1),t(2),t(3),x,y
 
+  ideal bNodes;
+
   // Initialize some variables:
   map phi;
@@ -900 +902 @@
     bl_Map(counter)=maxideal(1);
     bl_Map(counter)[nvars(basering)]=xy+(b(auxVar)+B[blowup,counter])*x;
+
+    bNodes[counter]=b(auxVar);
 
     auxVar=auxVar+1;
@@ -1019 +1023 @@
             bl_Map(counter)[nvars(basering)]=
                                         xy+(b(auxVar)+B[blowup,counter])*x;
+            bNodes[counter]=b(auxVar);
             auxVar=auxVar+1;
           }
@@ -1085 +1090 @@
   for (i=1;i<=no_b; i++)
   {
-    Jtriv=subst(Jtriv,b(i),0);
+    if (reduce(b(i),std(bNodes))!=0){
+      Jtriv=subst(Jtriv,b(i),0);
+    }
   }
   Jtriv=std(Jtriv);
@@ -1165 +1172 @@
   }
 
-
+  Jtriv = nselect(Jtriv,1,no_b);
   ideal J_no_b = nselect(J,1,no_b);
   if (size(J) > size(J_no_b))