Computing \(\mu^{*}\)-sequences of hypersurface isolated singularities via parametric local cohomology systems (Q2398304)

Let \(X \subset \mathbb{C}^n\) be an open neighborhood of the origin \(O\) and \(f\) a holomorphic function defined on \(X\) with isolated singularity at \(O\). The Milnor number \(\mu(f)\) is the length of \(\mathcal O_{X,O}/J(f)\) where \(J(f)\) is the Jacobi ideal. For \(i = 0\), \dots, \(n\), let \[ \mu^{(i)}(f) = \min_L \mu(f|_L) \] where \(L\) runs over all the \(i\)-dimensional subspaces of \(\mathbb{C}^n\). The \(\mu^*\)-sequence is defined to be \[ \mu^*(f) = (\mu^{(n)}(f), \dots, \mu^{(0)}(f)). \] In the present paper, authors give a new algorithm to compute \(\mu^*(f)\). It is based on author's preceding paper [in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 351--358 (2014; Zbl 1325.68297)]. Furthermore this paper contains a table of \(\mu^*\)-sequence of famous singularties.