Algorithmic stratification of for regular algebraic -modules on

Let M be a holonomic -module on . We give an algorithm to stratify such that on all strata X each restriction (derived inverse image) module is a connection. For regular holonomic modules this stratifies the solution complex 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.