Macsyma (der Symbolische Handhaber von Projekt-MAC) ist ein Computeralgebra-System, das von 1968 bis 1982 an MIT als ein Teil von Projekt-MAC ursprünglich entwickelt wurde und später gewerblich eingekauft hat. Es war das erste umfassende symbolische Mathematik-System, und einer der frühsten Kenntnisse hat Systeme gestützt; viele seiner Ideen wurden später von Mathematica, Ahorn und anderen Systemen angenommen.

Entwicklung

Das Projekt wurde im Juli 1968 von Carl Engelman begonnen

William A. Martin (Vorderende, Ausdruck-Anzeige, polynomische Arithmetik)

und

Joel Moses (simplifier, unbestimmte Integration: Heuristic/Risch). Bill Martin hat für das Projekt bis 1971 die Verantwortung getragen, und Moses hat es für das nächste Jahrzehnt geführt. Engelman und sein Personal sind 1969 abgereist, um zu MITRE Corporation zurückzukehren. Später waren Hauptmitwirkende zum Kernmathematik-Motor:

Yannis Avgoustis (spezielle Funktionen),

David Barton (algsys),

Richard Bogen (spezielle Funktionen),

Bill Dubuque (Grenzen, Grobner, TriangSys, unbestimmte Integration: Bronstein, Macht-Reihe, Zahlentheorie, spezielle Funktionen, funktionelle Gleichungen, das Muster-Zusammenbringen, unterzeichnet Abfragen),

Richard Fateman (vernünftige Funktionen, das Muster-Zusammenbringen, der willkürliche Präzisionsschwimmpunkt),

Michael Genesereth (Vergleich, Kenntnisse-Datenbank),

Jeff Golden (simplifier, Sprache, System),

R. W. Gosper (bestimmte Summierung, spezielle Funktionen, Vereinfachung, Zahlentheorie),

Charles Karney, der (sich) (verschwört)

John Kulp,

Ed Lafferty (ODE-Lösung, spezielle Funktionen),

Stavros Macrakis (echte/imaginäre Teile, Bearbeiter, System),

Richard Pavelle (indicial Tensor-Rechnung, allgemeines Relativitätspaket, gewöhnliche und teilweise Differenzialgleichungen),

Barry Trager (algebraische Integration, Factoring, Grobner),

Paul Wang (Polynom factorization, Grenzen, bestimmte Integration),

David Y. Y. Yun,

Gail Zacharias (Grobner),

Rich Zippel (Macht-Reihe, Polynom factorization, Zahlentheorie, combinatorics).

Macsyma wurde in Maclisp geschrieben, und, war in einigen Fällen, ein Schlüssel motivator, um diesen Dialekt des Lispelns in den Gebieten der numerischen Computerwissenschaft, der effizienten Kompilation und des Sprachdesigns zu verbessern. Maclisp selbst ist in erster Linie auf PDP-6 und PDP-10 Computern, sondern auch auf dem Multics OS und auf den Lispeln-Maschinenarchitekturen gelaufen. Macsyma war einer der größten, wenn nicht die größten, Lispeln-Programme der Zeit.

Kommerzialisierung

1979, als Antwort auf eine Bitte von Richard Fateman, dann einem Professor an UC Berkeley, hat MIT eine vorläufige Lizenz für den Code von Macsyma zur Verfügung gestellt. Das wurde fast auf dem neuen VAX-11/780 Computer mit einem Dialekt von Maclisp, Franz Lisp sofort heraufgebracht, der von der Gruppe von Fateman geschrieben ist. MIT hat ungern Versionen von VAX Macsyma von Berkeley zu ungefähr 50 Universitäten lizenziert, mit Caltech unter der Bedingung anfangend, dass die Lizenzen widerrufen würden, als Verhandlungen für eine richtige Lizenz abgeschlossen waren. Tatsächlich ist das geschehen, als die Verhandlung mit der Symbolik (sieh unten) abgeschlossen war. Symbolik hat sich dagegen gesträubt, das VAX Produkt zu lizenzieren, seitdem VAX Wettbewerbshardware zu ihren eigenen Maschinen von Lisp eingesetzt hat und deshalb die VAX Software seit fünf Jahren unterdrückt hat. UC Berkeley hat auch Kopien von Macsyma auf Motorola 68000-basierte Systeme, am meisten namentlich Sonne-Arbeitsplätze heraufgebracht. Symbolik hat diejenigen ebenso unterdrückt. Zur gleichen Zeit hat Fateman gearbeitet, um sich (jetzt widerrufen) vorläufige Lizenz für Macsyma in etwas mehr Dauerhaftes zu ändern.

