Abstract
An important attribute that any symbolic mathematics program should have is that the user should be able to differentiate an arbitrary function of arbitrary arguments, and do so in a manner that is natural to him or her. Obtaining solutions to many types of problems does not require a complete implementation of this concept, but there will always be applications which will be difficult or even impossible to perform if some feature is missing. In this paper, we shall discuss some of the limitations of the implementation of symbolic differentiation in MACSYMA [2]. In particular, we shall consider some major weaknesses in the functional dependencies approach employed by the MACSYMA differentiator, and then present a method (in the form of a simple modification to the DIFF function) of how we attempted to eliminate these difficulties. Finally, we shall include a set of applications that can be done more naturally with our modifications than was possible in the current version of MACSYMA.
- G. W. Bluman and J. D. Cole, Similarity Methods for Differential Equations, Springer-Verlag, New York, 1974.Google ScholarCross Ref
- MACSYMA Reference Manual, Version Ten, The Math-Lab Group, Laboratory for Computer Science, MIT, 1983.Google Scholar
- S. Steinberg, Symmetry operators, Proceedings of the 1979 MACSYMA Users's Conference, edited by V. Ellen Lewis, Washington, DC, 408--444.Google Scholar
- S. Steinberg and P. J. Roache, Symbolic manipulation in computational fluid dynamics, To appear in the Journal of Computational Physics.Google Scholar
- S. Steinberg, Change of variables in partial differential equations, in preparation.Google Scholar
Recommendations
MACSYMA from F to G
A descriptive, non-technical tutorial on MACSYMA, a well-known and widely used Computer Algebra system, is presented. Several examples of its capabilities are exhibited using actual MACSYMA input and output. A discussion of computer-based symbolic ...
Functional differentiation of computer programs
ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programmingWe present two purely functional implementations of the computational differentiation tools -- the well known numeric (not symbolic!) techniques which permit to compute pointwise derivatives of functions defined by computer programs economically and ...
The MACSYMA system
SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulationMACSYMA is a system for symbolic manipulation of algebraic expressions which is being developed at Project MAC, M.I.T. This paper discusses its philosophy, goals, and current achievements.
MACSYMA makes extensive use of the power of its rational ...
Comments