Nfmodsyz

Singular/singular-libs

@@ -46,7 +46,7 @@ SLIB1 = classifyceq.lib classifyci.lib classify_aeq.lib nfmodstd.lib \
         findifs.lib finitediff.lib \
         gitfan.lib gradedModules.lib \
         locnormal.lib modnormal.lib modular.lib \
-	JMBTest.lib JMSConst.lib multigrading.lib\
+	JMBTest.lib JMSConst.lib multigrading.lib nfmodsyz.lib \
 	numerAlg.lib numerDecom.lib \
         orbitparam.lib parallel.lib polymake.lib\
 	realizationMatroids.lib resources.lib ringgb.lib \

Tst/Long/nfmodsyz_l.stat

@@ -0,0 +1,11 @@
+<<<<<<< Updated upstream
+1 >> tst_memory_0 :: 1460570101:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:5775360
+1 >> tst_memory_1 :: 1460570101:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:17080320
+1 >> tst_memory_2 :: 1460570101:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:19177472
+1 >> tst_timer_1 :: 1460570101:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:16005
+=======
+1 >> tst_memory_0 :: 1460556282:4030, 64 bit:4.0.3:x86_64-Linux:taschenbier:5774512
+1 >> tst_memory_1 :: 1460556282:4030, 64 bit:4.0.3:x86_64-Linux:taschenbier:17080320
+1 >> tst_memory_2 :: 1460556282:4030, 64 bit:4.0.3:x86_64-Linux:taschenbier:19177472
+1 >> tst_timer_1 :: 1460556282:4030, 64 bit:4.0.3:x86_64-Linux:taschenbier:15835
+>>>>>>> Stashed changes

Tst/Long/nfmodsyz_l.tst

@@ -0,0 +1,60 @@
+<<<<<<< Updated upstream
+=======
+//
+>>>>>>> Stashed changes
+LIB "tst.lib";
+LIB "nfmodsyz.lib";
+tst_init();
+
+proc tst_test_nfmodsyz(def I)
+{
+   // input type ideal or module
+   //system("--ticks-per-sec",1000);
+   //int t = rtimer;
+   def Jtst = nfmodSyz(I); //rtimer-t;
+   Jtst;
+}
+
+ring r = 0,(x,y,z),dp;
+module M = [x2z+x-7*y,z2+9*x], [y2+7*z+7,10*z3-7*x2], [-xz+52*yz,xy+49*z],
+           [52*xyz+yz,7*xy+y+z], [10*xy+z2,xz+x+7*z];
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r = (0,a),(x,y),(dp,c);
+minpoly = a^3+2a+7;
+module M = [(a/2+1)*x^2+2/3y, 3*x-a*y+ a/7+2], [ax, y];
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r = (0,a),(x,y,z),(c,dp);
+minpoly = a3+a+1;
+module M = [x2z+x+(-a)*y, z2+(a+2)*x],
+           [y2+(a)*z+(a), (a+3)*z3+(-a)*x2],
+           [-xz+(a2+3)*yz, xy+(a2)*z];
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r = (0,a), (x,y,z), (c,dp);
+minpoly = a^3+7a-5;
+module M = [(a+8)*x2y2+5*xy3,(-a2+3)*x3z+x2yz], [x5+2*y3z2,13*a*y2z3+5*yz4],
+           [8*x3+(a2+12)*y3,xz2+(3a)], [(-a+7)*x2y4+y3z3,18*y3z2];
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r=(0,a),(x,y,z,w,u),(c,dp);
+minpoly = a^3+a+5;
+module M = (5+a)*x^3*y^2*z + (a+3)*y^3*x^2*z + (a+7)*x*y^2*z^2,
+	(a+3)*x*y^2*z^2 + (a+1)*x^5 + (a-11)*y^2*z^2,
+	(a+2)*x*y*z + (a+7)*x^3 + 12*y^3 + 1,3*x^3 +(a- 4)*y^3 + y*z^2;
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r=(0,a),(x,y,z,w,u),(c,dp);
+minpoly = a^2+1;
+module M = x+(a/2147483647)*x*y+(a/2147483646)*y*z,
+	  x^2*z + (a/2147483647)*y^3 + (a+1)*y*z^2,
+	  (2*a*x)/3-(7*a*y)/23 + (9*z)/7;
+tst_test_nfmodsyz(M);
+kill r;
+tst_status(1);$

Tst/Short/nfmodsyz_s.stat

@@ -0,0 +1,4 @@
+1 >> tst_memory_0 :: 1460573575:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:1905456
+1 >> tst_memory_1 :: 1460573575:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:6565888
+1 >> tst_memory_2 :: 1460573575:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:8806400
+1 >> tst_timer_1 :: 1460573575:4031, 64 bit:4.0.3:x86_64-Linux:taschenbier:1691

Tst/Short/nfmodsyz_s.tst

@@ -0,0 +1,31 @@
+LIB "tst.lib";
+LIB "nfmodsyz.lib";
+tst_init();
+
+proc tst_test_nfmodsyz(def I)
+{
+   // input type ideal or module
+   def Jtst = nfmodSyz(I);
+   Jtst;
+}
+
+ring r = (0,a),(x,y,z,w),(c,dp);
+minpoly = a6 +a2+5;
+module M = (a+3)*x^2*z+y^2*w+xw + zy, x^2+11*a*x*z+(a)*z^2+y*w, 
+             ax2 + a4y2+ w3, x2yzw +aw2, x+y+w;
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r = 0,(x,y,z), dp;
+module M = [x2z+x-7*y,z2+9*x], [y2+7*z+7,10*z3-7*x2], [-xz+52*yz,xy+49*z],
+           [52*xyz+yz,7*xy+y+z], [10*xy+z2,xz+x+7*z];
+tst_test_nfmodsyz(M);
+kill r;
+
+ring r = (0,a),(x,y),(dp,c);
+minpoly = a^3+2a+7;
+module M = [(a/2+1)*x^2+2/3y, 3*x-a*y+ a/7+2], [ax, y];
+tst_test_nfmodsyz(M);
+kill r;
+
+tst_status(1);$