Schließlich hat das USA-Energieministerium MIT die Voraussetzung auferlegt, dass sie eine Kopie in die Bibliothek von National Energy Software Center (NESC) 1982 veröffentlichen, während sie MIT erlauben, Beschränkungen in Bezug auf den hohen Preis und keine Neuverteilung zu behaupten. Das war beabsichtigt, um den Technologietransfer zur Symbolik zu schützen. (Solche Beschränkungen, sind 2002 seitdem gehoben worden oder so.) Diese so genannte HIRSCHKUH war Macsyma an MIT in einem vorallgemeinen Lispeln-Dialekt genannt das NULL-Lispeln umgeschrieben worden, das unvollständig auf VAX/VMS, einem unpopulären System in der Akademie durchgeführt ist, wo Berkeley VAX Unix üblich war. HIRSCHKUH Macsyma hat die Basis für das viel-spätere offene Quellmaximum-System gebildet.

1981, Moses und Richard Pavelle, ein MIT Mitarbeiter und Befürworter, Macsyma auf die Technik und Wissenschaft, versucht anzuwenden, um eine Gesellschaft zu bilden, um Macsyma zu kommerzialisieren. Pavelle hatte vielem wissenschaftlichem Papierverwenden Macsyma geschrieben. Mit den Papieren in der Hand haben sich Pavelle und Moses mehreren Risikokapital-Unternehmen genähert, die Interesse in der Finanzierung eines Anlaufs von Macsyma gezeigt haben. Mit potenziellen Geschäften in der Nähe von der Fertigstellung hat MIT plötzlich entschieden, dass MIT Personal nicht vom Gewinn direkt von MIT Entwicklungen sollte. Anfang 1982 wurde Macsyma durch MIT von Arthur D. Little, Inc. lizenziert, die der Makler für Macsyma geworden ist und bald Macsyma der Symbolik gegen Ende 1982 lizenziert hat. Moses wurde aus dem Bild durch ADL gezwungen, und Pavelle ist der Leiter der Abteilung von Macsyma an der Symbolik geworden. Es war offensichtlich, dass sich Symbolik nicht so viel für den Code als im Halten von Macsyma aus dem Softwarekatalog seines Mitbewerbers im Lispeln-Maschinengeschäft, LMI interessiert hat. Die Geschäftseinordnung zwischen Symbolik und Arthur D. Little hat eine Königtum-Zahlung an ADL von 15 % von Gros-Verkäufen von Macsyma verlangt. Dieses absurde Königtum hat zu Spekulation auf dem Wunsch von MIT und ADL geführt, um MACSYMA zu sehen, gedeihen. Die Entwicklung von Macsyma hat an der Symbolik weitergegangen, ungeachtet der Tatsache dass es als eine Ablenkung von den Verkäufen von Maschinen von Lisp gesehen wurde, die Symbolik betrachtet hat, um ihr Hauptgeschäft zu sein, ungeachtet der Tatsache dass Verkäufe von Macsyma und die fremdfinanzierten Verkäufe von Maschinen von Lisp 10 % von gesamten Verkäufen an der Symbolik innerhalb von zwei Jahren erreicht haben. Trotz des Widerstands von vielen in der Symbolik wurde Macsyma für den DEZ VAX Computer und Sonne-Arbeitsplätze mit Franz Lisp von Berkeley im frühen zur Mitte der 80er Jahre befreit.

Jedoch, Probleme an der Symbolik über die Verkäufe von Macsyma auf Computern außer der Symbolik schließlich geführt der Niedergang von Verkäufen von Macsyma. In der ersten Hälfte von 1986 waren Einnahmen von Macsyma niedriger als in der ersten Hälfte von 1985 in einer wachsenden Industrie. Das SMP Programm des Wolframs und Waterloo Ahorn wuchsen in dieser Zeit, obwohl MACSYMA als diese anderen Pakete in der symbolischen Mathematik leicht höher war.

Pavelle hat die Abteilung von Macsyma an der Symbolik bis zum Anfang 1986 geführt. In der zweiten Hälfte von 1986 ist Richard Petti der Betriebsleiter des Geschäfts von Macsyma geworden, um die Verkäufe zu reduzieren und Konflikt mit Angestellten in der Symbolik zu vermeiden. Macsyma hat headcount geschnitten, aber hat seinen Vertreterstab und Marketing ausgebreitet, und hat seine Entwickler mehr auf Eigenschaften das eingestellt Kunden haben gebeten. (Zum Beispiel wurde der Algorithmus von Grobner entwickelt in den 1970er Jahren an MIT in einem Schiffsmacsyma bis 1987 nicht installiert.) 1987 hat sich Macsyma jährliche Einnahmen grob verdoppelt. MACSYMA ist benutzerfreundlicher geworden: Dokumentation und Direkthilfe wurden reorganisiert und ausgebreitet; einige Befehl-Namen wurden geändert, um mehr mnemonisch zu sein. Petti hat zum Symbolik-Management behauptet, dass Macsyma eine 'strategische Geschäftseinheit' war, die gestützt auf seiner Leistung und Potenzial gefördert werden sollte, das nicht auf den Aussichten des Hauptarbeitsplatz-Geschäfts gestützt ist. Jedoch hat Symbolik den Macsyma headcount nach dieser Periode des scharfen Wachstums geschnitten; Symbolik hat versucht, Macsyma als eine winzige Kassenkuh zu verwenden, um die Verluste des Arbeitsplatz-Geschäfts finanziell zu unterstützen, das 30mal seine Größe war.

