Layered Cylindrical Algebraic Decomposition

D. J. Wilson, M. England

Research output: Book/ReportOther report

Abstract

In this report the idea of a Layered CAD is introduced: a
truncation of a CAD to cells of dimension higher than a prescribed
value. Limiting to full-dimensional cells has already been
investigated in the literature, but including more levels is shown to
also be beneficial for applications. Alongside a direct algorithm, a
recursive algorithm is provided. A related topological property is
defined and related to robot motion planning. The distribution of cell
dimensions in a CAD is investigated and layered CAD ideas are combined
with other research. All research is fully implemented within a freely
available Maple package, and all results are corroborated with
experimental results.
LanguageEnglish
Place of PublicationBath, U. K.
PublisherDepartment of Computer Science, University of Bath
StatusPublished - Aug 2013

Publication series

NameDepartment of Computer Science Technical Report Series
PublisherDepartment of Computer Science, University of Bath
No.CSBU-2013-05
ISSN (Print)1740-9497

Fingerprint

Computer aided design
Decomposition
Motion planning
Robots

Cite this

Wilson, D. J., & England, M. (2013). Layered Cylindrical Algebraic Decomposition. (Department of Computer Science Technical Report Series; No. CSBU-2013-05). Bath, U. K.: Department of Computer Science, University of Bath.

Layered Cylindrical Algebraic Decomposition. / Wilson, D. J.; England, M.

Bath, U. K. : Department of Computer Science, University of Bath, 2013. (Department of Computer Science Technical Report Series; No. CSBU-2013-05).

Research output: Book/ReportOther report

Wilson, DJ & England, M 2013, Layered Cylindrical Algebraic Decomposition. Department of Computer Science Technical Report Series, no. CSBU-2013-05, Department of Computer Science, University of Bath, Bath, U. K.
Wilson DJ, England M. Layered Cylindrical Algebraic Decomposition. Bath, U. K.: Department of Computer Science, University of Bath, 2013. (Department of Computer Science Technical Report Series; CSBU-2013-05).
Wilson, D. J. ; England, M. / Layered Cylindrical Algebraic Decomposition. Bath, U. K. : Department of Computer Science, University of Bath, 2013. (Department of Computer Science Technical Report Series; CSBU-2013-05).
@book{8a856888501d46a9b54f4bc5eaebba12,
title = "Layered Cylindrical Algebraic Decomposition",
abstract = "In this report the idea of a Layered CAD is introduced: atruncation of a CAD to cells of dimension higher than a prescribedvalue. Limiting to full-dimensional cells has already beeninvestigated in the literature, but including more levels is shown toalso be beneficial for applications. Alongside a direct algorithm, arecursive algorithm is provided. A related topological property isdefined and related to robot motion planning. The distribution of celldimensions in a CAD is investigated and layered CAD ideas are combinedwith other research. All research is fully implemented within a freelyavailable Maple package, and all results are corroborated withexperimental results.",
author = "Wilson, {D. J.} and M. England",
year = "2013",
month = "8",
language = "English",
series = "Department of Computer Science Technical Report Series",
publisher = "Department of Computer Science, University of Bath",
number = "CSBU-2013-05",

}

TY - BOOK

T1 - Layered Cylindrical Algebraic Decomposition

AU - Wilson, D. J.

AU - England, M.

PY - 2013/8

Y1 - 2013/8

N2 - In this report the idea of a Layered CAD is introduced: atruncation of a CAD to cells of dimension higher than a prescribedvalue. Limiting to full-dimensional cells has already beeninvestigated in the literature, but including more levels is shown toalso be beneficial for applications. Alongside a direct algorithm, arecursive algorithm is provided. A related topological property isdefined and related to robot motion planning. The distribution of celldimensions in a CAD is investigated and layered CAD ideas are combinedwith other research. All research is fully implemented within a freelyavailable Maple package, and all results are corroborated withexperimental results.

AB - In this report the idea of a Layered CAD is introduced: atruncation of a CAD to cells of dimension higher than a prescribedvalue. Limiting to full-dimensional cells has already beeninvestigated in the literature, but including more levels is shown toalso be beneficial for applications. Alongside a direct algorithm, arecursive algorithm is provided. A related topological property isdefined and related to robot motion planning. The distribution of celldimensions in a CAD is investigated and layered CAD ideas are combinedwith other research. All research is fully implemented within a freelyavailable Maple package, and all results are corroborated withexperimental results.

M3 - Other report

T3 - Department of Computer Science Technical Report Series

BT - Layered Cylindrical Algebraic Decomposition

PB - Department of Computer Science, University of Bath

CY - Bath, U. K.

ER -