Computing the multiplicity structure of an isolated singular solution: case of breadth one (Q413412)

Consider a polynomial system \(F = \{f_1,\dots,f_t\} \subset \mathbb{C}[x_1,\dots, x_s]\) which has an isolated singularity at \(\hat{\mathbf{x}} = (\hat{x}_1, \dots, \hat{x}_s)\). The authors study the singularity by computing (a) the exponent \(\rho\) in the primary component \(Q=\langle f_1,\dots, f_t, P^\rho \rangle\), where \(P\) is the maximal prime corresponding to~\(\hat{\mathbf{x}}\), (b) the \(\mathbb{C}\)-dimension \(\mu\) of \(\mathbb{C}[\mathbf{x}]/Q\), and (c) a basis of the space of differential operators that annihilates \(\langle f_1, \dots, f_t \rangle\) locally at \(\hat{\mathbf{x}}\) (dubbed the \textit{Max-Noether space} in later publications). The paper at hand focusses on the breadth one case, when \(\rho = \mu\). In this case the authors describe a specialized algorithm for computing a basis of the Max-Noether space and the multiplicity \(\mu\) and examine its complexity.