Abstract
Computer symbolic mathematics has made impressive progress for the automatic simplification of rational expressions, algebraic expressions, and elementary transcendental expressions. However, existing computer-algebra systems tend to provide little or no simplification for the absolute-value function or for its relatives such as the signum, unit ramp, unit step, max, min, modulo, and Dirac delta functions. Although these functions lack certain desireable properties that are helpful for canonical simplification, there are opportunities for some ad hoc simplification. Moreover, a perusal of most mathematics, engineering, and scientific journals or texts reveals that these functions are too prevalent to be ignored.This article describes specific simplification rules implemented in a program that supplements the built-in rules for the MACSYMA ABS and SIGNUM functions.
- Stoutemyer, D. R.: "Qualitive Analysis of Mathematical Expressions, Using Computer Symbolic Mathematics," Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation. Google ScholarDigital Library
Recommendations
Robust structure simplification for hex re-meshing
We introduce a robust and automatic algorithm to simplify the structure and reduce the singularities of a hexahedral mesh. Our algorithm interleaves simplification operations to collapse sheets and chords of the base complex of the input mesh with a ...
A Topological Approach to Simplification of Three-Dimensional Scalar Functions
This paper describes an efficient combinatorial method for simplification of topological features in a 3D scalar function. The Morse-Smale complex, which provides a succinct representation of a function's associated gradient flow field, is used to ...
Hierarchical topology-preserving simplification of terrains
We present an algorithm for simplifying terrain data that preserves topology. We use a decimation algorithm that simplifies the given data set using hierarchical clustering. Topology constraints, along with local error metrics, are used to ensure ...
Comments