Changeset 8f1d129 in git

Timestamp:

Dec 17, 2010, 12:21:25 PM (12 years ago)

Author:

Stefan Steidel <steidel@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

2fd30cb3d4e41a93238b92df65a30fb88c8276de

Parents:

e706ffc5b389f9d13ab41079aeb6f177c48d6f85

Message:

Changes in procedures zeroR resp. findGen and attachment of further examples

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

File:

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

Singular/LIB/assprimeszerodim.lib

@@ -204 +204 @@
 
    if(k == 0) { return(I); }
-   else { return(std(I + F)); }
+   else { return(modStd(I + F)); }
 }
 
@@ -711 +711 @@
       }
    }
-   for(i = 1; i < n; i++)
-   {
-      r = r + var(i);
-      k = specialTest(d,r,J);
-      if(k){break;}
+   if((!k) && (n > 2))
+   {
+      for(i = 1; i < n; i++)
+      {
+         r = r + var(i);
+         k = specialTest(d,r,J);
+         if(k){ break; }
+      }
    }
    setring R;
@@ -980 +983 @@
 
 ================================================================================
+
+//=== One component at the origin
+
+ring R = 0, (x,y), dp;
+poly f1 = (y5 + y4x7 + 2x8);
+poly f2 = (y3 + 7x4);
+poly f3 = (y7 + 2x12);
+poly f = f1*f2*f3 + y19;
+ideal I = f, diff(f, x), diff(f, y);
+
+ring R = 0, (x,y), dp;
+poly f1 = (y5 + y4x7 + 2x8);
+poly f2 = (y3 + 7x4);
+poly f3 = (y7 + 2x12);
+poly f4 = (y11 + 2x18);
+poly f = f1*f2*f3*f4 + y30;
+ideal I = f, diff(f, x), diff(f, y);
+
+ring R = 0, (x,y), dp;
+poly f1 = (y15 + y14x7 + 2x18);
+poly f2 = (y13 + 7x14);
+poly f3 = (y17 + 2x22);
+poly f = f1*f2*f3 + y49;
+ideal I = f, diff(f, x), diff(f, y);
+
+ring R = 0, (x,y), dp;
+poly f1 = (y15 + y14x20 + 2x38);
+poly f2 = (y19 + 3y17x50 + 7x52);
+poly f = f1*f2 + y36;
+ideal I = f, diff(f, x), diff(f, y);
+
+//=== Several components
+
+ring R = 0, (x,y), dp;
+poly f1 = (y5 + y4x7 + 2x8);
+poly f2 = (y13 + 7x14);
+poly f = f1*subst(f2, x, x-3, y, y+5);
+ideal I = f, diff(f, x), diff(f, y);
+
+ring R = 0, (x,y), dp;
+poly f1 = (y5  + y4x7 + 2x8);
+poly f2 = (y3 + 7x4);
+poly f3 = (y7 + 2x12);
+poly f = f1*f2*subst(f3, y, y+5);
+ideal I = f, diff(f, x), diff(f, y);
+
+ring R = 0, (x,y), dp;
+poly f1 = (y5  + 2x8);
+poly f2 = (y3 + 7x4);
+poly f3 = (y7 + 2x12);
+poly f = f1*subst(f2,x,x-1)*subst(f3, y, y+5);
+ideal I = f, diff(f, x), diff(f, y);
 */