Математикалық есептеулер жүйесі Macsyma тарихы

Кіріспе

Компьютерлік алгебра жүйесі

Macsyma ("Project MAC's SYMBOLIC MAnipulator") Уильям А. Мартин (алдыңғы интерфейс, өрнек көрсету, полиномдық арифметика) және Джоэл Мозес (жайландырушы, белгісіз интегралдау: эвристикалық/Рих). Мартин 1971 жылға дейін жобаны басқарды, ал Мозес келесі он жыл бойы басқарды. Энгельман және оның командасы 1969 жылы MITRE корпорациясына қайтып оралды. Кейбір кодтар бұрынғы жұмыстардан алынған, әсіресе Кнут Корсвольдтың жайландырушысынан. Кейінірек математикалық ядроның маңызды үлескерлері:

Янис Августис (арнайы функциялар),
Дэвид Бартон (алгебралық теңдеулер жүйесін шешу),
Ричард Боген (арнайы функциялар),
Билл Дубук (белгісіз интегралдау, лимиттер, қуат қатарлары, сандар теориясы, арнайы функциялар, функционалдық теңдеулер, үлгілерді тану, таңба сұраныстары, Грёбнер, TriangSys),
Ричард Фэйтман (рационалды функциялар, үлгілерді тану, кез келген дәлдіктегі қалқыма нүкте),
Майкл Генсеретт (салыстыру, білім базасы),
Джефф Голден (жайландырушы, тіл, жүйе),
Р. В. Госпер (белгілі қосынды, арнайы функциялар, жайландыру, сандар теориясы),
Карл Хоффман (жалпы жайландырушы, макростар, коммутативті емес жайландырушы, Multics және LispM-ге порттау, жүйе, визуальды теңдеулер редакторы),
Чарльз Карни (график салу),
Джон Калп,
Эд Лафферти (дифференциалдық теңдеулерді шешу, арнайы функциялар),
Ставрос Макраккис (нақты/жолғары бөліктер, компилятор, жүйе),
Ричард Павелл (индекстік тензорлық есептеу, жалпы салыстырмалылық пакеті, қалыпты және дербес дифференциалдық теңдеулер),
Дэвид А. Спир (Грёбнер),
Барри Трейгер (алгебралық интегралдау, көбейткіштерге жіктеу, Грёбнер),
Пол С. Ванг (полиномдық көбейткіштерге жіктеу және ЕББ, кешенді сандар, лимиттер, белгілі интегралдау, Fortran және LaTeX кодты жасау),
Дэвид Ю. Юн (полиномдық ЕББ),
Гейл Захариас (Грёбнер)
және
Рич Зиппел (қуат қатарлары, полиномдық көбейткіштерге жіктеу, сандар теориясы, комбинаторика). Macsyma Maclisp тілінде жазылған және кейбір жағдайларда сандық есептеулер, тиімді компиляция және тіл дизайны салаларында Lisp диалектісін жақсартуға ықпал еткен. Maclisp негізінен PDP 6 және PDP 10 компьютерлерінде, сондай-ақ Multics ОС және Lisp Machine архитектураларында жұмыс істеді. Macsyma сол кездегі ең ірі, тіпті ең ірі Lisp бағдарламаларының бірі болды.

Коммерциялық мақсатта пайдалану

