Solving zero-dimensional algebraic systems (Q1190743)
From MaRDI portal
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