Die größte Produktschwäche von Macsyma war seine numerische Analyse. Das Meistern symbolischer Mathematik war eine herkulische Aufgabe; aber numerische Fähigkeiten waren kritisch, um ein Stück der viel größeren Technik und niedrigeres Ende wissenschaftlichen Märkte zu bekommen. An MIT hatte Macsyma eine Verbindung zum IMSL (jetzt Schelm-Welle-Software) numerische Bibliotheken, aber diese Verbindung wurde getrennt, als sich Macsyma zur Symbolik bewegt hat. Lispeln-Entwickler an der Symbolik haben allgemein geglaubt, dass numerische Analyse eine alte Technologie war, die für Lispeln-Anwendungen nicht wichtig war, so haben sie abgelehnt, darin zu investieren. Die doppelte Präzisionsarithmetik in Macsyma (auf einer PC-Version) war ungefähr sechsmal langsamer als Fortran. Auch die matrices von Macsyma wurden als Listen von Listen durchgeführt, die einen anderen Faktor vielleicht 5-10 in der Geschwindigkeit für Schlüsselalgorithmen kosten. Macsyma hatte viele der grundlegenden Algorithmen der numerischen geradlinigen Algebra wie LU-Zergliederung nicht.

In 1987-88 hat die Gruppe von Macsyma versucht, einen PC Macsyma mit Gold Hill Lisp zu bauen. (Früher hatte Symbolik sein eigenes Projekt getötet, einen Bearbeiter von Lisp für Standardcomputer zu bauen, um zu vermeiden, sich mit Maschinenverkäufen von Lisp zu bewerben. Das war eine umstrittene Bewegung, die, durch einige Rechnungen, ohne Billigung des älteren Managements übernommen wurde. Symbolik hat auch abgelehnt, mit der Sonne zusammenzuarbeiten, um Lisp an Sonne-Arbeitsplätzen aus demselben Grund bereitzustellen.) War Gold Hill Lisp zu nicht stabil, und seine schwache Architektur hat es unmöglich für Gold Hill gemacht, die Programmfehler zu beseitigen. Das war ein entscheidender Misserfolg für Macsyma. Es hat bedeutet, dass Macsyma auf PCs nicht antworten konnte, als Mathematica auf Apfelcomputern Mitte 1988 erschienen ist. Macsyma ist auf Windows-PCs im August 1989 mit dem CLOE Lisp von der Symbolik erschienen. Jedoch war der Personal von Macsyma zu klein und hat gefehlt die Mischung von Sachkenntnissen musste die Art der Grafik, Notizbuch-Schnittstelle und besser numerics hinzufügen, den Mathematica hatte.

Vor 1989 war es Petti klar, dass Symbolik wegen der schlechten Produktstrategie implodieren würde, und dass es Macsyma damit nehmen würde. (Einige Produktprobleme: (1) wurde die Software der Symbolik für MIT-Klassensoftwareentwickler ohne genug Zugeständnisse zu anderen entworfen. (2) verlor die Weltklasse-Software der Symbolik Anteil auf dem Markt wegen der Abhängigkeit von der sehr teuren Hardware. (3) im Bewegen zur VLSI Hardware Mitte der 1980er Jahre hat sich Symbolik von 36-Bit-Wortgröße bis 40 Bit ohne Rechtfertigung vom Markt für die enormen Entwicklungskosten dieser Änderung umgewandelt.) Macsyma konnte keine Firmenübernahme-Mannschaft versammeln, die erwartet ist, der Zusammenarbeit von MIT zu fehlen. Nach dem Halten vernünftig ruhig seit 1986 über die Produktprobleme hat Petti gegen Ende 1988 versucht, Symbolik zu überzeugen, eine Software-Only-Strategie oder Vorstandsebene-Strategie anzunehmen; aber der vierte Präsident in vier Jahren würde nichts davon hören. 1990 hat Petti Symbolik für einen Anlauf verlassen.

Macsyma, Inc.

