Solving zero-dimensional algebraic systems (Q1190743): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q590340 |
||
Property / reviewed by | |||
Property / reviewed by: Jun-ichi Nishimura / rank | |||
Revision as of 16:17, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solving zero-dimensional algebraic systems |
scientific article |
Statements
Solving zero-dimensional algebraic systems (English)
0 references
26 September 1992
0 references
Let \(X_ 1,\ldots,X_ n\) be \(n\) variables ordered as \(X_ 1<X_ 2<\cdots<X_ n\). The main variable of a polynomial is the greatest variable in it. A set of \(n\) polynomials is called \textit{triangular} if the main variable of the \(i\)-th polynomial is \(X_ i\) and monic in \(X_ i\). Using this terminology, the author first remarks: Proposition 1. If \(K\) is a field, any maximal ideal in \(K[X_ 1,\ldots,X_ n]\) has a triangular system of generators. Proposition 2. Every system with a finite number of solutions (in an algebraic closure of \(K\)) is equivalent to the union of a finite number of triangular systems. Then he shows how to compute numerically the common zeros of a triangular set.
0 references
triangular set
0 references
compute numerically the common zeros
0 references
Gröbner base
0 references