Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms (Q765856): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q545597 |
Changed an Item |
||
Property / author | |||
Property / author: Xiao-Li Wu / rank | |||
Normal rank |
Revision as of 21:40, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms |
scientific article |
Statements
Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms (English)
0 references
22 March 2012
0 references
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 of the paper 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}). The paper at hand focusses on precision and complexity questions of the symbolic-numeric procedure introduced earlier by the authors [in: ISSAC 2008, 325--332, ACM, New York (2008; Zbl 1236.68302)]. The unsurprising result is that the algorithm has the same complexity as computing the nullspace of a matrix, bounded in terms of the dimension of the matrix.
0 references
symbolic-numeric methods
0 references
isolated singularity
0 references
multiplicity
0 references
quadratic convergence
0 references