Regular cylindrical algebraic decomposition

Research output: Contribution to journalArticle

1 Downloads (Pure)

Abstract

We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set S is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algebraic decomposition that is locally boundary simply connected: this is a purely local extra condition.

Original languageEnglish
JournalJournal of the London Mathematical Society
Early online date29 Jul 2019
DOIs
Publication statusE-pub ahead of print - 29 Jul 2019

Keywords

  • 14P10 (primary)
  • 57N99
  • 68W30 (secondary)

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Regular cylindrical algebraic decomposition. / Davenport, James; Locatelli, Acyr; Sankaran, Gregory.

In: Journal of the London Mathematical Society, 29.07.2019.

Research output: Contribution to journalArticle

@article{fe438029a60c43aba3f18a46101e2c38,
title = "Regular cylindrical algebraic decomposition",
abstract = "We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set S is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algebraic decomposition that is locally boundary simply connected: this is a purely local extra condition.",
keywords = "14P10 (primary), 57N99, 68W30 (secondary)",
author = "James Davenport and Acyr Locatelli and Gregory Sankaran",
year = "2019",
month = "7",
day = "29",
doi = "10.1112/jlms.12257",
language = "English",
journal = "Journal of the London Mathematical Society",
issn = "0024-6107",
publisher = "Oxford University Press",

}

TY - JOUR

T1 - Regular cylindrical algebraic decomposition

AU - Davenport, James

AU - Locatelli, Acyr

AU - Sankaran, Gregory

PY - 2019/7/29

Y1 - 2019/7/29

N2 - We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set S is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algebraic decomposition that is locally boundary simply connected: this is a purely local extra condition.

AB - We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set S is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algebraic decomposition that is locally boundary simply connected: this is a purely local extra condition.

KW - 14P10 (primary)

KW - 57N99

KW - 68W30 (secondary)

UR - http://www.scopus.com/inward/record.url?scp=85070186655&partnerID=8YFLogxK

U2 - 10.1112/jlms.12257

DO - 10.1112/jlms.12257

M3 - Article

JO - Journal of the London Mathematical Society

JF - Journal of the London Mathematical Society

SN - 0024-6107

ER -