SMS: Singularities of differentiable maps