Algorithmic stratification of RℋomD(M,N) for regular algebraic D-modules on Cn

Let M be a holonomic D-module on Cn. We give an algorithm to stratify Cn such that on all strata X each restriction (derived inverse image) module Hi(ρX,Cn(M)) is a connection. For regular holonomic modules this stratifies the solution complex RℋomDCn,an(Man,Oan) of sheaves of (higher) holomorphic solutions of M. We also give an algorithm to compute the dimensions of the cohomology modules of the solution complex over all strata.