Real zeros of the zero-dimensional parametric piecewise algebraic variety
2009
The piecewise algebraic variety is the set of all common zeros of multivariate splines. We show that solving a parametric piecewise algebraic variety amounts to solve a finite number of parametric polynomial systems containing strict inequalities. With the regular decomposition of semi-algebraic systems and the partial cylindrical algebraic decomposition method, we give a method to compute the supremum of the number of torsion-free real zeros of a given zero-dimensional parametric piecewise algebraic variety, and to get distributions of the number of real zeros in every n-dimensional cell when the number reaches the supremum. This method also produces corresponding necessary and sufficient conditions for reaching the supremum and its distributions. We also present an algorithm to produce a necessary and sufficient condition for a given zero-dimensional parametric piecewise algebraic variety to have a given number of distinct torsion-free real zeros in every n-cell in the n-complex.
Keywords:
- Algebraic element
- Singular point of an algebraic variety
- Mathematical analysis
- Algebraic cycle
- Function field of an algebraic variety
- Real algebraic geometry
- Discrete mathematics
- Differential algebraic geometry
- Cylindrical algebraic decomposition
- Dimension of an algebraic variety
- Mathematics
- Algebraic surface
- Algebraic function
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
25
References
10
Citations
NaN
KQI