This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Review of Macsyma
March 1989 (vol. 1 no. 1)
pp. 133-145

The successes and failures of the Macsyma algebraic manipulation system are reviewed from the point of view of one of the original contributors. A retrospective examination is provided of some of the controversial ideas that worked, and some that did not. Input/output, language semantics, knowledge-adjunction, mathematical semantics, the model of the user, and other issues are considered. Possible future directions for algebraic manipulation system building are discussed.

[1] H. Abelson, G. J. Sussman, with J. Sussman,Structure and Interpretation of Computer Programs. Cambridge, MA: M.I.T. Press, 1985.
[2] R. P. Brent, "A Fortran multiple-precision arithmetic package,"ACM Trans. Math. Software, vol. 4, no. 1, pp. 57-10, Mar. 1978.
[3] G. Cooperman, "Semantic matcher for Macsyma," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 132-134.
[4] S. R. Czapor and K. O. Geddes, inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 233-238.
[5] J. H. Davenport, P. Gianni, R. D. Jenks, V. S. Miller, S. C. Morrison, M. Rothstein, C. J. Sundaresan, R. S. Sutor, and B. M. Trager, "New Scratchpad," Dep. Math. Sci., IBM T. J. Watson Res. Ctr., Yorktown Hts., NY; see also R. D. Jenks and B. M. Trager, "A primer: 11 keys to new Scratchpad," inProc. Eurosam 84, Lecture Notes in Computer Science 174. New York: Springer-Verlag, 1984.
[6] A. Doohovskoy, "Varieties of operator manipulation," inProc. 1977 MACSYMA Users' Conf., NASA CP-2012, July 1977, pp. 473-490.
[7] C. Engleman, "The legacy of Mathlab 68," inProc. 2nd Symp. Symbol. Algeb. Manipulation, ACM, 1971, pp. 29-41.
[8] R. J. Fateman, "Macsyma's general simplifier: Philosophy and operation," inProc. 1979 MACSYMA Users' Conf., V. E. Lewis, Ed., Washington, DC, June 20-22, 1979, pp. 563-582.
[9] R. J. Fateman, "TeX output from Macsyma-like systems,"SIGSAM Bull., Aug. 1987.
[10] R. J. Fateman, "On the construction of algebraic manipulation systems," submitted for publication.
[11] R. Fenichel, "An on-line system for algebraic manipulation," Ph.D. dissertation, Harvard Univ., Cambridge, MA, July 1986; also in Project MAC, M.I.T., Rep. MAC-TR-35, Clearinghouse document AD-657-282.
[12] J. K. Foderaro, "Typesetting Macsyma equations," M.S. Rep., Dep. EECS, Univ. Calif., Berkeley, 1978.
[13] J. K. Foderaro, "The design of a language for algebraic computation systems," Ph.D. dissertation, Dep. EECS, Univ. Calif., Berkeley, 1983.
[14] G. Foster, "DREAMS: Display representation for algebraic manipulation systems," Comput. Sci. Div., Univ. Calif., Berkeley, Rep. UCB/CSD 84/193, Apr. 1984.
[15] K. R. Foster and H. H. Bau, "Symbolic manipulation programs for the personal computer" (Software Rev.),Science, vol. 243, Feb. 3, 1989, pp. 679-684.
[16] J. P. Golden, "The evaluation of atomic variables in Macsyma," inProc. 1977 Macsyma Users' Conf., C. M. Anderson, Ed., Univ. Calif., Berkeley, July 1977, pp. 109-122.
[17] J. P. Golden, "An operator algebra for Macsyma," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 244-246.
[18] G. H. Gonnet, "An implementation of operators for symbolic algebra systems," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 239-243.
[19] J. M. Greif, "The SMP pattern matcher," inProc. Eurocal '85, vol. 2(Lecture Notes in Computer Science 204), B. F. Caviness, Ed. New York: Springer-Verlag, 1985, pp. 303-314.
[20] A. C. Hearn,Reduce 2 User's Manual, Univ. Utah, Comput. Phys. Group Rep. UCP-19, Mar. 1973.
[21] A. C. Hearn,Reduce 3 User's Manual, The RAND Corp., P.O. Box 2138, Santa Monica, CA 90406; small system versions available from Northwest Computer Algorithms, P.O. Box 1747, Novato, CA 94948.
[22] A. C. Hearn, "A new REDUCE model for algebraic simplification," inProc. 1976 ACM Symp. Symbol. Algeb. Comput., Aug. 1976, pp. 46-50.
[23] P. Hilfinger and P. Colella,FIDIL (Finite Difference Language) Reference Manual, Univ. Calif., Berkeley, Int. Rep., revision 2.6, July 1986.
[24] R. Itturiaga, "Contributions to mechanical mathematics," Ph.D. dissertation, Dep. Compt. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, 1967.
[25] R. D. Jenks, "A pattern compiler," inProc. 1976 ACM Symp. Symbol. Algeb. Comput., Aug. 1976, pp. 60-65.
[26] R. D. Jenks, "SCRATCHPAD/360: Reflections on a language design,"ACM SIGSAM Bull. 13, no. 1, pp. 16-26, Feb. 1979.
[27] E. Kasner and J. Newman,Mathematics and the Imagination. New York: Simon and Schuster, 1940.
[28] D.E. Knuth,The Texbook, Addison-Wesley, Reading, Mass., 1984.
[29] K. Korsvold, "On-line algebraic simplify program," Stanford Univ., Stanford, CA, A.I. Project Memo 37, Nov. 1965, 30 p.
[30] Mathlab Group,Macsyma Reference Manual, Lab. for Comput. Sci., Mass. Inst. Technol., Cambridge, MA, Jan. 1983 (2 volumes: version 10); available also from the National Energy Software Center (NESC), Argonne, IL; similar manuals are available from Symbolics, Inc., for example, version 11 (Symbolics, Inc.), Oct. 1985.
[31] K. McIsaac, "Pattern matching algebraic identities,"SIGSAM Bull. 19, no. 2, May 1985.
[32] J. Moses, "Algebraic simplification, A guide for the perplexed,"Commun. ACM, vol. 14, no. 8, pp. 527-538, Aug. 1971.
[33] J. Moses, "Macsyma: The fifth year," inProc. Eurosam 74, Stockholm, Sweden; also inACM SIGSAM Bull. 8, no. 3, pp. 105-110, Aug. 1974.
[34] J. Moses, "The variety of variables in mathematical expressions," inProc. 1977 Macsyma Users' Conf., C. M. Anderson, Ed., Univ. Calif., Berkeley, July 1977.
[35] H.T. Kung, "Deadlock avoidance for systolic communication," inProc. 15th Annu. Int. Symp. Comput. Architecture, May-June 1988.
[36] C. Ponder, "Augmenting expensive functions in Macsyma with lookup tables," inEvaluation of "Performance Enhancements " in Algebraic Manipulation Systems, Ph.D. dissertation, Dep. EECS, Univ. Calif., Berkeley; also UCB/CSD 88/453, pp. 85-100.
[37] V. R. Pratt, "Top down operator precedence," inACM Symp. on Principles of Prog. Lang., Boston, MA, Oct. 1973; see also, a detailed memo (1977), "CGOL-An algebraic notation for MACLISP users," distributed with the CGOL source code.
[38] H. Seymour, "Conform, A conformal mapping system," M.S. Project, Dep. EECS, Univ. Calif., Berkeley, 1985; also inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 163-168.
[39] C. J. Smith and N. Soiffer, "MathScribe: A user interface for computer algebra systems," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 16-23.
[40] L. Spirkovska, "MUFIE-Macsyma's user-friendly interactive executive," M.S. Project, Dep. EECS, Univ. Calif., Berkeley, July 1986.
[41] Symbolic Computation Group, "Maple," Dep. Comput. Sci., Univ. Waterloo, Waterloo, Ont., Canada (vendor for Macintosh Computer: Brooks/Cole Publishing Co., 5611 Forest Lodge Rd., Pacific Grove, CA 93950).
[42] R. G. Tobey, R. J. Bobrow, and S. N. Zilles, "Automatic simplification in formac," inProc. AFIPS 1965 Fall Joint Comput. Conf., pp. 37-52, 1965.
[43] K. B. Gallagher and J. R. Lyle, "A program decomposition scheme with applications to software modification and testing," inProc. 22nd Int. Conf. System Sciences(Hawaii), Jan. 1989, vol. II, pp. 479-485.
[44] W. T. Wyatt, Jr., D. W. Lazier, and D. J. Orser, "A portable extended precision arithmetic package,"ACM Trans. Math. Software, vol. 2, no. 3, pp. 209-229, Sept. 1976.
[45] D. A. Young and P. S. Wang, "GI/s: A graphical user interface for symbolic computation systems,"J. Symbol. Comp., vol. 4, pp. 365- 380, Dec. 1987.

Index Terms:
input/output; user model; Macsyma algebraic manipulation system; language semantics; knowledge-adjunction; mathematical semantics; future directions; mathematics computing; software packages; symbol manipulation
Citation:
R.J. Fateman, "A Review of Macsyma," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 1, pp. 133-145, March 1989, doi:10.1109/69.43409
Usage of this product signifies your acceptance of the Terms of Use.