Changeset 1c1d660 in git

Timestamp:

May 11, 2016, 1:46:26 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

8e11c18a3a737eb1a4f019cd5a31a51b01b07da8ff38ee02732552e78a143ebf4f9aadccee454071

Parents:

ed91a648ee6c2d95f04a52b58c09059d4c2c717e

Message:

fix: tr. #763 (there may be 0 as generator in resolution)

Files:

• Tst/Short/bug_tr760_761.res.gz.uu (modified) (1 diff)
• Tst/Short/bug_tr760_761.stat (modified) (1 diff)
• Tst/Short/bug_tr760_761.tst (modified) (2 diffs)
• kernel/GBEngine/syz.cc (modified) (1 diff)

Tst/Short/bug_tr760_761.res.gz.uu

@@ -1 +1 @@
 begin 640 bug_tr760_761.res.gz
-M'XL("(BL,%<``V)U9U]T<C<V,%\W-C$N<F5S`+5336N#0!"]^RL&Z4'!&%<3
-M30S=0^FA@=)+>BLEQ&1C%_P([IBT_[ZK75<M*;2'+HC+O)EYLV_?;I[OUT\`
-M0"@\KN_`1(%NQA-S96P4XE.0P2TO.%KVRFC^0"DD=;K%*@J];102MV`75^`.
-M=55`0>]G+DRG(%-CV)?%F56"EP5D7"!,*%1,E%F-32BO98@7^ZP^,-@A5CRI
-MD0$7#V5>IKK?W(6*%RE4<`N>`^\.'$[]O"&%O#S4&8.\P7L@HJJGE3M@JJ:F
-M(PGQS/968-M][H+"27*@E3!$;C6S6KGM@"<_LXV9,AOZY1F3P6J1(&X1,D:P
-MQ%W6(9IO.9A-CR89@BZ#>".EA#R:&DH/38AN(F2TV<:JE0/X<6+JI/IBB-\7
-M_,`:C'40_Z8`F?6&(7-E&!)#=2DOFS=^1'E/1VAY7XA#7J4I)&-7$':.\*]9
-M@D0C2Z2LL,A`ML7O?4&6?_;%%04&"OE?.DQ4UE"T+^!:X5#`;S+Z7B^C3]SV
-3Y3;OLA;-D6]6QB?&J[$"\`,`````
+M'XL("$,;,U<``V)U9U]T<C<V,%\W-C$N<F5S`+56RV[B,!3=\Q57:!;)-$EC
+MFT>A(HO1+*;2:#;,KHI0@)1:RJ-*G);P]7.=AQU3.N\B$6R?XWOM<X]-UM\_
+MWWT#`!+`U[M/,!:E\!*^'=^.UAU"`\#!#<^XL.S;D?R%((!M==B(8C[S-_,9
+M\;+XQ2M%)-0L%H!J3SRXO@:D+F&79\]Q4?(\@X27`MP`BKC,DTK(H;3"(9[M
+MDFH?0R1$P;>5B(&77_(T/ZAX4P\*GAV@@!7X#AP=V#_I]<X"2/-]E<202EP#
+M\Z"+::4.C+N@8P<3BN=X9S';UMR;`)XPA["VL1#<DFNU4ML!'[_C9FR,;-`?
+M?^0./@W"E@U"3$3D(DIZ1.5;#-:FEH896,\@OJ%4B5OK%J4638@*4N*H;"Z[
+M4`Z(^BGN=JH*0ZB>\$969NI0OIL"9*(-0Z:=8<@2BOQE_<@?!);I`9JT]\0A
+M(7H"$_;\66\(>LD19&XXXA!G%AFH=O/[MB"+/[;%!0$&`M%6!K=C#35K@4L3
+MA_J=J4A]K2(EG8H843S&!>X^JE%"7%-42A7B(A)YH>C4:V^`-$(QCN8E0-$'
+MK<*L5=@Z.K5SL@V=*9:0[^,H`4Z0A46H'3AI>*I@62:B@9EI;3D9^Q8G4EA-
+MFYLTVM.H2<-Z-E=+(N.4@S2+'I`S2ZH`YI]5E?RZH,V3-D]VH4:O"NT/Z\4&
+MSTO6^'FUS=EJ$^1L$_2O7>F2UZ[T_\65C/;*;\HJU;JCJ9J1>Q9B1=HC:NUQ
+MP&H]B)5`"#?1=^D]"6T\CQ@=G;WG1;P3@'P5<=)')#(B3B>A3C?M03I(AQP:
+M(LV!MD55BX6&K]@LZ->/]*5498.-U:EMT7!5MRT6KHXC[&N*6W]L+YVK4].@
+MMIKC'DV(V2I(!U'[JC:@2;CR1TC0\?L871YZ'@SSR.[$5GN9ZVN"W7BF<>0>
+M__L!<-G04\-GXR^7O@5?<.0K^+U.%]4.7FC!)K[7O!#)UYVJE'\E'VY'/P`(
+'3[;/1PD`````
 `
 end

Tst/Short/bug_tr760_761.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1462807688:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:106776
-1 >> tst_memory_1 :: 1462807688:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:2228224
-1 >> tst_memory_2 :: 1462807688:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:2228224
-1 >> tst_timer_1 :: 1462807688:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:1
+1 >> tst_memory_0 :: 1462967107:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:208224
+1 >> tst_memory_1 :: 1462967107:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:2228224
+1 >> tst_memory_2 :: 1462967107:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:2228224
+1 >> tst_timer_1 :: 1462967107:4031, 64 bit:4.0.3:x86_64-Linux:nepomuck:2

Tst/Short/bug_tr760_761.tst

@@ -13 +13 @@
 print(betti(s, 0), "betti");
 
-// 761: rwowShift, if betti[1,1] is 0
+// 761: rowShift, if betti[1,1] is 0
 ring r2 = 0, x, dp;
 module m = gen(1);
@@ -19 +19 @@
 print(betti(list(m), 0), "betti");
 
+// 763: there may be 0 as generator
+LIB "matrix.lib";
+ring r3 = 0, (x,y,z), dp;
+ideal i1 = x, y, z;
+ideal i2 = 1;
+resolution s1 = res(i1, 0);
+resolution s2 = res(i2, 0);
+list l1 = s1;
+list l2 = s2;
+print(betti(l1, 0), "betti");
+print(betti(l2, 0), "betti");
+list l_sum;
+l_sum[3] = module(dsum(matrix(l1[3]), matrix(l2[1])));   // direct sum
+l_sum[1] = l1[1];
+l_sum[2] = module(l1[2][1], l1[2][2], l1[2][3], 0);
+l_sum;
+
+print(betti(l_sum, 0), "betti");
+
 tst_status(1);$;
 

kernel/GBEngine/syz.cc

@@ -865 +865 @@
       {
         if ((pGetComp(res[i]->m[j])>l)
-        || ((i>1) && (res[i-1]->m[pGetComp(res[i]->m[j])-1]==NULL)))
+        // usual resolutions do not the following, but artifulal built may: (tr. #763)
+        //|| ((i>1) && (res[i-1]->m[pGetComp(res[i]->m[j])-1]==NULL))
+        )
         {
           WerrorS("input not a resolvent");