The function reduces the Cech complex skeleton produced by
populateCechComplexCC leaving the pieces of the characteristic cycles of the chains that together constitute the characteristic cycles of the local cohomology modules.
W = QQ[x_1..x_6, a_1..a_6]; |
I = minors(2, matrix{{x_1, x_2, x_3}, {x_4, x_5, x_6}}); |
cc = {ideal W => 1}; |
B = populateCechComplexCC(I,cc) |
pruneCechComplexCC B |
scan(keys B, k->if #B#k>0 then print (k=>B#k)) |