Macsyma, Inc., wurde 1992 von Russell Noftsker gegründet (Vorsitzender, der co-founded Symbolik hatte) und Richard Petti (Präsident, der Macsyma einige Zeit an der Symbolik umgedreht hatte) durch die Aufhebung des Kapitals und das Kaufen der Rechte auf Macsyma von der kränklichen Symbolik. Obwohl der Markt schnell wuchs, fielen Verkäufe von Macsyma 1991 und Anfang 1992 noch schnell. Der Marktanteil von Macsyma in der symbolischen Mathesoftware war von 70 % 1987 bis 1 % 1992 gefallen. Vor 1993 hatte sich Marktwachstum verlangsamt, und der Markt hatte auf Mathematica und Maple standardisiert. Die Mitbewerber hatten Entwicklungspersonal, der 4-8mal so groß war wie diese von Macsyma Inc. im Laufe der 1990er Jahre.

Anfang 1995 hat die Gesellschaft Macsyma 2.0.5, mit vielen Verbesserungen verladen: Auf dem großen Test des Westwinds der symbolischen Mathematik hat Macsyma 2.0.5 um 10 % besser gezählt als Ahorn und um 15 % besser als Mathematica. Obwohl Macsyma 2.0.5 noch an numerics sehr langsam war, hatte er eine sehr gestärkte Mappe der numerischen Analyse und geradlinigen Algebra-Routinen. (1996 hat Macsyma LAPACK hinzugefügt, der außerordentlich die Geschwindigkeit vom grössten Teil numerischen geradlinigen Algebra vergrößert hat.).

Die Entwicklungsmannschaft, in dieser Zeit, hat Jeff Golden (Sprache, Bearbeiter, usw.), Bill Gosper (spezielle Funktionen, Summierung), Howard Cannon (Benutzerschnittstelle, Optimierung), und Berater Bill Dubuque (Integration, das Gleichungslösen, die Datenbank, die Optimierung) eingeschlossen. Andere Entwickler haben Hauptbeiträge in der numerischen Analyse, der Grafik und den Hilfssystemen geleistet.

Die Gesellschaft konnte unbestimmt nicht fortsetzen, Personal 4-8mal so groß zu überbieten und den Marktschwung umzukehren. Marktanteil hat über 2 % nicht zugenommen, weil die Mitbewerber in allen Schlüsselrechnungen verschanzt wurden, ist das Umwandeln zu einem neuen Produkt im Lernen der Zeit und des geneigten Marktwachstums sehr kostspielig. Außerdem 1992 oder 1993 anfangend, hat sich Mathsoft mit einer Strategie von Pyrrhic beschäftigt, $ 10 Millionen für die direkte Post zu sehr niedrigen Preisen auszugeben, die viel vom restlichen Wachstum im symbolischen Mathemarkt gerade gewonnen haben, als sich Macsyma Inc. anstrengte, sein Weltklasse-Produkt wieder aufzubauen.

1999 wurden Macsyma von Tenedos LLC, einer Holdingsgesellschaft erworben, die vorher Symbolik gekauft hatte. Die Holdingsgesellschaft hat nicht wiederbefreit oder Macsyma wieder verkauft, aber Macsyma setzt fort, durch die Symbolik verteilt zu werden.

Verfügbare Versionen

Es gibt auch eine GPL-lizenzierte Version, genannt Maxima, die auf der 1982-Version der HIRSCHKUH Macsyma nachher gestützt sind, der an das Allgemeine Lispeln angepasst ist und von William Schelter erhöht ist. Es ist unter der aktiven Entwicklung, und kann unter mehreren Allgemeinen Lispeln-Systemen kompiliert werden. Herunterladbare executables für GNU/Linux, Windows von Microsoft, Mac OS X und andere Systeme, einschließlich grafischer Benutzerschnittstellen sind verfügbar. Maxima schließen viele der zahlreichen Eigenschaften nicht ein, die während der Periode der kommerziellen Entwicklung zwischen 1982-1999 hinzugefügt sind, aber sind ein aktueller, freier, offener codebase, der zahlreiche zusätzliche Eigenschaften, mehrere alternative Vorderenden einschließt, und mit mehreren Allgemeinen Lispeln-Motoren arbeitet. Während das auf einige Inkompatibilitäten zwischen Macsyma und Maxima, in Macsyma geschriebenen Programmen hinausgelaufen ist, kann algebraische Sprache häufig mit nur geringen Änderungen in jedem System geführt werden.

Links

• Die Zusammenfassung von Richard Petti der Geschichte von kommerziellem Macsyma am 30. Oktober 2003
• Der Macsyma Saga Richard Petti, am 2. November 2003
• Symbolik Macsyma