Changeset 1c1d660 in git for Tst/Short/bug_tr760_761.tst

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

8e11c18a3a737eb1a4f019cd5a31a51b01b07da8ff38ee02732552e78a143ebf4f9aadccee454071

Parents:

ed91a648ee6c2d95f04a52b58c09059d4c2c717e

Message:

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

File:

• Tst/Short/bug_tr760_761.tst (modified) (2 diffs)

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);$;