Changeset 3308a0 in git for Singular/LIB/modwalk.lib

Timestamp:

Dec 15, 2015, 10:22:47 AM (8 years ago)

Author:

Stephan Oberfranz <oberfran@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

c811955258d4eabfe9184e8e74d29f85c25d942b

Parents:

b7405bd5510078cd603417590e421c739141ab7d

Message:

add further examples in modwalk.lib

File:

• Singular/LIB/modwalk.lib (modified) (5 diffs)

Singular/LIB/modwalk.lib

@@ -71 +71 @@
     ideal I = fetch(R1, I);
     ideal J = modWalk(I);
+    J;
+    ring S1 = 0, (a,b,c,d), Dp;
+    ideal I = 5b2, ac2+9d3+3a2+5b, 2a2c+7abd+bcd+4a2, 2ad2+6b2d+7c3+8ad+4c;
+    I = std(I);
+    ring S2 = 0, (c,d,b,a), lp;
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a lp-Groebner basis.
+    ideal J = modWalk(I,"Dp");
+    J;
+    intvec w = 3,2,1,2;
+    ring S3 = 0, (c,d,b,a), (a(w),lp);
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a (a(w),lp)-Groebner basis.
+    ideal J = modWalk(I,"Dp",w);
     J;
 }
@@ -101 +117 @@
     else {
         I = modular("rwalk", list(I,radius,1), primeTest_std, deleteUnluckyPrimes_std,
-            pTest_std,final_Test_std);
+            pTest_std,finalTest_std);
     }
 
@@ -120 +136 @@
     int radius = 2;
     ideal J = modrWalk(I,radius);
+    J;
+    ring S1 = 0, (a,b,c,d), Dp;
+    ideal I = 5b2, ac2+9d3+3a2+5b, 2a2c+7abd+bcd+4a2, 2ad2+6b2d+7c3+8ad+4c;
+    I = std(I);
+    ring S2 = 0, (c,d,b,a), lp;
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a lp-Groebner basis.
+    ideal J = modrWalk(I,radius,"Dp");
+    J;
+    intvec w = 3,2,1,2;
+    ring S3 = 0, (c,d,b,a), (a(w),lp);
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a (a(w),lp)-Groebner basis.
+    ideal J = modrWalk(I,radius,"Dp",w);
     J;
 }
@@ -168 +200 @@
     ideal J = modfWalk(I);
     J;
+    ring S1 = 0, (a,b,c,d), Dp;
+    ideal I = 5b2, ac2+9d3+3a2+5b, 2a2c+7abd+bcd+4a2, 2ad2+6b2d+7c3+8ad+4c;
+    I = std(I);
+    ring S2 = 0, (c,d,b,a), lp;
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a lp-Groebner basis.
+    ideal J = modfWalk(I,"Dp");
+    J;
+    intvec w = 3,2,1,2;
+    ring S3 = 0, (c,d,b,a), (a(w),lp);
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a (a(w),lp)-Groebner basis.
+    ideal J = modfWalk(I,"Dp",w);
+    J;
 }
 
@@ -215 +263 @@
     int radius = 2;
     ideal J = modfrWalk(I,radius);
+    J;
+    ring S1 = 0, (a,b,c,d), Dp;
+    ideal I = 5b2, ac2+9d3+3a2+5b, 2a2c+7abd+bcd+4a2, 2ad2+6b2d+7c3+8ad+4c;
+    I = std(I);
+    ring S2 = 0, (c,d,b,a), lp;
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a lp-Groebner basis.
+    ideal J = modfrWalk(I,radius,"Dp");
+    J;
+    intvec w = 3,2,1,2;
+    ring S3 = 0, (c,d,b,a), (a(w),lp);
+    ideal I = fetch(S1,I);
+    // I is assumed to be a Dp-Groebner basis.
+    // We compute a (a(w),lp)-Groebner basis.
+    ideal J = modfrWalk(I,radius,"Dp",w);
     J;
 }