| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | // 760: conversion list -> resolution must include attribute isHomog |
|---|
| 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 | |
|---|
| 15 | // 761: rowShift, if betti[1,1] is 0 |
|---|
| 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 | |
|---|
| 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 | |
|---|
| 40 | tst_status(1);$; |
|---|
| 41 | |
|---|
| 42 | |
|---|
