Opened 11 years ago

Last modified 11 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 11 years ago by decker

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.