[fc866f6] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | |
---|
[ed91a6] | 4 | // 760: conversion list -> resolution must include attribute isHomog |
---|
[fc866f6] | 5 | ring r = 0, x, dp; |
---|
| 6 | module m = 0; |
---|
| 7 | attrib(m, "isHomog", intvec(3)); |
---|
| 8 | print(betti(list(m), 0), "betti"); |
---|
| 9 | attrib(m,"isHomog"); |
---|
| 10 | resolution s = list(m); |
---|
| 11 | attrib(s); |
---|
| 12 | attrib(s,"isHomog"); |
---|
| 13 | print(betti(s, 0), "betti"); |
---|
| 14 | |
---|
[1c1d660] | 15 | // 761: rowShift, if betti[1,1] is 0 |
---|
[ed91a6] | 16 | ring r2 = 0, x, dp; |
---|
| 17 | module m = gen(1); |
---|
| 18 | attrib(m, "isHomog", intvec(3)); |
---|
| 19 | print(betti(list(m), 0), "betti"); |
---|
| 20 | |
---|
[1c1d660] | 21 | // 763: there may be 0 as generator |
---|
| 22 | LIB "matrix.lib"; |
---|
| 23 | ring r3 = 0, (x,y,z), dp; |
---|
| 24 | ideal i1 = x, y, z; |
---|
| 25 | ideal i2 = 1; |
---|
| 26 | resolution s1 = res(i1, 0); |
---|
| 27 | resolution s2 = res(i2, 0); |
---|
| 28 | list l1 = s1; |
---|
| 29 | list l2 = s2; |
---|
| 30 | print(betti(l1, 0), "betti"); |
---|
| 31 | print(betti(l2, 0), "betti"); |
---|
| 32 | list l_sum; |
---|
| 33 | l_sum[3] = module(dsum(matrix(l1[3]), matrix(l2[1]))); // direct sum |
---|
| 34 | l_sum[1] = l1[1]; |
---|
| 35 | l_sum[2] = module(l1[2][1], l1[2][2], l1[2][3], 0); |
---|
| 36 | l_sum; |
---|
| 37 | |
---|
| 38 | print(betti(l_sum, 0), "betti"); |
---|
| 39 | |
---|
[fc866f6] | 40 | tst_status(1);$; |
---|
| 41 | |
---|
| 42 | |
---|