From 30f0f9164f37b0469a26075cad15f9448835358b Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Wed, 18 Nov 2015 00:11:08 -0500
Subject: [PATCH] books/bookvolbib add Engl15
Goal: Branch Cuts and CAD
@article{Engl15,
author = "England, M. and Bradford, R. and Davenport, J. H.",
title = "Improving the use of equational constraints in cylindrical
algebraic decomposition",
journal = "ISSAC 15",
year = "2015",
series = "LNCS 7961",
publisher = "ACM",
url = "http://opus.bath.ac.uk/42451/",
paper = "Engl15.pdf",
abstract = "
When building a cylindrical algebraic decomposition (CAD) savings can
be made in the presence of an equational constraint (EC): an equation
logically implied by a formula.
The present paper is concerned with how to use multiple ECs,
propagating those in the input throughout the projection set. We
improve on the approach of McCallum in ISSAC 2001 by using the reduced
projection theory to make savings in the lifting phase (both to the
polynomials we lift with and the cells lifted over). We demonstrate
the benefits with worked examples and a complexity analysis."
}
---
books/bookvolbib.pamphlet | 29 ++++++++++++++++++++++
changelog | 4 ++-
patch | 51 +++++++++++++++++----------------------
src/axiom-website/patches.html | 2 +
4 files changed, 56 insertions(+), 30 deletions(-)
diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 10f9ba2..a9ca494 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -6593,6 +6593,35 @@ Proc ISSAC 97 pp172-175 (1997)
\end{chunk}
+\index{England, Matthew}
+\index{Bradford, Russell}
+\index{Davenport, James H.}
+\begin{chunk}{axiom.bib}
+@article{Engl15,
+ author = "England, M. and Bradford, R. and Davenport, J. H.",
+ title = "Improving the use of equational constraints in cylindrical
+ algebraic decomposition",
+ journal = "ISSAC 15",
+ year = "2015",
+ series = "LNCS 7961",
+ publisher = "ACM",
+ url = "http://opus.bath.ac.uk/42451/",
+ paper = "Engl15.pdf",
+ abstract = "
+ When building a cylindrical algebraic decomposition (CAD) savings can
+ be made in the presence of an equational constraint (EC): an equation
+ logically implied by a formula.
+
+ The present paper is concerned with how to use multiple ECs,
+ propagating those in the input throughout the projection set. We
+ improve on the approach of McCallum in ISSAC 2001 by using the reduced
+ projection theory to make savings in the lifting phase (both to the
+ polynomials we lift with and the cells lifted over). We demonstrate
+ the benefits with worked examples and a complexity analysis."
+}
+
+\end{chunk}
+
\index{Jeffrey, David J.}
\index{Norman, Arthur C.}
\begin{chunk}{axiom.bib}
diff --git a/changelog b/changelog
index e89776b..cb69499 100644
--- a/changelog
+++ b/changelog
@@ -1,7 +1,9 @@
+20151118 tpd src/axiom-website/patches.html 20151118.01.tpd.patch
+20151118 tpd books/bookvolbib add Engl15
20151117 tpd src/axiom-website/patches.html 20151117.03.tpd.patch
20151117 tpd books/bookvolbib add Engl13
20151117 tpd src/axiom-website/patches.html 20151117.02.tpd.patch
-20151117 tpd books/bookvolbib add OCon15
+20151117 tpd books/bookvolbib add OCon15
20151117 tpd src/axiom-website/patches.html 20151117.01.tpd.patch
20151117 tpd src/input/Makefile add usingfunctions.input
20151117 tpd src/input/drawcurv.input additional multi-curve example
diff --git a/patch b/patch
index 51403a7..0da87c1 100644
--- a/patch
+++ b/patch
@@ -1,33 +1,26 @@
-books/bookvolbib add Engl13
+books/bookvolbib add Engl15
-Goal: Branch Cuts
+Goal: Branch Cuts and CAD
-@article{Engl13,
- author = "England, M. and Bradford, R. and Davenport, J. H. and
- Wilson, D.",
- title = "Understanding Branch Cuts of Expressions",
- journal = "Intelligent Computer Mathematics",
- year = "2013",
- series = " LNCS 7961",
- publisher = "Springer, Berlin",
- pages = "136-151",
- isbn = "9783642393198",
- paper = "Engl13.pdf",
+@article{Engl15,
+ author = "England, M. and Bradford, R. and Davenport, J. H.",
+ title = "Improving the use of equational constraints in cylindrical
+ algebraic decomposition",
+ journal = "ISSAC 15",
+ year = "2015",
+ series = "LNCS 7961",
+ publisher = "ACM",
+ url = "http://opus.bath.ac.uk/42451/",
+ paper = "Engl15.pdf",
abstract = "
- We assume some standard choices for the branch cuts of a group of
- functions and consider the problem of then calculating the branch cuts
- of expressions involving those functions. Typical examples include the
- addition formulae for inverse trigonometric functions. Understanding
- these cuts is essential for working with the single-valued
- counterparts, the common approach to encoding multi-valued functions
- in computer algebra systems. While the defining choices are usually
- simple (typically portions of either the real or imaginary axes) the
- cuts induced by the expression may be surprisingly complicated. We
- have made explicit and implemented techniques for calculating the cuts
- in the computer algebra programme Maple. We discuss the issues raised,
- classifying the different cuts produced. The techniques have been
- gathered in the BranchCuts package, along with tools for visualising
- the cuts. The package is included in Maple 17 as part of the
- FunctionAdvisor tool."
-}
+ When building a cylindrical algebraic decomposition (CAD) savings can
+ be made in the presence of an equational constraint (EC): an equation
+ logically implied by a formula.
+ The present paper is concerned with how to use multiple ECs,
+ propagating those in the input throughout the projection set. We
+ improve on the approach of McCallum in ISSAC 2001 by using the reduced
+ projection theory to make savings in the lifting phase (both to the
+ polynomials we lift with and the cells lifted over). We demonstrate
+ the benefits with worked examples and a complexity analysis."
+}
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 185656a..249ddbc 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -5136,6 +5136,8 @@ src/input/Makefile, drawcurv, usingfunctions regression tests

books/bookvolbib add OCon15

20151117.03.tpd.patch
books/bookvolbib add Engl13

+20151118.01.tpd.patch
+books/bookvolbib add Engl15

--
1.7.5.4