Understanding branch cuts of expressions

DOI10.1007/978-3-642-39320-4_9zbMATH Open1390.68777arXiv1304.7223OpenAlexW2163171771WikidataQ59590594 ScholiaQ59590594MaRDI QIDQ2843010FDOQ2843010

Authors: Matthew England, Russell Bradford, James H. Davenport, David Wilson 

Publication date: 9 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1304.7223

Recommendations

• Branch cuts in Maple 17
• scientific article; zbMATH DE number 1263422
• scientific article; zbMATH DE number 2151213
• Publication:4723141
• Not seeing the roots for the branches: multivalued functions in computer algebra

zbMATH Keywords

symbolic computationsimplificationbranch cuts

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (9)

• Title not available (Why is that?)
• Using machine learning to improve cylindrical algebraic decomposition
• Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
• Not seeing the roots for the branches: multivalued functions in computer algebra
• Title not available (Why is that?)
• Cylindrical algebraic sub-decompositions
• Branch cuts in Maple 17
• Truth table invariant cylindrical algebraic decomposition
• Exploring Riemann's functional equation

Uses Software

• Maple
• FunctionAdvisor
• BranchCuts

This page was built for publication: Understanding branch cuts of expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843010)