Changeset d2a039 in git

Timestamp:

Jun 23, 2023, 8:32:38 PM (11 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

caa416619a78cd587b6c4b9baf187270a1b257af

Parents:

268ad722d50f202c933ee0720261614ea1bd6b61

Message:

fix: tests (primdec.lib, sat)

Files:

• Singular/LIB/primdec.lib (modified) (7 diffs)
• Tst/Buch/Example_1_8_15.res.gz.uu (modified) (1 diff)
• Tst/Buch/Example_1_8_15.stat (modified) (1 diff)
• Tst/Buch/Example_1_8_15.tst (modified) (1 diff)

Singular/LIB/primdec.lib

@@ -3315 +3315 @@
 
   setring gnir;
+  ideal maxi=maxideal(1);
   for(@m=1;@m<=size(indep);@m++)
   {
@@ -3331 +3332 @@
     else
     {
-      ideal maxi=maxideal(1);
       if(@m==1)
       {
@@ -3623 +3623 @@
       ser=imap(@Phelp,ser);
     }
-    ideal maxi=maxideal(1);
     if(size(reduce(ser,peek,5))!=0)
     {
@@ -4088 +4087 @@
    list lll_n=lll;
    lll_n[1]=lll[1][1]; //char.
-   lll_n[2]=lll[2]+lll[1][2][1];
+   lll_n[2]=lll[2]+list(lll[1][2][1]);
    lll_n[3]=list(list("dp",nvars(R)+1),list("C",1));
    ring RH=ring(lll_n);
@@ -4097 +4096 @@
    i=i,@p;
    ideal ra=radical(i);
-   def RS=changeord(list(list("dp",1:n),list("lp",1)), RH);
+   ring RS=changeord(list(list("dp",1:n),list("lp",1)), RH);
    ideal K=imap(RH,ra);
    K=std(K);
@@ -6752 +6751 @@
   // SL 2006-04-24 2
 
+  ideal @va_i = maxideal(1);
   for(@m = 1; @m <= size(indep); @m++)
   {
@@ -6765 +6765 @@
     else
     {
-      ideal @va_i = maxideal(1);
-
       ring gnir1 = create_ring(ring_list(basering)[1],"(" + indep[@m][1] + ")","(" + indep[@m][2] + ")","no_minpoly");
       map phi = @P,imap(@P,@va_i);

Tst/Buch/Example_1_8_15.res.gz.uu

@@ -1 @@
-begin 640 Example_1_8_15.res.gz
-M'XL("!JYCSL``T5X86UP;&5?,5\X7S$U+G)E<P!=4EU/@S`4?>=77!<?VJQI
-MU@[V(8%$HP\0X\M\,PM!:;09PSFZ###^=R]LE&E?>GONQSGWI*OG^^@)`$0(
-MC]$=C$QI>*Y?1[ZS.F=D"`@FNM"&4-]I;PA#>*C2[2Y7B4@6B?!XH8Z\-*FQ
-M;=,0;.QRV.OB'6X!@@DC%:M90UFV&TB\$'2FTAPB$51>,V55W;"Z<8>*F:V0
-M03/`\PN:!6]W&*E<;__ML`RA3`V)!(LD]:$]SHM8WS@8)!@$]2F2:V1W\.HR
-M;M\O)@.+$!QT86!CIPO92XN#K\.GT:KX2]6R];5HR_%#YXJ4NE%DK[+#FR(Q
-M*TV&+932JV!";3'Z]FT?'F\';<;C@7C>06A9/&#+#KM0$O="^A*)&_S8!XK'
-J[OAD0GQVH$^B6MS3^B#=P0>)>FP\X]T?:3_`H22"^M?.+\(=]>M9`@``
+begin 644 Example_1_8_15.res.gz
+M'XL(",/6E60"`T5X86UP;&5?,5\X7S$U+G)E<P!=4EU/PC`4?=^ON!(3UM`4
+M6C8^LFR)1A^V&%_PS9!EN*H-8R#KXC;C?_>"TH)/[3T]O>><VRZ>[N)'`.`1
+M/,2WT-.59H5:]0)G\7<B(D`P5:72+@F<PPI1!/=-MMD5,N7I+.4^*^4GJW2F
+MS;5Q!&;O,=BK\@UN`,(1=1O:TH[0?&=%_`A4+K,"8AXV?C>F3=O1MO,L8V(8
+M(NPL/#V3F;%#AIXLU.9?AGD$5:;=F--8D&>^#&`XA/Y^6Y=YU8=-UL)*`A;R
+ME3DIGH<M+F*)5DXM^,@*<<Y`E1K61H"+D[LD_*BW6LGRI&8Y.)'/=U5(MU*=
+M=/<RKU^DF]!*YT@EA%R%(V+(.+(O4_@,,\!Z,+#-ID<(IY58;'[$SAPD%P8$
+MVOXV!3K&J\EOV.0RK$"K&,XSM6?#"S1C]A-V_!N'AZ\KEY/@VOD!^ON[)E$"
+"````
 `
 end

Tst/Buch/Example_1_8_15.stat

@@ -1 @@
-1 >> tst_memory_0 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:161592 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:219460
-1 >> tst_memory_1 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:687672 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:666308
-1 >> tst_memory_2 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:687672 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:699092
-1 >> tst_timer_1 :: 999274774:2001082814:2-0-2:ix86-Linux:nepomuck:6 1292524760:3120- 13145 :3-1-2:ix86-Linux:mamawutz:10
+1 >> tst_memory_0 :: 1687541443:4322, 64 bit:4.3.2:x86_64-Linux:esp:171128
+1 >> tst_memory_1 :: 1687541443:4322, 64 bit:4.3.2:x86_64-Linux:esp:2150192
+1 >> tst_memory_2 :: 1687541443:4322, 64 bit:4.3.2:x86_64-Linux:esp:2191296
+1 >> tst_timer_1 :: 1687541443:4322, 64 bit:4.3.2:x86_64-Linux:esp:4

Tst/Buch/Example_1_8_15.tst

@@ -7 +7 @@
 
 LIB"elim.lib";
-sat(I1,I2);
+sat(I1,I2)[1]; // 'rounds' may be undef.
 
 int k;