View source for Macsyma

{{Short description|Computer algebra system}}
{{About| the original software and its commercial evolution|the derived free software|Maxima (software){{!}}Maxima}}
'''Macsyma''' ({{IPAc-en|ˈ|m|æ|k|s|ɪ|m|ə}}; "Project MAC's SYmbolic MAnipulator")<ref name='moses'/> is one of the oldest general-purpose [[computer algebra system]]s  still in wide use. It was originally developed from 1968 to 1982 at [[MIT]]'s [[Project MAC]].

In 1982, Macsyma was licensed to [[Symbolics]] and became a commercial product. In 1992, Symbolics Macsyma was spun off to Macsyma, Inc., which continued to develop Macsyma until 1999. That version is still available for [[Microsoft]]'s [[Windows XP]] operating system.

The 1982 version of MIT Macsyma remained available to academics and US government agencies, and it is distributed by the US [[USDOE|Department of Energy]] (DOE). That version, DOE Macsyma, was maintained by [[Bill Schelter]]. Under the name of [[Maxima (software)|Maxima]], it was released under the [[GPL]] in 1999, and remains under active maintenance.

==Development==
The project was initiated in July, 1968 by [[Carl Engelman]],<ref>{{cite web |url=http://acl.ldc.upenn.edu/J/J83/J83-3008.pdf |archive-url=https://web.archive.org/web/20030428234935/http://acl.ldc.upenn.edu/J/J83/J83-3008.pdf |url-status=dead |archive-date=2003-04-28 |title=Carl Engelman Memorial Fund |work=The FINITE STRING Newsletter |publisher=American Journal of Computational Linguistics, Volume 9, Numbers 3-4, July–December 1983 }}</ref>
[[William A. Martin]] (front end, expression display, polynomial arithmetic) and [[Joel Moses]] (simplifier, [[indefinite integration]]: heuristic/Risch). Martin was in charge of the project until 1971, and Moses ran it for the next decade. Engelman and his staff left in 1969 to return to [[MITRE|The MITRE Corporation]].<ref name='moses'>{{cite web |url=http://esd.mit.edu/Faculty_Pages/moses/Macsyma.pdf |title=Macsyma: A Personal History |first=Joel |last=Moses |publisher=Milestones in Computer Algebra |date=May 2008}}. See also {{citation|author=Joel Moses|title=Macsyma: A personal history|journal=Journal of Symbolic Computation|volume=47|year=2012|issue=2|pages=123–130|doi=10.1016/j.jsc.2010.08.018|doi-access=}}</ref> Some code came from earlier work, notably Knut Korsvold's simplifier.<ref>Richard J. Fateman, "MACSYMA's General Simplifier: Philosophy and Operation", ''Macsyma Users' Conference'' 1979 [http://www.cs.berkeley.edu/~fateman/papers/simplifier.txt full text], section 2</ref><ref>Knut Korsvold, "An on line program for non-numerical algebra", SYMSAC '66 ''Proceedings of the first ACM symposium on Symbolic and algebraic manipulation'' p. 1301-1314 {{doi|10.1145/800005.807963}}</ref> Later major contributors to the core mathematics engine were:<ref>{{cite book |last1=Maccone |first1=Claude |title=Mathematical SETI: Statistics, Signal Processing, Space Missions |date=2012 |publisher=Springer |isbn=978-3-642-27436-7 |page=75 |url=https://books.google.com/books?id=cuJMzvdIWMcC&pg=PA75}}</ref>
<!-- Ordered alpha (usual custom). Please do not reorder as it may give false impressions of importance. --->
Yannis Avgoustis ([[special functions]]),
David Barton (solving algebraic [[systems of equations]]),
Richard Bogen ([[special functions]]),
Bill Dubuque ([[indefinite integral|indefinite integration]], limits, power series, [[number theory]], [[special functions]], functional equations, [[pattern matching]], sign queries, [[Gröbner basis|Gröbner]], TriangSys),
[[Richard Fateman]] ([[rational function]]s, [[pattern matching]], [[Floating-point arithmetic#Alternatives to floating-point numbers|arbitrary precision floating-point]]),
[[Michael Genesereth]] (comparison, knowledge database),
Jeff Golden (simplifier, language, system),
[[Bill Gosper|R. W. Gosper]] (definite [[summation]], [[special functions]], simplification, [[number theory]]),
Carl Hoffman (general simplifier, macros, [[non-commutative]] simplifier, ports to [[Multics]] and [[LispM]], system, visual [[formula editor|equation editor]]),
Charles Karney (plotting),
John Kulp,
Ed Lafferty ([[ordinary differential equation|ODE]] solution, [[special functions]]),
Stavros Macrakis ([[complex number|real/imaginary parts]], compiler, system),
Richard Pavelle ([[tensor software|indicial tensor calculus]], [[general relativity]] package, ordinary and [[partial differential equation]]s),
David A. Spear ([[Gröbner basis|Gröbner]]),<ref name='spear'>{{cite web |url=http://udspace.udel.edu/handle/19716/1398 |title=A constructive approach to commutative ring theory|first=David |last=Spear |publisher=Proceedings of the 1977 MACSYMA Users' Conference|date=July 1977}}</ref><ref>{{cite book|url=https://books.google.com/books?id=ETPYC74OlNMC&pg=PA289|title=Chapter 26, Spear, in: Solving Polynomial Equation Systems II: Macaulay's Paradigm and Gröbner Technology|first=Teo|last=Mora|date=2005|isbn=9780521811569}}</ref>
Barry Trager (algebraic integration,<ref>{{cite thesis|url=http://dspace.mit.edu/handle/1721.1/15391|title=Integration of algebraic functions. Ph.D. thesis, M.I.T., Cambridge, MA|first=Barry |last=Trager|date=1984|publisher=Massachusetts Institute of Technology |hdl=1721.1/15391|type=Thesis }}</ref> [[factorization|factoring]], [[Gröbner basis|Gröbner]]<ref name=GTZ>{{cite journal|title=Gröbner bases and primary decomposition of polynomial ideals |first1=Patrizia |last1=Gianni|author1-link=Patrizia Gianni |first2=Barry |last2=Trager |first3=Gail |last3=Zacharias |date=1988 |doi=10.1016/S0747-7171(88)80040-3 |volume=6 |journal=[[Journal of Symbolic Computation]] |issue=2–3 |pages=149–167|doi-access= }}</ref>),
[[Paul S. Wang]] (polynomial [[factorization]] and [[greatest common divisor|GCD]], [[complex number]]s, limits, [[definite integral|definite integration]], [[Fortran]] and [[LaTeX]] code generation),
David Y. Y. Yun (polynomial [[greatest common divisor|GCD]]s),
Gail Zacharias ([[Gröbner basis|Gröbner]])<ref name='GTZ'/><ref name='gz'>{{cite web|title=Generalized Gröbner bases in commutative polynomial rings." B.Sc. thesis, M.I.T., Cambridge, MA|first=Gail |last=Zacharias|date=June 1978}}</ref>
and
Rich Zippel ([[power series]], polynomial [[factorization]], [[number theory]], [[combinatorics]]).
<!-- MAJOR contributors to development of the mathematical platform. There should probably be a separate category for system/lisp contributors such as JonL, RLB, RWK, KMP, JPG, GLS, RWK, REH. Perhaps also for minor contributors (if so they should be clearly distinguished from major contributors). Probably still not complete but much closer than before. --wgd -->
<!-- Is this supposed to be a bulleted list or an actual paragraph? If the former, that's not how wikimarkup does lists at all. -->

Macsyma was written in [[Maclisp]], and was, in some cases, a key motivator for improving that dialect of [[Lisp (programming language)|Lisp]] in the areas of numerical computing, efficient compilation and language design. Maclisp itself ran primarily on [[PDP-10|PDP-6 and PDP-10]] computers, but also on the [[Multics]] [[Operating system|OS]] and on the [[Lisp machine|Lisp Machine]] architectures. Macsyma was one of the largest Lisp programs of the time, and was possibly the largest.

===Commercialization===
{{unreferenced section|date=November 2015}}
In response to a request from Richard Fateman, then a professor at [[University of California, Berkeley|UC Berkeley]], MIT provided a temporary license for Macsyma code in 1979. This was almost immediately brought up on the new [[VAX-11/780]] computer using a dialect of Maclisp, [[Franz Lisp]], written by Fateman's group. MIT reluctantly licensed versions of VAX Macsyma from Berkeley to about 50 universities, starting with Caltech, under condition that the licenses would be revoked when negotiations for a proper license were complete. Indeed, this happened when the negotiation with Symbolics (see below) was complete. Symbolics was reluctant to license the VAX product, since VAX constituted competitive hardware to their own Lisp Machines and therefore suppressed the VAX software for five years. UC Berkeley also brought up copies of Macsyma on [[Motorola 68000]]-based systems, most notably [[Sun Microsystems|Sun]] workstations. Symbolics suppressed those as well. At the same time Fateman worked to change the (now revoked) temporary license for Macsyma into something more permanent.

Ultimately, the [[United States Department of Energy]] imposed on MIT the requirement that they release a copy into the [[National Energy Software Center]] (NESC) library in 1982, while allowing MIT to assert restrictions in terms of high price and no redistribution. This was intended to protect the technology transfer to Symbolics. (Such restrictions have been since lifted, 2002 or so.) This so-called DOE Macsyma had been rewritten at MIT in a pre-[[Common Lisp]] dialect called [[NIL lisp]], incompletely implemented on [[OpenVMS|VAX/VMS]], an unpopular system in academia, where [[Berkeley Software Distribution|Berkeley VAX Unix]] was common. DOE Macsyma formed the basis for the much-later open source [[Maxima (software)|Maxima]] system.

In 1981, Moses and [[Richard Pavelle]], an MIT staff member and proponent of applying Macsyma to engineering and science, attempted to form a company to commercialize Macsyma. Pavelle had written many scientific papers using Macsyma. With the papers in hand, Pavelle and Moses approached several venture capital firms that showed interest in funding a Macsyma startup. With potential deals close to finalization, MIT suddenly decided that MIT personnel should not profit directly from MIT developments. In early 1982, Macsyma was licensed by MIT to [[Arthur D. Little]], Inc. (ADL), which became the broker for Macsyma and soon licensed Macsyma to [[Symbolics]] in late 1982. Moses was forced out of the picture by ADL and Pavelle became the head of the Macsyma division at Symbolics. It was evident that Symbolics was not so much interested in the code as in keeping Macsyma out of the software catalog of its competitor in the Lisp Machine business, [[Lisp Machines|LMI]]. The business arrangement between Symbolics and Arthur D. Little required a royalty payment to ADL of 15% of Macsyma gross sales. This royalty led to speculation on the desire of MIT and ADL to see MACSYMA prosper. The development of Macsyma continued at Symbolics despite the fact that it was seen as a diversion from the sales of [[Lisp machine]]s, which Symbolics considered to be their main business despite the fact that Macsyma sales and the leveraged sales of Lisp Machines reached 10% of overall sales at Symbolics within two years. Despite resistance from many in Symbolics, Macsyma was released for [[Digital Equipment Corporation|DEC]] VAX computers and Sun workstations using Berkeley's [[Franz Lisp]] in the early to mid 80s.

However, problems at Symbolics over the sales of Macsyma on computers other than Symbolics' eventually led to the decline of Macsyma sales. In the first half of 1986, Macsyma revenues were lower than in the first half of 1985, in a growing industry. [[Stephen Wolfram|Wolfram]]'s SMP program and [[Maple (software)|Waterloo Maple]] were growing at this time, although MACSYMA was easily superior to these other packages in symbolic math.

Pavelle ran the Macsyma division at Symbolics until early 1986. In the second half of 1986 [[Richard Petti]] became the manager of the Macsyma business to reduce the sales and avoid conflict with employees in Symbolics. Macsyma cut headcount but expanded its sales force and marketing, and focused its developers more on features that customers asked for. (For example, the Spear-Zacharias ([[Gröbner basis|Gröbner]]) basis algorithm implemented in the 1970s at MIT was not installed in a shipping Macsyma until 1987.) In 1987, Macsyma annual revenues roughly doubled. MACSYMA became more user friendly: documentation and on-line help were reorganized and expanded; some command names were changed to be more mnemonic. The system was ported to Common Lisp (by [[Kent M. Pitman]]). Petti argued to Symbolics management that Macsyma was a '[[strategic business unit]]' that should be funded based on its performance and potential, not based on the prospects of the main workstation business. However, Symbolics cut the Macsyma headcount after this period of sharp growth; Symbolics tried to use Macsyma as a tiny cash cow to fund the losses of the workstation business that was 30 times its size.

The greatest product weakness of Macsyma was its numerical analysis. Mastering symbolic math was a herculean task; but numerical capabilities were critical to get a piece of the much larger engineering and lower-end scientific markets. At MIT Macsyma had a link to the [[IMSL Numerical Libraries|IMSL]] (now a product of [[Perforce Software]]) numerical libraries, but this link was severed when Macsyma moved to Symbolics. Lisp developers at Symbolics generally believed that numerical analysis was an old technology that was not important for Lisp applications, so they declined to invest in it. [[Double-precision floating-point format|Double-precision]] arithmetic in Macsyma (on a [[IBM PC compatible|PC]] version) was about six times slower than Fortran. Also Macsyma's matrices were implemented as lists of lists, which cost another factor of perhaps 5–10 in speed for key algorithms. Macsyma did not have many of the basic algorithms of [[numerical linear algebra]], such as [[LU decomposition]].

In 1987-88, the Macsyma group tried to build a PC Macsyma with [[Gold Hill Lisp]]. (Earlier, Symbolics had killed its own project to build a Lisp compiler for standard computers to avoid competing with Lisp machine sales. This was a controversial move that, by some accounts, was undertaken without approval of senior management. Symbolics also declined to cooperate with Sun to make Lisp available on Sun workstations for the same reason.) Gold Hill Lisp was too unstable, and its weak architecture made it impossible for Gold Hill to eliminate the bugs. This was a crucial failure for Macsyma. It meant that Macsyma could not respond on PCs when Mathematica appeared on Apple computers in mid-1988. Macsyma appeared on [[Microsoft Windows|Windows]] PCs in August 1989 using the CLOE Lisp from Symbolics. However, the Macsyma staff was too small and lacked the mix of skills needed to add the kind of graphics, notebook interface and better numerics that [[Mathematica]] had.

By 1989, it was clear to Petti that Symbolics would implode due to poor product strategy, and that it would take Macsyma with it. (Some product issues: (1) Symbolics' software was designed for MIT-class software developers without enough concessions to others. (2) Symbolics' world-class software was losing share in the market due to dependence on very high-cost hardware. (3) In moving to [[VLSI]] hardware in the mid-1980s, Symbolics converted from 36-bit [[word size]] to a 40-bit, without justification from the market for the enormous development cost of this change.) Macsyma could not assemble a buy-out team due to lack of cooperation from MIT. After keeping reasonably quiet since 1986 about the product issues, Petti tried in late 1988 to persuade Symbolics to adopt a software-only or board-level strategy; but the fourth president in four years would hear nothing of it. In 1990 Petti left Symbolics for a start-up.

===Macsyma, Inc.===
Macsyma, Inc., was founded in 1992 by [[Russell Noftsker]] (chairman, who had co-founded [[Symbolics]]) and Richard Petti (president, who had turned around Macsyma for a time at Symbolics) by raising funds and purchasing the rights to Macsyma from the ailing Symbolics.<ref>{{Cite book|url=https://books.google.com/books?id=cuJMzvdIWMcC&q=Macsyma,+Inc.+founder&pg=PA77|title=Mathematical SETI: Statistics, Signal Processing, Space Missions|last=Maccone|first=Claudio|date=2012-08-30|publisher=Springer Science & Business Media|isbn=9783642274374|language=en}}</ref> Although the market was growing fast, Macsyma sales in 1991 and early 1992 were still falling rapidly. Macsyma's market share in symbolic math software had fallen from 70% in 1987 to 1% in 1992. By 1993, market growth had slowed and the market had standardized on [[Mathematica]] and Maple. The competitors had development staffs that were 4-8 times as large as that of Macsyma Inc. throughout the 1990s.

In early 1995 the company shipped Macsyma 2.0.5, with many improvements: On Wester's large test of symbolic math, Macsyma 2.0.5 scored 10% better than Maple and 15% better than Mathematica.<ref>{{cite web |url=http://www.math.unm.edu/~wester/cas_review.html |title=A Critique of the Mathematical Abilities of CA Systems}} Wester's 1995 review and 1999 review</ref> Although Macsyma 2.0.5 was still very slow at numerics, it had a greatly strengthened portfolio of numerical analysis and linear algebra routines. (In 1996 Macsyma added [[LAPACK]] which greatly increased the speed of most numerical linear algebra.) .

The development team, at this time, included Jeff Golden (language, compiler, etc.), Bill Gosper (special functions, summation), [[Howard Cannon (technologist)|Howard Cannon]] (user interface, optimization), and several consultants. Bill Dubuque worked on integration, equation solving, database, and optimization. Christopher Stacy and David H. Wood added [[MATLAB]]'s language and matrix functionality. Other developers made major contributions in numerical analysis, graphics, and help systems.

The company could not continue indefinitely to outperform staffs 4-8 times as large and reverse the market momentum. Market share did not increase above 2%, because the competitors were entrenched in all key accounts, converting to a new product is very costly in learning time, and market growth declined. Also, starting in 1992 or 1993, [[Mathsoft]] engaged in a strategy of spending $10 million on direct mail at very low prices, which won much of the remaining growth in the symbolic math market, just when Macsyma Inc. was struggling to rebuild its world-class product.

In 1999, Macsyma were acquired by [[Tenedos LLC]], a holding company that previously had purchased Symbolics. The holding company has not re-released or resold Macsyma, but Macsyma continues to be distributed by Symbolics for [[Microsoft Windows]] versions up to [[Windows XP]].<ref>Macsyma home page, http://www.symbolics-dks.com/Macsyma-1.htm</ref>

==Available versions==
There is also a [[GNU General Public License|GPL]]-licensed version, called [[Maxima (software)|Maxima]], based on the 1982 version of the DOE Macsyma, subsequently adapted for Common Lisp and enhanced by [[William Schelter]]. It is under active development, and can be compiled under several [[Common Lisp]] systems. Downloadable executables for [[Linux]], [[Microsoft Windows]], [[Mac OS X]] and other systems, including [[graphical user interface]]s are available. Maxima does not include many of the numerous features added during the period of commercial development between 1982–1999, but is a current, free, open codebase that includes numerous additional features, several alternative front ends, and works with a number of Common Lisp engines. While this has resulted in some incompatibilities between Macsyma and Maxima, programs written in the Macsyma algebraic language can often be run, with only minor changes, in either system.

ITS Macsyma from around 1982 is available, with most files in a directory called {{Plain link|https://github.com/PDP-10/its/tree/master/src/maxsrc MAXSRC}}.

==References==
{{Reflist}}

==External links==
* [https://web.archive.org/web/20060404231043/http://www.ma.utexas.edu/pipermail/maxima/2003/005861.html Richard Petti's summary of the history of commercial Macsyma] 30 October 2003
* [https://web.archive.org/web/20120716232947/http://www.math.utexas.edu/pipermail/maxima/2003/005884.html The Macsyma Saga] Richard Petti, 2 November 2003
* [http://www.symbolics-dks.com/Macsyma-1.htm Symbolics Macsyma]

{{Computer algebra systems}}
{{Multics}}
{{Authority control}}

[[Category:Common Lisp (programming language) software]]
[[Category:Computer algebra system software for Linux]]
[[Category:Computer algebra systems]]
[[Category:Discontinued software]]
[[Category:Multics software]]