next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Dmodules :: populateCechComplexCC(Ideal,List)

populateCechComplexCC(Ideal,List) -- Cech complex skeleton for the computation of the characteristic cycles of local cohomology modules

Synopsis

Description

For the ideal I=(f1,...,fk) the routine computes the characteristic cycles of the localized modules Mfi1,...,fik and places them in the corresponding places in the Cech complex.
i1 : W =  QQ[x_1..x_6, a_1..a_6];
i2 : I = minors(2, matrix{{x_1, x_2, x_3}, {x_4, 0, 0}});

o2 : Ideal of W
i3 : cc = {ideal W => 1};

Caveat

The module has to be a regular holonomic complex-analytic module; while the holomicity can be checked by isHolonomic there is no algorithm to check the regularity.

See also