A Geometric Approach to Cylindrical Algebraic Decomposition
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910984388476928 |
|---|---|
| author | Chen, Rizeng |
| author_facet | Chen, Rizeng |
| contents | Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, their practical performance is still very limited. In this paper, we revisit this problem from a more geometric perspective, where the construction of cylindrical algebraic decomposition is related to the study of morphisms between real varieties. It is showed that the geometric fiber cardinality (geometric property) decides the existence of semi-algebraic continuous sections (semi-algebraic property). As a result, all equations can be systematically exploited in the projection phase, leading to a new simple algorithm whose efficiency is demonstrated by experimental results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_10515 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A Geometric Approach to Cylindrical Algebraic Decomposition Chen, Rizeng Algebraic Geometry Symbolic Computation Commutative Algebra 14Q30 (Primary) 14P10, 14Q20, 68W30 (Secondary) Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, their practical performance is still very limited. In this paper, we revisit this problem from a more geometric perspective, where the construction of cylindrical algebraic decomposition is related to the study of morphisms between real varieties. It is showed that the geometric fiber cardinality (geometric property) decides the existence of semi-algebraic continuous sections (semi-algebraic property). As a result, all equations can be systematically exploited in the projection phase, leading to a new simple algorithm whose efficiency is demonstrated by experimental results. |
| title | A Geometric Approach to Cylindrical Algebraic Decomposition |
| topic | Algebraic Geometry Symbolic Computation Commutative Algebra 14Q30 (Primary) 14P10, 14Q20, 68W30 (Secondary) |
| url | https://arxiv.org/abs/2311.10515 |