1979 жылы, сол кездегі Беркли университетінің профессоры Ричард Фатеманның өтінішіне жауап ретінде, MIT Macsyma кодына уақытша лицензия берді. Бұл жаңа VAX 11/780 компьютерінде Фатеман тобы жазған Maclisp, Franz Lisp диалектісін пайдалана отырып, бірден іске қосылды. MIT Берклиден VAX Macsyma нұсқаларын 50-ге жуық университеттерге, бастапқыда Caltech-ке лицензиялады, лицензиялар тиісті лицензия бойынша келіссөздер аяқталғанда күшін жоятыны шартымен. Бұл Symbolics компаниясымен келіссөздер аяқталғаннан кейін болды (төменде қараңыз). Symbolics VAX өнімінің лицензиясын беруге асықпады, себебі VAX олардың Lisp машиналарына бәсекелес аппаратты құрады, сондықтан VAX бағдарламалық жасақтамасын бес жыл бойы тоқтатты. UC Berkeley сонымен қатар Macsyma-ның көшірмелерін Motorola 68000 негізіндегі жүйелерде, ең әйгілісі Sun жұмыс станцияларында іске қосты. Symbolics оларды да тоқтатты. Сонымен қатар, Фатеман Macsyma-ның уақытша лицензиясын (қазір күші жойылған) тұрақтырақ нәрсеге айналдыруға тырысты. Ақырында, 1982 жылы АҚШ Энергетика министрлігі MIT-ге Ұлттық Энергетикалық Бағдарламалық Орталық (NESC) кітапханасына көшірмесін беруді талап етті, сонымен бірге MIT-ге жоғары баға және қайта тарату бойынша шектеулерді сақтауға рұқсат берді. Бұл технологияны Symbolics компаниясына беруді қорғау мақсатында жасалды. (Бұл шектеулер 2002 жылға қарай алынып тасталды.) Бұл DOE Macsyma MIT-де NIL lisp деп аталатын Common Lisp диалектісіне қайта жазылды, ол VAX/VMS-де толыққанды іске асырылмады, академиялық ортада кең таралған Беркли VAX Unix жүйесінен гөрі нашар танымал болды. DOE Macsyma кейіннен ашық Maxima жүйесінің негізін құрады. 1981 жылы MIT қызметкері және Macsyma-ны инженерлік және ғылыми салаларға қолдануды жақтаған Мозес пен Ричард Павелл Macsyma-ны коммерцияландыру үшін компания құруға тырысты. Павелл Macsyma-ны қолдана отырып көптеген ғылыми мақалалар жазған. Қолдарындағы мақалалармен Павелл мен Мозес Macsyma стартапын қаржыландыруға қызығушылық танытқан бірнеше венчурлық капитал фирмаларына жүгінді. MIT-де келісімдерге қол жеткізуге жақын болған кезде, MIT қызметкерлері MIT-тің дамуынан тікелей пайда табуға болмайтыны туралы шешім қабылдады. 1982 жылдың басында Macsyma-ны MIT компаниясы Arthur D. Little, Inc. (ADL) компаниясына лицензиялады, ол Macsyma-ның брокері болды және көп ұзамай 1982 жылдың соңында Macsyma-ны Symbolics компаниясына лицензиялады. Мұсаны ADL кескіннен шығарды, ал Павелл Symbolics-тегі Macsyma бөлімшесінің басшысы болды. Symbolics-тің кодқа қызығушылығы болмағаны анық болды, олар Macsyma-ны Lisp Machine бизнесіндегі бәсекелесінің, LMI-дің бағдарламалық каталогынан тыс ұстауға тырысты. Symbolics пен Arthur D. Little арасындағы бизнес-келісім Macsyma жалпы сатуының 15%-ын ADL-ге роялти ретінде төлеуді талап етті. Бұл роялти MIT және ADL-дің MACSYMA-ның өркендеуін көруге ниеттілігі туралы болжамдарға әкелді. Macsyma-ның дамуы Symbolics-те жалғасты, екі жыл ішінде Macsyma сатулары мен Lisp машиналарының қосымша сатулары Symbolics-тің жалпы сатуларының 10%-ын құрады, бірақ бұл олардың негізгі бизнесі Lisp машиналарын сатудан ауытқу ретінде қарастырылды. Көптеген Symbolics қызметкерлерінің қарсылығына қарамастан, Macsyma 80-жылдардың басында және ортасында DEC VAX компьютерлері мен Sun жұмыс станциялары үшін Берклидің Franz Lisp-ін пайдалана отырып іске қосылды. Алайда, Symbolics компаниясының Macsyma-ны Symbolics-тен басқа компьютерлерде сатудағы проблемалары Macsyma сатуының төмендеуіне әкелді. 1986 жылдың бірінші жартысында Macsyma-ның кірісі 1985 жылдың бірінші жартысына қарағанда төмен болды. Осы кезде Wolfram-ның SMP бағдарламасы мен Waterloo Maple өсіп жатты, бірақ MACSYMA символикалық математикада осы басқа пакеттерден оңай басым болды. Павелл 1986 жылдың басына дейін Symbolics-тегі Macsyma бөлімін басқарды. 1986 жылдың екінші жартысында Ричард Петти сатуды азайту және Symbolics қызметкерлерімен қақтығыстан аулақ болу үшін Macsyma бизнесінің менеджері болды. Macsyma штатты қысқартты, бірақ сату және маркетингті кеңейтті, және оның әзірлеушілерін клиенттер сұраған мүмкіндіктерге көбірек бағыттады. (Мысалы, 1970 жылдары MIT-те іске асырылған Spear Zacharias (Gröbner) негіз алгоритмі 1987 жылға дейін Macsyma кемесіне орнатылмады.) 1987 жылы Macsyma-ның жылдық табысы шамамен екі есеге артты. MACSYMA пайдаланушыға ыңғайлы болды: құжаттама және желідегі көмек қайта ұйымдастырылды және кеңейтілді; кейбір командалардың атаулары көбірек есте сақтауға қолайлы болды. Жүйе Common Lisp-ке (Кент М. Питман) көшірілді. Петти Symbolics компаниясының басшылығына Macsyma-ның өнімділігі мен әлеуетіне негізделген қаржыландырылуы керек екенін, негізгі жұмыс станциясы бизнесінің перспективасына емес, деп мәлімдеді. Алайда, Symbolics осы өсім кезеңінен кейін Macsyma штатты қысқартты; Symbolics Macsyma-ны өте кішкентай «ақша сиыр малы» ретінде пайдалануға тырысты, оның көлемі 30 есе үлкен жұмыс станциясы бизнесінің шығындарын жабу үшін. Macsyma-ның ең үлкен өнімдік кемшілігі оның сандық талдауы болды. Символикалық математиканы меңгеру қаһармандық міндет болды; бірақ сандық мүмкіндіктер инженерлік және ғылыми нарықтардың үлкен бөлігін алу үшін маңызды болды. MIT-де Macsyma IMSL (қазір Perforce Software өнімі) сандық кітапханаларына сілтеме берді, бірақ бұл сілтеме Macsyma Symbolics-ке көшкен кезде үзілді. Symbolics-тегі Lisp әзірлеушілері сандық талдаудың ескі технология екеніне және Lisp қолданбалары үшін маңызды еместігіне сенді, сондықтан олар оған инвестиция жасаудан бас тартты. PC нұсқасындағы Macsyma-дағы қос дәлдіктік арифметика Fortran-нан шамамен алты есе баяу болды. Сондай-ақ, Macsyma-ның матрицалары тізімдердің тізімі ретінде іске асырылды, бұл негізгі алгоритмдер үшін шамамен 5–10 есе баяулауға әкелді. Macsyma LU декомпозициясы сияқты сандық сызықтық алгебраның көптеген негізгі алгоритмдеріне ие болмады. 1987-88 жылдары Macsyma тобы Gold Hill Lisp-пен PC Macsyma-ны құруға тырысты. (Бұрын Symbolics стандартты компьютерлерге Lisp компиляторын құру жобасын тоқтатқан, Lisp машинасы сатуларымен бәсекелесуден қашу үшін. Бұл кейбір есептер бойынша жоғары басшылықтың келісімінсіз жасалған даулы қадам болды. Symbolics Lisp-ті Sun жұмыс станцияларында қолдануға Sun компаниясымен ынтымақтасудан да бас тартты, осы себепті.) Gold Hill Lisp тым тұрақсыз болды, ал оның нашар архитектурасы қателерді жоюды мүмкінсіз етті. Бұл Macsyma үшін шешуші сәт болды. Бұл Macsyma 1988 жылдың ортасында Apple компьютерлерінде пайда болған Mathematica-ға PC-де жауап бере алмады дегенді білдірді. Macsyma 1989 жылдың тамызында Symbolics-тен CLOE Lisp-ті пайдалана отырып Windows PC-лерінде пайда болды. Алайда, Macsyma қызметкерлерінің саны жеткіліксіз болды және Mathematica-дағы графика, блокнот интерфейсі және жақсырақ сандық мүмкіндіктер сияқты қабілеттерді қосуға қажетті дағдылардың қоспасы болмады. 1989 жылға қарай Петтиге Symbolics нашар өнімдік стратегиясының салдарынан құлайтыны және Macsyma-ны да өздерімен бірге алатыны анық болды. (Кейбір өнімдік мәселелер: (1) Symbolics-тің бағдарламалық жасақтамасы MIT сыныптық бағдарламалық жасақтамасын дамырушылары үшін жасалған, басқаларға жеткілікті жұмсақтық жасалмаған. (2) Symbolics-тің әлемдік деңгейдегі бағдарламалық жасақтамасы өте жоғары құнмен аппараттық құралдарға тәуелділігі салдарынан нарықта үлесін жоғалтып жатыр. (3) 1980-жылдардың ортасында VLSI аппараттық құралдарына көшу кезінде Symbolics 36 биттік сөз мөлшерін нарықтан осы өзгерістің үлкен даму құнына қатысты ақтаусыз 40 биттікке ауыстырды.) Macsyma MIT-тің ынтымақтастығының болмауына байланысты сатып алу тобын құра алмады. 1986 жылдан бері өнімдік мәселелер туралы үнсіздік сақтаған Петти 1988 жылдың соңында Symbolics-ті бағдарламалық жасақтамаға немесе кеңесші деңгейдегі стратегияны қабылдауға көндіруге тырысты; бірақ төрт жылдың ішіндегі төртінші президент ештеңе тыңдағысы келмеді. 1990 жылы Петти Symbolics-ті тастап стартапқа кетті.

