Opened 12 years ago

Last modified 12 years ago

## #417 new bug

# Sheaf cohomology commands based on local duality are not correct for 0th cohomology

Reported by: | decker | Owned by: | decker |
---|---|---|---|

Priority: | major | Milestone: | 3-1-5 and higher |

Component: | singular-libs | Version: | 3-1-4 |

Keywords: | Cc: |

### Description

Here is an example:

LIB "sheafcoh.lib"; ring R = 0,(s,t,x(0..3)),Dp; ideal I = x(0)-s4,x(1)-s3t,x(2)-st3,x(3)-t4; ideal J = eliminate(I,s*t); ring S = 0,x(0..3),Dp; ideal I = imap(R,J); resolution Ir = mres(I,0); print(betti(Ir),"betti");

module M = Ir[1]; intvec DV = 0; attrib(M,"isHomog",DV);

dimH(0,M,1); sheafCoh(M,0,4);

sheafCohBGG(M,-3,3);

### Change History (1)

### comment:1 Changed 12 years ago by

Summary: | Sheaf cohomology commands based on local cohomology are not correct for 0th cohomology → Sheaf cohomology commands based on local duality are not correct for 0th cohomology |
---|

**Note:**See TracTickets for help on using tickets.