Algorithmic computation of flattenings and of modular deformations (Q1864887)

An algorithm to compute the ideal of the flattening stratum of a module over a local algebra, modulo a power of the maximal ideal, is described. The algorithm is implemented in \textit{Singular}. As an application, the infinitesimal modular deformations of isolated complete intersection singularities can be computed, as they are characterised as flattening strata of their first tangent cohomology.