In 1979, in response to a request from Richard Fateman, then a professor at UC Berkeley, MIT provided a temporary license for Macsyma code. 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 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 VAX/VMS, an unpopular system in academia, where Berkeley VAX Unix was common. DOE Macsyma formed the basis for the much later open source 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, 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 machines, 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 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. Wolfram's SMP program and 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 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 (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 arithmetic in Macsyma (on a 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 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. 1992 жылы Рассел Нофтскер (төраға, Symbolics компаниясын іріктеген) және Ричард Петти (президент, Symbolics-те Macsyma-ны жаңғыртуға ұмтылған) қаржы жинап, Macsyma құқықтарын қиын жағдайдағы Symbolics-тен сатып алды. Нарық жылдам өсіп жатқанмен, 1991 және 1992 жылдың басында Macsyma сатулары күрт төмендеді. Macsyma-ның символдық математикалық бағдарламалық құралдар нарығындағы үлесі 1987 жылы 70%-дан 1992 жылы 1%-ға дейін азайды. 1993 жылға қарай нарық өсуі баяулады және Mathematica мен Maple стандартқа айналды. Бәсекелес компаниялардың даму құрамы Macsyma Inc. компаниясынан 4-8 есе көп болды. 1995 жылдың басында компания көптеген жақсартулармен Macsyma 2.0.5 нұсқасын шығарды: Вестердің символдық математиканың кең ауқымды тестісінде Macsyma 2.0.5 Maple-дан 10%-ға, ал Mathematica-дан 15%-ға жақсы нәтиже көрсетті. Macsyma 2.0.5 сандық есептеулерде бұрынғыдан баяу болғанымен, сандық талдау және сызықтық алгебра бойынша әлдеқайда күшті портфолиоға ие болды. (1996 жылы Macsyma LAPACK-ты қосты, бұл көптеген сандық сызықтық алгебра операцияларының жылдамдығын арттырды.) Осы кездегі даму тобында Джефф Голден (тіл, компилятор және т.б.), Билл Госпер (арнайы функциялар, қосынды), Говард Кэннон (пайдаланушы интерфейсі, оптимизация) және бірнеше кеңесшілер болды. Билл Дубуке интеграция, теңдеулерді шешу, деректер базасы және оптимизация бойынша жұмыс істеді. Кристофер Стейси мен Дэвид Х. Вуд MATLAB-тың тілдік және матрицалық мүмкіндіктерін қосты. Басқа да дамытушылар сандық талдау, графика және анықтамалық жүйелерге үлкен үлес қосты. Компания 4-8 есе үлкен құрамды ұдайы басып озуға және нарық динамикасын өзгертуге мүкіндік бермеді. Нарық үлесі 2%-дан аспады, себебі бәсекелестер барлық маңызды клиенттерде бекініп қалған, жаңа өнімге көшу оқуға кететін уақыт есебінен қымбатқа түседі және нарық өсуі төмендеді. Сонымен қатар, 1992 немесе 1993 жылдан бастап Mathsoft өте төмен бағамен тікелей поштаға 10 миллион доллар жұмсау стратегиясын қолданды, бұл Macsyma Inc. әлемдік деңгейдегі өнімін қайта жаңғыртуға тырысқан кезде символдық математика нарығындағы қалған өсімнің көп бөлігін жеңіп алды. 1999 жылы Macsyma компаниясын Tenedos LLC, бұрын Symbolics компаниясын сатып алған холдинг компаниясы сатып алды. Холдинг Macsyma-ны қайта шығармады, бірақ Macsyma Symbolics компаниясы арқылы Microsoft Windows XP-ге дейінгі нұсқаларын таратады.

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. 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. 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 (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.

Қол жетімді нұсқалары

Сонымен қатар, 1982 жылғы DOE Macsyma нұсқасына негізделген, Maxima деп аталатын GPL лицензиясы бар нұсқасы бар, ол кейін Common Lisp-ке бейімделген және Уильям Шелтер тарапынан жетілдірілген. Ол қазіргі кезде белсенді түрде дамытылуда және бірнеше Common Lisp жүйелерінде компиляциялануы мүмкін. Linux, Microsoft Windows, Mac OS X және басқа да жүйелер үшін, соның ішінде графикалық интерфейстері бар жүктеліп алынатын орындалатын файлдар қолжетімді. Maxima 1982–1999 жылдар аралығындағы коммерциялық даму кезеңінде қосылған көптеген мүмкіндіктерді қамтымайды, бірақ қазіргі, ашық және тегін код базасы болып табылады, көптеген қосымша мүмкіндіктерді, бірнеше баламалы интерфейстерді қамтиды және Common Lisp жүйелерімен жұмыс істейді. Бұл Macsyma мен Maxima арасында кейбір үйлесімсіздіктерге алып келгенімен, Macsyma алгебралық тілінде жазылған бағдарламаларды екі жүйеде де шағын өзгерістермен іске асыруға болады. 1982 жылға жуық ITS Macsyma нұсқасы қолжетімді, оның көптеген файлдары . деп аталатын каталогта сақталған.