Algebra, Geometry and Software Systems pp 207-224 | Cite as

# The Geometry of ℂ^{n} is Important for the Algebra of Elementary Functions

## Abstract

On the one hand, we all “know” tha\(\sqrt {{z^2}} = z\), but on the other hand we know that this is false when z = −1. We all know that ln e^{ x } = *x*, and we all know that this is false when *x* = 2*πi*. How do we imbue a computer algebra system with this sort of “knowledge”? Why is it that \(\sqrt x \sqrt y = \sqrt {xy} \) is false in general y =), but \(\sqrt {1 - z} \sqrt {1 + z} = \sqrt {1 - {z^2}} \) is true everywhere? The root cause of this, of course, is that functions such as \(\sqrt {} \) and log are intrinsically multi-valued from their algebraic definition.

It is the contention of this paper that, only by considering the geometry of ℂ (or ℂ^{ n } if there are n variables) induced by the various branch cuts can we hope to answer these questions even semi-algorithmically (i.e. in a yes/no/fail way). This poses questions for geometry, and calls out for a more efficient formulation of cylindrical algebraic decomposition, as well as for cylindrical non-algebraic decomposition. It is an open question as to how far this problem can be rendered fully automatic.

### Keywords

limE Mora Arctiin## Preview

Unable to display preview. Download preview PDF.

### References

- 1.Abramowitz,M. & Stegun,I., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office, 1964. 10th Printing December 1972.Google Scholar
- 2.Arnon,D.S. & McCallum,S., Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.
*SIAM J. Comp.***13**(1984) pp. 878–889.Google Scholar - 3.Bradford,R.J. & Davenport,J.H., Towards Better Simplification of Elementary Functions. Proc. ISSAC 2002 (ed. T. Mora ), ACM Press, New York, 2002, pp. 15–22.Google Scholar
- 4.Bradford,R.J., Corless,R.M., Davenport,J.H., Jeffrey,D.J.
*&*Watt,S.M., Reasoning about the Elementary Functions of Complex Analysis.*Annals of Mathematics and Artificial Intelligence***36**(2002) pp. 303–318.MathSciNetMATHCrossRefGoogle Scholar - 5.Collins,G.E., Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Proc. 2nd. GI Conference Automata Theory & Formal Languages (Springer Lecture Notes in Computer Science 33 ) pp. 134–183.Google Scholar
- 6.Corless,R.M., Davenport,J.H., Jeffrey,D.J. & Watt,S.M., “According to Abramowitz and Stegun”.
*SIGSAM Bulletin*34 (2000) 2, pp. 58–65.Google Scholar - 7.Corless,R.M., Davenport,J.H., Jeffrey,D.J., Litt,G.
*&*Watt,S.M., Reasoning about the Elementary Functions of Complex Analysis. Artificial Intelligence and Symbolic Computation (ed. John A. Campbell & Eugenio Roanes-Lozano), Springer Lecture Notes in Artificial Intelligence Vol. 1930, Springer-Verlag 2001, pp. 115–126.Google Scholar - 8.Corless,R.M., Gonnet,G.H.. Hare,D.E.G., Jeffrey,D.J. & Knuth,D.E., On the Lambert W function.
*Advances in Computational Mathematics*5 (1996) pp. 329–359.MathSciNetMATHCrossRefGoogle Scholar - 9.Corless,R.M.
*&*Jeffrey,D.J., The Unwinding Number.*SIGSAM Bulletin*30 (1996) 2, issue 116, pp. 28–35.Google Scholar - 10.Gabrielov,A.
*&*Vorobjov,N., Complexity of cylindrical decompositions of sub-Pfaffian sets.*J. Pure Appl. Algebra*164 (2001) pp. 179–197.MathSciNetMATHCrossRefGoogle Scholar - 11.van der Hoeven,J., A new Zero-test for Formal Power Series. Proc. ISSAC 2002 (ed. T. Moral, ACM Press. New York. 2002. pp. 117–122.Google Scholar
- 12.IEEE Standard 754 for Binary Floating-Point Arithmetic. IEEE Inc., 1985. Reprinted in SIGPLAN Notices
**22**(1987) pp. 9–25.Google Scholar - 13.Kahan,W., Branch Cuts for Complex Elementary Functions.
*The State of Art in Numerical Analysis*(ed. A. Iserles & M.J.D. Powell ), Clarendon Press, Oxford, 1987, pp. 165–211.Google Scholar - 14.Richardson,D., Some Unsolvable Problems Involving Elementary Functions of a Real Variable.
*Journal of Symbolic Logic***33**(1968), pp. 514–520.MathSciNetMATHCrossRefGoogle Scholar - 15.Risch,R.H., Algebraic Properties of the Elementary Functions of Analysis.
*Amer. J. Math.***101**(1979) pp. 743–759.MathSciNetMATHCrossRefGoogle Scholar