Details:
Title  Ten commandments for good default expression simplification  Author(s)  David R. Stoutemyer  Type  Article in Journal  Abstract  This article provides goals for the design and improvement of default computer algebra expression simplification. These goals can also help users recognize and partially circumvent some limitations of their current computer algebra systems. Although motivated by computer algebra, many of the goals are also applicable to manual simplification, indicating what transformations are necessary and sufficient for good simplification when no particular canonical result form is required. After motivating the ten goals, the article then explains how the Altran partially factored form for rational expressions was extended for Derive and for the computer algebra in Texas Instruments products to help fulfill these goals. In contrast to the distributed Altran representation, this recursive partially factored semifraction form: • does not unnecessarily force common denominators, • discovers and preserves significantly more factors, • can represent general expressions, and • can produce an entire spectrum from fully factored over a common denominator through complete multivariate partial fractions, including a dense subset of all intermediate forms.  Keywords  Simplification, Canonical forms, Normal forms, 0recognition, Partial fractions  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717110001471 
Language  English  Journal  Journal of Symbolic Computation  Volume  46  Number  7  Pages  859  887  Year  2011  Note  Special Issue in Honour of Keith Geddes on his 60th Birthday  Edition  0  Translation 
No  Refereed 
No 
