From ac1e66d3322043f80cc0a593416879897635ed96 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Tue, 17 Nov 2015 23:21:15 -0500
Subject: [PATCH] books/bookvolbib add Engl13
Goal: Branch Cuts
@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",
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."
}
---
books/bookvolbib.pamphlet | 36 ++++++++++++++++++++++++++++++++++++
changelog | 2 ++
patch | 34 +++++++++++++++++++++++++++++++---
src/axiom-website/patches.html | 2 ++
4 files changed, 71 insertions(+), 3 deletions(-)
diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index c9129ba..10f9ba2 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -6557,6 +6557,42 @@ Proc ISSAC 97 pp172-175 (1997)
\end{chunk}
+\index{England, Matthew}
+\index{Bradford, Russell}
+\index{Davenport, James H.}
+\index{Wilson, David}
+\begin{chunk}{axiom.bib}
+@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",
+ 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."
+}
+
+\end{chunk}
+
\index{Jeffrey, David J.}
\index{Norman, Arthur C.}
\begin{chunk}{axiom.bib}
diff --git a/changelog b/changelog
index 3266bd6..e89776b 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+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 src/axiom-website/patches.html 20151117.01.tpd.patch
diff --git a/patch b/patch
index 47271de..51403a7 100644
--- a/patch
+++ b/patch
@@ -1,5 +1,33 @@
-books/bookvolbib add OCon15
+books/bookvolbib add Engl13
-Goal: Proving Axiom Correct
+Goal: Branch Cuts
+
+@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",
+ 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."
+}
-Add Liam O'Connor's "Write Your Compiler by Proving It Correct"
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 63d46c8..185656a 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -5134,6 +5134,8 @@ books/bookvolbib add Knut15, Tane76 references added

src/input/Makefile, drawcurv, usingfunctions regression tests

20151117.02.tpd.patch
books/bookvolbib add OCon15

+20151117.03.tpd.patch
+books/bookvolbib add Engl13

--
1.7.5.4