-
How to hunt wild constants
Authors:
David R. Stoutemyer
Abstract:
There are now several comprehensive web applications, stand-alone computer programs and computer algebra functions that, given a floating point number such as 6.518670730718491, can return concise nonfloat constants such as 3 arctan 2 + ln 9 + 1, that closely approximate the float. Examples include AskConstants, Inverse Symbolic Calculator, the Maple identify function, MESearch, OEIS, RIES, and Wo…
▽ More
There are now several comprehensive web applications, stand-alone computer programs and computer algebra functions that, given a floating point number such as 6.518670730718491, can return concise nonfloat constants such as 3 arctan 2 + ln 9 + 1, that closely approximate the float. Examples include AskConstants, Inverse Symbolic Calculator, the Maple identify function, MESearch, OEIS, RIES, and WolframAlpha. Usefully often such a result is the exact limit as the float is computed with increasing precision. Therefore these program results are candidates for proving an exact result that you could not otherwise compute or conjecture without the program. Moreover, candidates that are not the exact limit can be provable bounds, or convey qualitative insight, or suggest series that they truncate, or provide sufficiently close efficient approximations for subsequent computation. This article describes some of these programs, how they work, and how best to use each of them. Almost everyone who uses or should use mathematical software can benefit from acquaintance with several such programs, because these programs differ in the sets of constants that they can return.
△ Less
Submitted 2 February, 2022; v1 submitted 30 March, 2021;
originally announced March 2021.
-
A computer algebra user interface manifesto
Authors:
David R. Stoutemyer
Abstract:
Many computer algebra systems have more than 1000 built-in functions, making expertise difficult. Using mock dialog boxes, this article describes a proposed interactive general-purpose wizard for organizing optional transformations and allowing easy fine grain control over the form of the result even by amateurs. This wizard integrates ideas including:
* flexible subexpression selection;
* com…
▽ More
Many computer algebra systems have more than 1000 built-in functions, making expertise difficult. Using mock dialog boxes, this article describes a proposed interactive general-purpose wizard for organizing optional transformations and allowing easy fine grain control over the form of the result even by amateurs. This wizard integrates ideas including:
* flexible subexpression selection;
* complete control over the ordering of variables and commutative operands, with well-chosen defaults;
* interleaving the choice of successively less main variables with applicable function choices to provide detailed control without incurring a combinatorial number of applicable alternatives at any one level;
* quick applicability tests to reduce the listing of inapplicable transformations;
* using an organizing principle to order the alternatives in a helpful manner;
* labeling quickly-computed alternatives in dialog boxes with a preview of their results,
* using ellipsis elisions if necessary or helpful;
* allowing the user to retreat from a sequence of choices to explore other branches of the tree of alternatives or to return quickly to branches already visited;
* allowing the user to accumulate more than one of the alternative forms;
* integrating direct manipulation into the wizard; and
* supporting not only the usual input-result pair mode, but also the useful alternative derivational and in situ replacement modes in a unified window.
△ Less
Submitted 14 May, 2013;
originally announced May 2013.
-
Representation, simplification and display of fractional powers of rational numbers in computer algebra
Authors:
Albert D. Rich,
David R. Stoutemyer
Abstract:
Simplification of fractional powers of positive rational numbers and of sums, products and powers of such numbers is taught in beginning algebra. Such numbers can often be expressed in many ways, as this article discusses in some detail. Since they are such a restricted subset of algebraic numbers, it might seem that good simplification of them must already be implemented in all widely used comput…
▽ More
Simplification of fractional powers of positive rational numbers and of sums, products and powers of such numbers is taught in beginning algebra. Such numbers can often be expressed in many ways, as this article discusses in some detail. Since they are such a restricted subset of algebraic numbers, it might seem that good simplification of them must already be implemented in all widely used computer algebra systems. However, the algorithm taught in beginning algebra uses integer factorization, which can consume unacceptable time for the large numbers that often arise within computer algebra. Therefore some systems apparently use various ad hoc techniques that can return an incorrect result because of not simplifying to 0 the difference between two equivalent such expressions. Even systems that avoid this flaw often do not return the same result for all equivalent such input forms, or return an unnecessarily bulky result that does not have any other compensating useful property. This article identifies some of these deficiencies, then describes the advantages and disadvantages of various alternative forms and how to overcome the deficiencies without costly integer factorization.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Series Crimes
Authors:
David R. Stoutemyer
Abstract:
Puiseux series are power series in which the exponents can be fractional and/or negative rational numbers. Several computer algebra systems have one or more built-in or loadable functions for computing truncated Puiseux series. Some are generalized to allow coefficients containing functions of the series variable that are dominated by any power of that variable, such as logarithms and nested logar…
▽ More
Puiseux series are power series in which the exponents can be fractional and/or negative rational numbers. Several computer algebra systems have one or more built-in or loadable functions for computing truncated Puiseux series. Some are generalized to allow coefficients containing functions of the series variable that are dominated by any power of that variable, such as logarithms and nested logarithms of the series variable. Some computer algebra systems also have built-in or loadable functions that compute infinite Puiseux series. Unfortunately, there are some little-known pitfalls in computing Puiseux series. The most serious of these is expansions within branch cuts or at branch points that are incorrect for some directions in the complex plane. For example with each series implementation accessible to you:
Compare the value of (z^2 + z^3)^(3/2) with that of its truncated series expansion about z = 0, approximated at z = -0.01. Does the series converge to a value that is the negative of the correct value?
Compare the value of ln(z^2 + z^3) with its truncated series expansion about z = 0, approximated at z = -0.01 + 0.1i. Does the series converge to a value that is incorrect by 2pi i?
Compare arctanh(-2 + ln(z)z) with its truncated series expansion about z = 0, approximated at z = -0.01. Does the series converge to a value that is incorrect by about pi i?
At the time of this writing, most implementations that accommodate such series exhibit such errors. This article describes how to avoid these errors both for manual derivation of series and when implementing series packages.
△ Less
Submitted 26 March, 2012;
originally announced March 2012.
-
Series misdemeanors
Authors:
David R. Stoutemyer
Abstract:
Puiseux series are power series in which the exponents can be fractional and/or negative rational numbers. Several computer algebra systems have one or more built-in or loadable functions for computing truncated Puiseux series -- perhaps generalized to allow coefficients containing functions of the series variable that are dominated by any power of that variable, such as logarithms and nested loga…
▽ More
Puiseux series are power series in which the exponents can be fractional and/or negative rational numbers. Several computer algebra systems have one or more built-in or loadable functions for computing truncated Puiseux series -- perhaps generalized to allow coefficients containing functions of the series variable that are dominated by any power of that variable, such as logarithms and nested logarithms of the series variable. Some computer-algebra systems also offer functions that can compute more-general truncated recursive hierarchical series. However, for all of these kinds of truncated series there are important implementation details that haven't been addressed before in the published literature and in current implementations.
For implementers this article contains ideas for designing more convenient, correct, and efficient implementations or improving existing ones. For users, this article is a warning about some of these limitations. Many of the ideas in this article have been implemented in the computer-algebra within the TI-Nspire calculator, Windows and Macintosh products.
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Simplifying products of fractional powers of powers
Authors:
David R. Stoutemyer
Abstract:
Most computer algebra systems incorrectly simplify (z - z)/(sqrt(w^2)/w^3 - 1/(w*sqrt(w^2))) to 0 rather than to 0/0. The reasons for this are:
1. The default simplification doesn't succeed in simplifying the denominator to 0.
2. There is a rule that 0 is the result of 0 divided by anything that doesn't simplify to either 0 or 0/0.
Try it on your computer algebra systems!
This article desc…
▽ More
Most computer algebra systems incorrectly simplify (z - z)/(sqrt(w^2)/w^3 - 1/(w*sqrt(w^2))) to 0 rather than to 0/0. The reasons for this are:
1. The default simplification doesn't succeed in simplifying the denominator to 0.
2. There is a rule that 0 is the result of 0 divided by anything that doesn't simplify to either 0 or 0/0.
Try it on your computer algebra systems!
This article describes how to simplify products of the form w^a*(w^b1)^g1 ... (w^bn)^gn correctly and well, where w is any real or complex expression and the exponents are rational numbers.
It might seem that correct good simplification of such a restrictive expression class must already be published and/or built into at least one widely used computer-algebra system, but apparently this issue has been overlooked. Default and relevant optional simplification was tested with 86 examples for n=1 on Derive, Maple, Mathematica, Maxima and TI-CAS. Totaled over all five systems, 11% of the results were not equivalent to the input everywhere, 50% of the results did not simplify to 0 a result that was equivalent to 0, and at least 16% of the results exhibited one or more of four additional flaw types. There was substantial room for improvement in all five systems, including the two for which I was a co-author.
The good news is: These flaws are easy to fix.
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Subtotal ordering -- a pedagogically advantageous algorithm for computing total degree reverse lexicographic order
Authors:
David R. Stoutemyer
Abstract:
Total degree reverse lexicographic order is currently generally regarded as most often fastest for computing Groebner bases. This article describes an alternate less mysterious algorithm for computing this order using exponent subtotals and describes why it should be very nearly the same speed the traditional algorithm, all other things being equal. However, experimental evidence suggests that sub…
▽ More
Total degree reverse lexicographic order is currently generally regarded as most often fastest for computing Groebner bases. This article describes an alternate less mysterious algorithm for computing this order using exponent subtotals and describes why it should be very nearly the same speed the traditional algorithm, all other things being equal. However, experimental evidence suggests that subtotal order is actually slightly faster for the Mathematica Groebner basis implementation more often than not. This is probably because the weight vectors associated with the natural subtotal weight matrix and with the usual total degree reverse lexicographic weight matrix are different, and Mathematica also uses those the corresponding weight vectors to help select successive S polynomials and divisor polynomials: Those selection heuristics appear to work slightly better more often with subtotal weight vectors.
However, the most important advantage of exponent subtotals is pedagogical. It is easier to understand than the total degree reverse lexicographic algorithm, and it is more evident why the resulting order is often the fastest known order for computing Groebner bases.
Keywords: Term order, Total degree reverse lexicographic, tdeg, grevlex, Groebner basis
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Can the Eureqa symbolic regression program, computer algebra and numerical analysis help each other?
Authors:
David R. Stoutemyer
Abstract:
The Eureqa symbolic regression program has recently received extensive press praise. A representative quote is
"There are very clever 'thinking machines' in existence today, such as Watson, the IBM computer that conquered Jeopardy! last year. But next to Eureqa, Watson is merely a glorified search engine."
The program was designed to work with noisy experimental data. However, if the data is g…
▽ More
The Eureqa symbolic regression program has recently received extensive press praise. A representative quote is
"There are very clever 'thinking machines' in existence today, such as Watson, the IBM computer that conquered Jeopardy! last year. But next to Eureqa, Watson is merely a glorified search engine."
The program was designed to work with noisy experimental data. However, if the data is generated from an expression for which there exists more concise equivalent expressions, sometimes some of the Eureqa results are one or more of those more concise equivalents. If not, perhaps one or more of the returned Eureqa results might be a sufficiently accurate approximation that is more concise than the given expression. Moreover, when there is no known closed form expression, the data points can be generated by numerical methods, enabling Eureqa to find expressions that concisely fit those data points with sufficient accuracy. In contrast to typical regression software, the user does not have to explicitly or implicitly provide a specific expression or class of expressions containiing unknown constants for the software to determine.
Is Eureqa useful enough in these regards to provide an additional tool for experimental mathematics, computer algebra users and numerical analysis? Yes if used carefully. Can computer algebra and numerical methods help Eureqa? Definitely.
△ Less
Submitted 5 March, 2012;
originally announced March 2012.
