Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms (Q765856): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jsc.2011.10.001 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061965397 / rank | |||
Normal rank |
Revision as of 23:46, 19 March 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