Showing 1–2 of 2 results for author: Bradford, R J

Cylindrical Algebraic Sub-Decompositions

Authors: D. J. Wilson, R. J. Bradford, J. H. Davenport, M. England

Abstract: Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. In this paper we introduce cylindrical algebraic sub-decompositions (sub-CADs), which are subsets of CADs containing all the information needed to specify a solution for a given problem. We define two new types of sub-C… ▽ More Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. In this paper we introduce cylindrical algebraic sub-decompositions (sub-CADs), which are subsets of CADs containing all the information needed to specify a solution for a given problem. We define two new types of sub-CAD: variety sub-CADs which are those cells in a CAD lying on a designated variety; and layered sub-CADs which have only those cells of dimension higher than a specified value. We present algorithms to produce these and describe how the two approaches may be combined with each other and the recent theory of truth-table invariant CAD. We give a complexity analysis showing that these techniques can offer substantial theoretical savings, which is supported by experimentation using an implementation in Maple. △ Less

Submitted 24 April, 2014; v1 submitted 3 January, 2014; originally announced January 2014.

Comments: 26 pages

MSC Class: 68W30 ACM Class: I.1.2

Journal ref: Mathematics in Computer Science: Volume 8, Issue 2, pages 263-288, Springer, 2014

Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases

Authors: David J. Wilson, Russell J. Bradford, James H. Davenport

Abstract: Gröbner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gröbner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite… ▽ More Gröbner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gröbner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite often but not always, a beneficial preconditioning of the CAD problem. It is also possible to precondition the (conjoined) inequalities with respect to the equalities, and this can also be useful in many cases. △ Less

Submitted 29 May, 2012; originally announced May 2012.

Comments: To appear in Proc. CICM 2012, LNCS 7362

MSC Class: 68W30 ACM Class: G.4

Journal ref: Proc. CICM 2012, Springer LNCS 7362, pp. 279-293