मैकसिमा: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 8: Line 8:


== विकास ==
== विकास ==
इस परियोजना की प्रारंभ जुलाई 1968 में [[कार्ल एंगेलमैन]] ने की थी।<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=कार्ल एंगेलमैन मेमोरियल फंड|work=The FINITE STRING Newsletter |publisher=American Journal of Computational Linguistics, Volume 9, Numbers 3-4, July–December 1983 }}</ref> विलियम ए मार्टिन (फ्रंट एंड, एक्सप्रेशन डिस्प्ले, बहुपद अंकगणित) और [[ जोएल मूसा ]] (सरलीकृत, [[अनिश्चितकालीन एकीकरण]]: अनुमानी/रिस्क) मार्टिन 1971 तक परियोजना के प्रभारी थे और मूसा ने इसे अगले दशक तक चलाया। एंगेलमैन और उनके कर्मचारी 1969 में एमआईटीआरई लौटने के लिए रवाना हुए।<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=free}}</ref> कुछ कोड पहले के काम से आए थे विशेष रूप से नट कोर्सवॉल्ड के सरलीकरण से<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> बाद में कोर गणित इंजन में प्रमुख योगदानकर्ता थे:<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> यानिस एवगौस्टिस ([[विशेष कार्य]]), डेविड बार्टन (समीकरणों की बीजगणितीय प्रणालियों को हल करना),रिचर्ड बोजेन (विशेष कार्य), बिल डब्यूक (अनिश्चित समाकल, सीमा, शक्ति श्रृंखला, [[संख्या सिद्धांत]], विशेष कार्य, कार्यात्मक समीकरण, [[पैटर्न मिलान]], संकेत प्रश्न, ग्रोबनेर आधार ग्रोबनर, ट्रायंगसिस),[[ रिचर्ड फातमान ]] ([[तर्कसंगत कार्य]], पैटर्न मिलान, फ़्लोटिंग-पॉइंट अंकगणित या फ़्लोटिंग-पॉइंट नंबरों के विकल्प इच्छानुसार से स्पष्ट फ़्लोटिंग-पॉइंट),[[माइकल जेनेसेरेथ]] (तुलना, ज्ञान डेटाबेस),
इस परियोजना की प्रारंभ जुलाई 1968 में [[कार्ल एंगेलमैन]] ने की थी।<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=कार्ल एंगेलमैन मेमोरियल फंड|work=The FINITE STRING Newsletter |publisher=American Journal of Computational Linguistics, Volume 9, Numbers 3-4, July–December 1983 }}</ref> विलियम ए मार्टिन (फ्रंट एंड, एक्सप्रेशन डिस्प्ले, बहुपद अंकगणित) और [[ जोएल मूसा |जोएल मूसा]] (सरलीकृत, [[अनिश्चितकालीन एकीकरण]]: अनुमानी/रिस्क) मार्टिन 1971 तक परियोजना के प्रभारी थे और मूसा ने इसे अगले दशक तक चलाया। एंगेलमैन और उनके कर्मचारी 1969 में एमआईटीआरई लौटने के लिए रवाना हुए।<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=free}}</ref> कुछ कोड पहले के काम से आए थे विशेष रूप से नट कोर्सवॉल्ड के सरलीकरण से<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> बाद में कोर गणित इंजन में प्रमुख योगदानकर्ता थे:<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> यानिस एवगौस्टिस ([[विशेष कार्य]]), डेविड बार्टन (समीकरणों की बीजगणितीय प्रणालियों को हल करना),रिचर्ड बोजेन (विशेष कार्य), बिल डब्यूक (अनिश्चित समाकल, सीमा, शक्ति श्रृंखला, [[संख्या सिद्धांत]], विशेष कार्य, कार्यात्मक समीकरण, [[पैटर्न मिलान]], संकेत प्रश्न, ग्रोबनेर आधार ग्रोबनर, ट्रायंगसिस),[[ रिचर्ड फातमान | रिचर्ड फातमान]] ([[तर्कसंगत कार्य]], पैटर्न मिलान, फ़्लोटिंग-पॉइंट अंकगणित या फ़्लोटिंग-पॉइंट नंबरों के विकल्प इच्छानुसार से स्पष्ट फ़्लोटिंग-पॉइंट),[[माइकल जेनेसेरेथ]] (तुलना, ज्ञान डेटाबेस),
जेफ गोल्डन (सरलीकृत, भाषा, प्रणाली),
जेफ गोल्डन (सरलीकृत, भाषा, प्रणाली),
बिल गोस्पर|आर. डब्ल्यू। गोस्पर (निश्चित [[योग]], विशेष कार्य, सरलीकरण, संख्या सिद्धांत) कार्ल हॉफमैन (सामान्य सरलीकरण, मैक्रोज़, [[अविनिमेय]] सरलीकरण, [[ मॉलटिक्स ]] और [[ लिस्पएम ]] के पोर्ट, प्रणाली दृश्य [[सूत्र संपादक]]) चार्ल्स कार्नी (प्लॉटिंग) जॉन कुलप एड लॉफ़र्टी ([[साधारण अंतर समीकरण]] समाधान, विशेष कार्य) स्टावरोस मैकराकिस (जटिल संख्या वास्तविक/काल्पनिक भाग, संकलक, प्रणाली) रिचर्ड पावेल ([[टेंसर सॉफ्टवेयर]], [[सामान्य सापेक्षता]] पैकेज साधारण और आंशिक अंतर समीकरण) डेविड ए. स्पीयर (ग्रोबनेर आधार ग्रोबनेर),<ref name='spear'>{{cite web |url=http://dspace.udel.edu/handle/19716/1398 |title=क्रमविनिमेय वलय सिद्धांत के लिए एक रचनात्मक दृष्टिकोण|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> बैरी ट्रैगर (बीजीय एकीकरण<ref>{{cite thesis|url=http://dspace.mit.edu/handle/1721.1/15391|title=बीजगणितीय कार्यों का एकीकरण। पीएच.डी. थीसिस, एमआईटी, कैम्ब्रिज, एमए|first=Barry |last=Trager|date=1984|publisher=Massachusetts Institute of Technology |hdl=1721.1/15391|type=Thesis }}</ref> [[गुणन]]खंडन ग्रोबनेर आधार ग्रोबनर<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=free }}</ref>) पॉल एस वांग (बहुपद गुणनखंडन और सबसे बड़ा सामान्य विभाजक, [[जटिल संख्या]]एं, सीमाएं, निश्चित अभिन्न, [[फोरट्रान]] और [[कंडोम]] कोड जनरेशन) डेविड वाई वाई युन (बहुपद सबसे बड़ा सामान्य विभाजक) गेल जकारियास (ग्रोबनेर आधार|ग्रोबनेर)<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>और रिच ज़िप्पल (शक्ति श्रृंखला, बहुपद गुणनखंडन, संख्या सिद्धांत, संयोजक)।
बिल गोस्पर|आर. डब्ल्यू। गोस्पर (निश्चित [[योग]], विशेष कार्य, सरलीकरण, संख्या सिद्धांत) कार्ल हॉफमैन (सामान्य सरलीकरण, मैक्रोज़, [[अविनिमेय]] सरलीकरण, [[ मॉलटिक्स |मॉलटिक्स]] और [[ लिस्पएम |लिस्पएम]] के पोर्ट, प्रणाली दृश्य [[सूत्र संपादक]]) चार्ल्स कार्नी (प्लॉटिंग) जॉन कुलप एड लॉफ़र्टी ([[साधारण अंतर समीकरण]] समाधान, विशेष कार्य) स्टावरोस मैकराकिस (जटिल संख्या वास्तविक/काल्पनिक भाग, संकलक, प्रणाली) रिचर्ड पावेल ([[टेंसर सॉफ्टवेयर]], [[सामान्य सापेक्षता]] पैकेज साधारण और आंशिक अंतर समीकरण) डेविड ए. स्पीयर (ग्रोबनेर आधार ग्रोबनेर),<ref name='spear'>{{cite web |url=http://dspace.udel.edu/handle/19716/1398 |title=क्रमविनिमेय वलय सिद्धांत के लिए एक रचनात्मक दृष्टिकोण|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> बैरी ट्रैगर (बीजीय एकीकरण<ref>{{cite thesis|url=http://dspace.mit.edu/handle/1721.1/15391|title=बीजगणितीय कार्यों का एकीकरण। पीएच.डी. थीसिस, एमआईटी, कैम्ब्रिज, एमए|first=Barry |last=Trager|date=1984|publisher=Massachusetts Institute of Technology |hdl=1721.1/15391|type=Thesis }}</ref> [[गुणन]]खंडन ग्रोबनेर आधार ग्रोबनर<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=free }}</ref>) पॉल एस वांग (बहुपद गुणनखंडन और सबसे बड़ा सामान्य विभाजक, [[जटिल संख्या]]एं, सीमाएं, निश्चित अभिन्न, [[फोरट्रान]] और [[कंडोम]] कोड जनरेशन) डेविड वाई वाई युन (बहुपद सबसे बड़ा सामान्य विभाजक) गेल जकारियास (ग्रोबनेर आधार|ग्रोबनेर)<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>और रिच ज़िप्पल (शक्ति श्रृंखला, बहुपद गुणनखंडन, संख्या सिद्धांत, संयोजक)।




मैकसिमा को [[Maclisp|मैक्लिस्प]] में लिखा गया था और कुछ स्थितियों में संख्यात्मक कंप्यूटिंग, कुशल संकलन और भाषा डिजाइन के क्षेत्रों में [[लिस्प (प्रोग्रामिंग भाषा)]] की उस बोली को सुधारने के लिए एक प्रमुख प्रेरक था। [[Maclisp|मैक्लिस्प]] ही मुख्य रूप से [[PDP-10|पीडीपी-10]] पीडीपी-6 और पीडीपी-10 कंप्यूटरों पर चलता था किंतु मल्टिक्स [[ऑपरेटिंग सिस्टम|ऑपरेटिंग]] प्रणाली और [[लिस्प मशीन]] आर्किटेक्चर पर भी चलता था। मैकसिमा उस समय के सबसे बड़े लिस्प कार्यक्रमों में से एक था।
मैकसिमा को [[Maclisp|मैक्लिस्प]] में लिखा गया था और कुछ स्थितियों में संख्यात्मक कंप्यूटिंग, कुशल संकलन और भाषा डिजाइन के क्षेत्रों में [[लिस्प (प्रोग्रामिंग भाषा)]] की उस बोली को सुधारने के लिए एक प्रमुख प्रेरक था। [[Maclisp|मैक्लिस्प]] ही मुख्य रूप से [[PDP-10|पीडीपी-10]] पीडीपी-6 और पीडीपी-10 कंप्यूटरों पर चलता था किंतु मल्टिक्स [[ऑपरेटिंग सिस्टम|ऑपरेटिंग]] प्रणाली और [[लिस्प मशीन]] आर्किटेक्चर पर भी चलता था। मैकसिमा उस समय के सबसे बड़े लिस्प कार्यक्रमों में से एक था।


=== व्यावसायीकरण ===
=== व्यावसायीकरण ===
{{unreferenced section|date=November 2015}}
1979 में, रिचर्ड फेटमैन के एक अनुरोध के जवाब में, उस समय कैलिफोर्निया विश्वविद्यालय, बर्कले में एक प्रोफेसर, एमआईटी ने मैकसिमा कोड के लिए एक अस्थायी लाइसेंस प्रदान किया। यह लगभग तुरंत नए VAX-11/780 कंप्यूटर पर फेटमैन के समूह द्वारा लिखित Maclisp, Franz Lisp की बोली का उपयोग करके लाया गया था। MIT ने अनिच्छा से बर्कले से लगभग 50 विश्वविद्यालयों में VAX Macsyma के संस्करणों को लाइसेंस दिया, कैलटेक से शुरू करते हुए, इस शर्त के तहत कि उचित लाइसेंस के लिए बातचीत पूरी होने पर लाइसेंस रद्द कर दिया जाएगा। दरअसल, यह तब हुआ जब सिंबोलिक्स (नीचे देखें) के साथ बातचीत पूरी हो गई थी। सिंबोलिक्स VAX उत्पाद को लाइसेंस देने के लिए अनिच्छुक था, क्योंकि VAX ने अपनी [[ लिस्प मशीनें |लिस्प मशीनें]] के लिए प्रतिस्पर्धी हार्डवेयर का गठन किया और इसलिए VAX सॉफ़्टवेयर को पांच वर्षों के लिए दबा दिया। यूसी बर्कले ने [[मोटोरोला 68000]]-आधारित प्रणाली पर मैकसाइमा की प्रतियां भी लाईं, विशेष रूप से [[सन माइक्रोसिस्टम्स|सन माइक्रोप्रणाली ्स]] वर्कस्टेशन। प्रतीकों ने उन्हें भी दबा दिया। उसी समय फेटमैन ने मैकसिमा के लिए (अब निरस्त) अस्थायी लाइसेंस को और अधिक स्थायी बनाने के लिए काम किया।
1979 में, रिचर्ड फेटमैन के एक अनुरोध के जवाब में, उस समय कैलिफोर्निया विश्वविद्यालय, बर्कले में एक प्रोफेसर, एमआईटी ने मैकसिमा कोड के लिए एक अस्थायी लाइसेंस प्रदान किया। यह लगभग तुरंत नए VAX-11/780 कंप्यूटर पर फेटमैन के समूह द्वारा लिखित Maclisp, Franz Lisp की बोली का उपयोग करके लाया गया था। MIT ने अनिच्छा से बर्कले से लगभग 50 विश्वविद्यालयों में VAX Macsyma के संस्करणों को लाइसेंस दिया, कैलटेक से शुरू करते हुए, इस शर्त के तहत कि उचित लाइसेंस के लिए बातचीत पूरी होने पर लाइसेंस रद्द कर दिया जाएगा। दरअसल, यह तब हुआ जब सिंबोलिक्स (नीचे देखें) के साथ बातचीत पूरी हो गई थी। सिंबोलिक्स VAX उत्पाद को लाइसेंस देने के लिए अनिच्छुक था, क्योंकि VAX ने अपनी [[ लिस्प मशीनें ]] के लिए प्रतिस्पर्धी हार्डवेयर का गठन किया और इसलिए VAX सॉफ़्टवेयर को पांच वर्षों के लिए दबा दिया। यूसी बर्कले ने [[मोटोरोला 68000]]-आधारित प्रणाली पर मैकसाइमा की प्रतियां भी लाईं, विशेष रूप से [[सन माइक्रोसिस्टम्स|सन माइक्रोप्रणाली ्स]] वर्कस्टेशन। प्रतीकों ने उन्हें भी दबा दिया। उसी समय फेटमैन ने मैकसिमा के लिए (अब निरस्त) अस्थायी लाइसेंस को और अधिक स्थायी बनाने के लिए काम किया।


अंततः, संयुक्त राज्य अमेरिका के ऊर्जा विभाग ने एमआईटी पर आवश्यकता लगाई कि वे 1982 में [[राष्ट्रीय [[पर्सफोर्स सॉफ्टवेयर]] केंद्र]] (एनईएससी) पुस्तकालय में एक प्रति जारी करें, जबकि एमआईटी को उच्च कीमत और पुनर्वितरण के संदर्भ में प्रतिबंधों का दावा करने की अनुमति है। इसका उद्देश्य सिंबोलिक्स को प्रौद्योगिकी हस्तांतरण की रक्षा करना था। (इस तरह के प्रतिबंध 2002 या उसके बाद से हटा दिए गए हैं।) इस तथाकथित डीओई मैकसिमा को एमआईटी में एनआईएल लिस्प नामक प्री-[[ सामान्य लिस्प ]] बोली में फिर से लिखा गया था, जिसे ओपनवीएमएस पर अपूर्ण रूप से लागू किया गया था। वैक्स/वीएमएस, शिक्षा जगत में एक अलोकप्रिय प्रणाली। जहां [[ बर्कले सॉफ्टवेयर वितरण ]] आम था। DOE Macsyma ने बहुत बाद में ओपन सोर्स मैक्सिमा (सॉफ्टवेयर) प्रणाली के लिए आधार बनाया।
अंततः, संयुक्त राज्य अमेरिका के ऊर्जा विभाग ने एमआईटी पर आवश्यकता लगाई कि वे 1982 में [[राष्ट्रीय [[पर्सफोर्स सॉफ्टवेयर]] केंद्र]] (एनईएससी) पुस्तकालय में एक प्रति जारी करें, जबकि एमआईटी को उच्च कीमत और पुनर्वितरण के संदर्भ में प्रतिबंधों का दावा करने की अनुमति है। इसका उद्देश्य सिंबोलिक्स को प्रौद्योगिकी हस्तांतरण की रक्षा करना था। (इस तरह के प्रतिबंध 2002 या उसके बाद से हटा दिए गए हैं।) इस तथाकथित डीओई मैकसिमा को एमआईटी में एनआईएल लिस्प नामक प्री-[[ सामान्य लिस्प | सामान्य लिस्प]] बोली में फिर से लिखा गया था, जिसे ओपनवीएमएस पर अपूर्ण रूप से लागू किया गया था। वैक्स/वीएमएस, शिक्षा जगत में एक अलोकप्रिय प्रणाली। जहां [[ बर्कले सॉफ्टवेयर वितरण |बर्कले सॉफ्टवेयर वितरण]] आम था। DOE Macsyma ने बहुत बाद में ओपन सोर्स मैक्सिमा (सॉफ्टवेयर) प्रणाली के लिए आधार बनाया।


1981 में, मूसा और [[रिचर्ड पावेल]], एक एमआईटी स्टाफ सदस्य और इंजीनियरिंग और विज्ञान के लिए मैक्सिमा को लागू करने के प्रस्तावक, ने मैकसाइमा के व्यावसायीकरण के लिए एक कंपनी बनाने का प्रयास किया। पावेले ने मैकसाइमा का उपयोग करते हुए कई वैज्ञानिक पत्र लिखे थे। हाथ में कागजात के साथ, पावेल और मूसा ने कई उद्यम पूंजी फर्मों से संपर्क किया, जिन्होंने मैकसिमा स्टार्टअप को वित्त पोषण करने में रुचि दिखाई। अंतिम रूप देने के करीब संभावित सौदों के साथ, एमआईटी ने अचानक निर्णय लिया कि एमआईटी कर्मियों को एमआईटी विकास से सीधे लाभ नहीं लेना चाहिए। 1982 की प्रारंभ में, Macsyma को MIT द्वारा Arthur D. Little, Inc. (ADL) को लाइसेंस दिया गया था, जो Macsyma के लिए ब्रोकर बन गया और जल्द ही 1982 के अंत में Macsyma को Symbolics को लाइसेंस दिया गया। मूसा को ADL द्वारा तस्वीर से बाहर कर दिया गया और Pavelle बन गया सिंबोलिक्स में मैक्सिमा डिवीजन के प्रमुख। यह स्पष्ट था कि सिंबोलिक्स को कोड में इतनी दिलचस्पी नहीं थी जितनी लिस्प मशीन व्यवसाय, लिस्प मशीन में अपने प्रतिस्पर्धी के सॉफ्टवेयर कैटलॉग से मैकसिमा को बाहर रखने में थी। सिम्बोलिक्स और आर्थर डी. लिटिल के बीच व्यापारिक व्यवस्था के लिए मैकसिमा सकल बिक्री के 15% एडीएल को रॉयल्टी भुगतान की आवश्यकता थी। इस रॉयल्टी ने MACSYMA को समृद्ध देखने के लिए MIT और ADL की इच्छा पर अटकलें लगाईं। मैकसिमा का विकास इस तथ्य के बावजूद सिंबोलिक्स में जारी रहा कि इसे लिस्प मशीनों की बिक्री से विचलन के रूप में देखा गया था, जिसे सिंबोलिक्स ने इस तथ्य के बावजूद अपना मुख्य व्यवसाय माना कि मैकसाइमा की बिक्री और लिस्प मशीनों की लीवरेज्ड बिक्री कुल मिलाकर 10% तक पहुंच गई। दो साल के भीतर सिंबोलिक्स में बिक्री। सिम्बोलिक्स में कई लोगों के प्रतिरोध के बावजूद, 80 के दशक के मध्य में बर्कले के [[फ्रांज लिस्प]] का उपयोग करके [[डिजिटल उपकरण निगम]] वैक्स कंप्यूटर और सन वर्कस्टेशन के लिए मैकसिमा जारी किया गया था।
1981 में, मूसा और [[रिचर्ड पावेल]], एक एमआईटी स्टाफ सदस्य और इंजीनियरिंग और विज्ञान के लिए मैक्सिमा को लागू करने के प्रस्तावक, ने मैकसाइमा के व्यावसायीकरण के लिए एक कंपनी बनाने का प्रयास किया। पावेले ने मैकसाइमा का उपयोग करते हुए कई वैज्ञानिक पत्र लिखे थे। हाथ में कागजात के साथ, पावेल और मूसा ने कई उद्यम पूंजी फर्मों से संपर्क किया, जिन्होंने मैकसिमा स्टार्टअप को वित्त पोषण करने में रुचि दिखाई। अंतिम रूप देने के करीब संभावित सौदों के साथ, एमआईटी ने अचानक निर्णय लिया कि एमआईटी कर्मियों को एमआईटी विकास से सीधे लाभ नहीं लेना चाहिए। 1982 की प्रारंभ में, Macsyma को MIT द्वारा Arthur D. Little, Inc. (ADL) को लाइसेंस दिया गया था, जो Macsyma के लिए ब्रोकर बन गया और जल्द ही 1982 के अंत में Macsyma को Symbolics को लाइसेंस दिया गया। मूसा को ADL द्वारा तस्वीर से बाहर कर दिया गया और Pavelle बन गया सिंबोलिक्स में मैक्सिमा डिवीजन के प्रमुख। यह स्पष्ट था कि सिंबोलिक्स को कोड में इतनी दिलचस्पी नहीं थी जितनी लिस्प मशीन व्यवसाय, लिस्प मशीन में अपने प्रतिस्पर्धी के सॉफ्टवेयर कैटलॉग से मैकसिमा को बाहर रखने में थी। सिम्बोलिक्स और आर्थर डी. लिटिल के बीच व्यापारिक व्यवस्था के लिए मैकसिमा सकल बिक्री के 15% एडीएल को रॉयल्टी भुगतान की आवश्यकता थी। इस रॉयल्टी ने MACSYMA को समृद्ध देखने के लिए MIT और ADL की इच्छा पर अटकलें लगाईं। मैकसिमा का विकास इस तथ्य के बावजूद सिंबोलिक्स में जारी रहा कि इसे लिस्प मशीनों की बिक्री से विचलन के रूप में देखा गया था, जिसे सिंबोलिक्स ने इस तथ्य के बावजूद अपना मुख्य व्यवसाय माना कि मैकसाइमा की बिक्री और लिस्प मशीनों की लीवरेज्ड बिक्री कुल मिलाकर 10% तक पहुंच गई। दो साल के भीतर सिंबोलिक्स में बिक्री। सिम्बोलिक्स में कई लोगों के प्रतिरोध के बावजूद, 80 के दशक के मध्य में बर्कले के [[फ्रांज लिस्प]] का उपयोग करके [[डिजिटल उपकरण निगम]] वैक्स कंप्यूटर और सन वर्कस्टेशन के लिए मैकसिमा जारी किया गया था।
Line 29: Line 28:
Macsyma की सबसे बड़ी उत्पाद कमजोरी इसका संख्यात्मक विश्लेषण था। प्रतीकात्मक गणित में महारत हासिल करना एक कठिन कार्य था; किंतु बहुत बड़ी इंजीनियरिंग और निचले स्तर के वैज्ञानिक बाजारों का एक हिस्सा पाने के लिए संख्यात्मक क्षमताएं महत्वपूर्ण थीं। MIT में Macsyma के पास IMSL [[आईएमएसएल संख्यात्मक पुस्तकालय]]अब Perforce सॉफ़्टवेयर का एक उत्पाद) संख्यात्मक पुस्तकालयों के लिए एक लिंक था, किंतु जब Macsyma Symbolics में चला गया तो यह लिंक अलग हो गया। सिम्बोलिक्स में लिस्प डेवलपर्स आमतौर पर मानते थे कि संख्यात्मक विश्लेषण एक पुरानी तकनीक थी जो लिस्प अनुप्रयोगों के लिए महत्वपूर्ण नहीं थी, इसलिए उन्होंने इसमें निवेश करने से इनकार कर दिया। मैकसिमा ([[आईबीएम पीसी संगत]] संस्करण पर) में डबल-परिशुद्धता फ्लोटिंग-पॉइंट प्रारूप | डबल-परिशुद्धता अंकगणित फोरट्रान की तुलना में लगभग छह गुना धीमा था। साथ ही मैकसिमा के मेट्रिसेस को सूचियों की सूची के रूप में लागू किया गया था, जिसकी लागत प्रमुख एल्गोरिदम के लिए गति में शायद 5-10 का एक और कारक था। Macsyma में संख्यात्मक रैखिक बीजगणित के कई बुनियादी एल्गोरिदम नहीं थे, जैसे LU अपघटन।
Macsyma की सबसे बड़ी उत्पाद कमजोरी इसका संख्यात्मक विश्लेषण था। प्रतीकात्मक गणित में महारत हासिल करना एक कठिन कार्य था; किंतु बहुत बड़ी इंजीनियरिंग और निचले स्तर के वैज्ञानिक बाजारों का एक हिस्सा पाने के लिए संख्यात्मक क्षमताएं महत्वपूर्ण थीं। MIT में Macsyma के पास IMSL [[आईएमएसएल संख्यात्मक पुस्तकालय]]अब Perforce सॉफ़्टवेयर का एक उत्पाद) संख्यात्मक पुस्तकालयों के लिए एक लिंक था, किंतु जब Macsyma Symbolics में चला गया तो यह लिंक अलग हो गया। सिम्बोलिक्स में लिस्प डेवलपर्स आमतौर पर मानते थे कि संख्यात्मक विश्लेषण एक पुरानी तकनीक थी जो लिस्प अनुप्रयोगों के लिए महत्वपूर्ण नहीं थी, इसलिए उन्होंने इसमें निवेश करने से इनकार कर दिया। मैकसिमा ([[आईबीएम पीसी संगत]] संस्करण पर) में डबल-परिशुद्धता फ्लोटिंग-पॉइंट प्रारूप | डबल-परिशुद्धता अंकगणित फोरट्रान की तुलना में लगभग छह गुना धीमा था। साथ ही मैकसिमा के मेट्रिसेस को सूचियों की सूची के रूप में लागू किया गया था, जिसकी लागत प्रमुख एल्गोरिदम के लिए गति में शायद 5-10 का एक और कारक था। Macsyma में संख्यात्मक रैखिक बीजगणित के कई बुनियादी एल्गोरिदम नहीं थे, जैसे LU अपघटन।


1987-88 में, मैकसिमा समूह ने गोल्ड [[नील तुतलाना]] के साथ एक पीसी मैकसिमा बनाने की कोशिश की। (इससे पहले, सिम्बोलिक्स ने लिस्प मशीन की बिक्री के साथ प्रतिस्पर्धा से बचने के लिए मानक कंप्यूटरों के लिए लिस्प कंपाइलर बनाने के लिए अपनी परियोजना को समाप्त कर दिया था। यह एक विवादास्पद कदम था, जो कुछ खातों द्वारा, वरिष्ठ प्रबंधन की मंजूरी के बिना किया गया था। सिंबॉलिक्स ने भी सहयोग करने से इनकार कर दिया था। सन लिस्प को उसी कारण से सन वर्कस्टेशन पर उपलब्ध कराने के लिए।) [[गोल्ड हिल लिस्प]] बहुत अस्थिर था, और इसकी कमजोर वास्तुकला ने गोल्ड हिल के लिए कीड़ों को खत्म करना असंभव बना दिया। मैकसाइमा के लिए यह एक महत्वपूर्ण विफलता थी। इसका मतलब यह था कि जब 1988 के मध्य में [[ मेथेमेटिका ]] एप्पल कंप्यूटरों पर प्रकट हुई तो मैकसाइमा पीसी पर प्रतिक्रिया नहीं दे सका। Macsyma [[Microsoft Windows]] PC पर अगस्त 1989 में Symbolics के CLOE Lisp का उपयोग करते हुए दिखाई दिया। हालाँकि, Macsyma का स्टाफ बहुत छोटा था और उस तरह के ग्राफिक्स, नोटबुक इंटरफ़ेस और बेहतर न्यूमेरिक्स को जोड़ने के लिए आवश्यक कौशल के मिश्रण की कमी थी जो कि Mathematica के पास थी।
1987-88 में, मैकसिमा समूह ने गोल्ड [[नील तुतलाना]] के साथ एक पीसी मैकसिमा बनाने की कोशिश की। (इससे पहले, सिम्बोलिक्स ने लिस्प मशीन की बिक्री के साथ प्रतिस्पर्धा से बचने के लिए मानक कंप्यूटरों के लिए लिस्प कंपाइलर बनाने के लिए अपनी परियोजना को समाप्त कर दिया था। यह एक विवादास्पद कदम था, जो कुछ खातों द्वारा, वरिष्ठ प्रबंधन की मंजूरी के बिना किया गया था। सिंबॉलिक्स ने भी सहयोग करने से इनकार कर दिया था। सन लिस्प को उसी कारण से सन वर्कस्टेशन पर उपलब्ध कराने के लिए।) [[गोल्ड हिल लिस्प]] बहुत अस्थिर था, और इसकी कमजोर वास्तुकला ने गोल्ड हिल के लिए कीड़ों को खत्म करना असंभव बना दिया। मैकसाइमा के लिए यह एक महत्वपूर्ण विफलता थी। इसका मतलब यह था कि जब 1988 के मध्य में [[ मेथेमेटिका |मेथेमेटिका]] एप्पल कंप्यूटरों पर प्रकट हुई तो मैकसाइमा पीसी पर प्रतिक्रिया नहीं दे सका। Macsyma [[Microsoft Windows]] PC पर अगस्त 1989 में Symbolics के CLOE Lisp का उपयोग करते हुए दिखाई दिया। हालाँकि, Macsyma का स्टाफ बहुत छोटा था और उस तरह के ग्राफिक्स, नोटबुक इंटरफ़ेस और बेहतर न्यूमेरिक्स को जोड़ने के लिए आवश्यक कौशल के मिश्रण की कमी थी जो कि Mathematica के पास थी।


1989 तक, पेटी को यह स्पष्ट हो गया था कि सिंबॉलिक्स खराब उत्पाद रणनीति के कारण फट जाएगा, और यह मैकसिमा को अपने साथ ले जाएगा। (कुछ उत्पाद मुद्दे: (1) सिंबोलिक्स का सॉफ्टवेयर एमआईटी-श्रेणी के सॉफ्टवेयर डेवलपर्स के लिए दूसरों को पर्याप्त रियायत के बिना डिजाइन किया गया था। (2) सिंबॉलिक्स का विश्व स्तरीय सॉफ्टवेयर बहुत अधिक लागत वाले हार्डवेयर पर निर्भरता के कारण बाजार में हिस्सेदारी खो रहा था। (3) 1980 के दशक के मध्य में [[वीएलएसआई]] हार्डवेयर में जाने पर, सिंबोलिक्स 36-बिट शब्द आकार से 40-बिट में परिवर्तित हो गया, इस बदलाव की भारी विकास लागत के लिए बाजार से औचित्य के बिना।) मैकसाइमा खरीद को इकट्ठा नहीं कर सका- एमआईटी से सहयोग की कमी के कारण बाहर टीम। उत्पाद के मुद्दों के बारे में 1986 से यथोचित रूप से चुप रहने के बाद, पेटी ने 1988 के अंत में सिंबॉलिक्स को केवल-सॉफ़्टवेयर या बोर्ड-स्तरीय रणनीति अपनाने के लिए राजी करने का प्रयास किया; किंतु फो में चौथे राष्ट्रपतिआपके वर्षों ने इसके बारे में कुछ नहीं सुना होगा। 1990 में पेटी ने सिंबोलिक्स को स्टार्ट-अप के लिए छोड़ दिया।
1989 तक, पेटी को यह स्पष्ट हो गया था कि सिंबॉलिक्स खराब उत्पाद रणनीति के कारण फट जाएगा, और यह मैकसिमा को अपने साथ ले जाएगा। (कुछ उत्पाद मुद्दे: (1) सिंबोलिक्स का सॉफ्टवेयर एमआईटी-श्रेणी के सॉफ्टवेयर डेवलपर्स के लिए दूसरों को पर्याप्त रियायत के बिना डिजाइन किया गया था। (2) सिंबॉलिक्स का विश्व स्तरीय सॉफ्टवेयर बहुत अधिक लागत वाले हार्डवेयर पर निर्भरता के कारण बाजार में हिस्सेदारी खो रहा था। (3) 1980 के दशक के मध्य में [[वीएलएसआई]] हार्डवेयर में जाने पर, सिंबोलिक्स 36-बिट शब्द आकार से 40-बिट में परिवर्तित हो गया, इस बदलाव की भारी विकास लागत के लिए बाजार से औचित्य के बिना।) मैकसाइमा खरीद को इकट्ठा नहीं कर सका- एमआईटी से सहयोग की कमी के कारण बाहर टीम। उत्पाद के मुद्दों के बारे में 1986 से यथोचित रूप से चुप रहने के बाद, पेटी ने 1988 के अंत में सिंबॉलिक्स को केवल-सॉफ़्टवेयर या बोर्ड-स्तरीय रणनीति अपनाने के लिए राजी करने का प्रयास किया; किंतु फो में चौथे राष्ट्रपतिआपके वर्षों ने इसके बारे में कुछ नहीं सुना होगा। 1990 में पेटी ने सिंबोलिक्स को स्टार्ट-अप के लिए छोड़ दिया।
Line 46: Line 45:


== उपलब्ध संस्करण ==
== उपलब्ध संस्करण ==
DOE Macsyma के 1982 के संस्करण के आधार पर मैक्सिमा (सॉफ्टवेयर) नामक एक GNU जनरल पब्लिक लाइसेंस-लाइसेंस प्राप्त संस्करण भी है, जिसे बाद में कॉमन लिस्प के लिए अनुकूलित किया गया और [[ विलियम आश्रय ]] द्वारा बढ़ाया गया। यह सक्रिय विकास के अधीन है, और इसे कई सामान्य लिस्प प्रणालियों के तहत संकलित किया जा सकता है। [[ ग्राफिकल यूज़र इंटरफ़ेस ]] सहित [[लिनक्स]], माइक्रोसॉफ्ट विंडोज, [[ Mac OS X ]] और अन्य प्रणाली के लिए डाउनलोड करने योग्य निष्पादनयोग्य उपलब्ध हैं। मैक्सिमा में 1982-1999 के बीच व्यावसायिक विकास की अवधि के दौरान जोड़ी गई कई विशेषताओं को शामिल नहीं किया गया है, किंतु यह एक वर्तमान, मुफ़्त, खुला कोडबेस है जिसमें कई अतिरिक्त सुविधाएँ, कई वैकल्पिक फ्रंट एंड शामिल हैं, और कई सामान्य लिस्प इंजनों के साथ काम करता है। . हालांकि इसके परिणामस्वरूप मैकसिमा और मैक्सिमा के बीच कुछ असंगतियां हुई हैं, मैकसिमा बीजगणितीय भाषा में लिखे गए प्रोग्राम अक्सर चलाए जा सकते हैं, केवल मामूली बदलाव के साथ, किसी भी प्रणाली में।
DOE Macsyma के 1982 के संस्करण के आधार पर मैक्सिमा (सॉफ्टवेयर) नामक एक GNU जनरल पब्लिक लाइसेंस-लाइसेंस प्राप्त संस्करण भी है, जिसे बाद में कॉमन लिस्प के लिए अनुकूलित किया गया और [[ विलियम आश्रय |विलियम आश्रय]] द्वारा बढ़ाया गया। यह सक्रिय विकास के अधीन है, और इसे कई सामान्य लिस्प प्रणालियों के तहत संकलित किया जा सकता है। [[ ग्राफिकल यूज़र इंटरफ़ेस |ग्राफिकल यूज़र इंटरफ़ेस]] सहित [[लिनक्स]], माइक्रोसॉफ्ट विंडोज, [[ Mac OS X |Mac OS X]] और अन्य प्रणाली के लिए डाउनलोड करने योग्य निष्पादनयोग्य उपलब्ध हैं। मैक्सिमा में 1982-1999 के बीच व्यावसायिक विकास की अवधि के दौरान जोड़ी गई कई विशेषताओं को शामिल नहीं किया गया है, किंतु यह एक वर्तमान, मुफ़्त, खुला कोडबेस है जिसमें कई अतिरिक्त सुविधाएँ, कई वैकल्पिक फ्रंट एंड शामिल हैं, और कई सामान्य लिस्प इंजनों के साथ काम करता है। . हालांकि इसके परिणामस्वरूप मैकसिमा और मैक्सिमा के बीच कुछ असंगतियां हुई हैं, मैकसिमा बीजगणितीय भाषा में लिखे गए प्रोग्राम अक्सर चलाए जा सकते हैं, केवल मामूली बदलाव के साथ, किसी भी प्रणाली में।


लगभग 1982 से ITS Macsyma उपलब्ध है, जिसमें अधिकांश फाइलें एक निर्देशिका में कहलाती हैं {{Plain link|https://github.com/PDP-10/its/tree/master/src/maxsrc MAXSRC}}.
लगभग 1982 से ITS Macsyma उपलब्ध है, जिसमें अधिकांश फाइलें एक निर्देशिका में कहलाती हैं {{Plain link|https://github.com/PDP-10/its/tree/master/src/maxsrc MAXSRC}}.
Line 61: Line 60:
{{Computer algebra systems}}
{{Computer algebra systems}}
{{Multics}}
{{Multics}}
{{Authority control}}
 
[[Category: सामान्य लिस्प (प्रोग्रामिंग भाषा) सॉफ्टवेयर]] [[Category: लिनक्स के लिए कंप्यूटर बीजगणित सिस्टम सॉफ्टवेयर]] [[Category: कंप्यूटर बीजगणित प्रणाली]] [[Category: बंद सॉफ्टवेयर]] [[Category: मल्टिक्स सॉफ्टवेयर]]  
[[Category: सामान्य लिस्प (प्रोग्रामिंग भाषा) सॉफ्टवेयर]] [[Category: लिनक्स के लिए कंप्यूटर बीजगणित सिस्टम सॉफ्टवेयर]] [[Category: कंप्यूटर बीजगणित प्रणाली]] [[Category: बंद सॉफ्टवेयर]] [[Category: मल्टिक्स सॉफ्टवेयर]]  



Revision as of 12:08, 12 June 2023

मैकसिमा (/ˈmæksɪmə/; प्रोजेक्ट मैक का सिम्बोलिक मैनिपुलेटर )[1]व्यापक उपयोग में अभी भी सबसे पुराने सामान्य-उद्देश्य वाले कंप्यूटर बीजगणित प्रणालियों में से एक है। यह मूल रूप से एमआईटी के प्रोजेक्ट मैक में 1968 से 1982 तक विकसित किया गया था।

1982 में, Macsyma को प्रतीकात्मकता के लिए लाइसेंस दिया गया और यह एक वाणिज्यिक उत्पाद बन गया। 1992 में,प्रतीकात्मक मैकसिमा को मैकसिमा , इंक. से अलग कर दिया गया, जिसने 1999 तक मैकसिमा को विकसित करना जारी रखा। वह संस्करण अभी भी माइक्रोसॉफ्ट के विन्डोज़ एक्सपी ऑपरेटिंग प्रणाली के लिए उपलब्ध है।

एमआईटी मैक्सिमा का 1982 का संस्करण शिक्षाविदों और अमेरिकी सरकारी एजेंसियों के लिए उपलब्ध रहा और इसे यूएस यूएसडीओई (डीओई) द्वारा वितरित किया जाता है। वह संस्करण, डीओई मैकसिमा बिल शेल्टर द्वारा बनाए रखा गया था। मैक्सिमा (सॉफ्टवेयर) के नाम से इसे 1999 में जीपीएल के तहत जारी किया गया था और यह सक्रिय रखरखाव के अधीन है।

विकास

इस परियोजना की प्रारंभ जुलाई 1968 में कार्ल एंगेलमैन ने की थी।[2] विलियम ए मार्टिन (फ्रंट एंड, एक्सप्रेशन डिस्प्ले, बहुपद अंकगणित) और जोएल मूसा (सरलीकृत, अनिश्चितकालीन एकीकरण: अनुमानी/रिस्क) मार्टिन 1971 तक परियोजना के प्रभारी थे और मूसा ने इसे अगले दशक तक चलाया। एंगेलमैन और उनके कर्मचारी 1969 में एमआईटीआरई लौटने के लिए रवाना हुए।[1] कुछ कोड पहले के काम से आए थे विशेष रूप से नट कोर्सवॉल्ड के सरलीकरण से[3][4] बाद में कोर गणित इंजन में प्रमुख योगदानकर्ता थे:[5] यानिस एवगौस्टिस (विशेष कार्य), डेविड बार्टन (समीकरणों की बीजगणितीय प्रणालियों को हल करना),रिचर्ड बोजेन (विशेष कार्य), बिल डब्यूक (अनिश्चित समाकल, सीमा, शक्ति श्रृंखला, संख्या सिद्धांत, विशेष कार्य, कार्यात्मक समीकरण, पैटर्न मिलान, संकेत प्रश्न, ग्रोबनेर आधार ग्रोबनर, ट्रायंगसिस), रिचर्ड फातमान (तर्कसंगत कार्य, पैटर्न मिलान, फ़्लोटिंग-पॉइंट अंकगणित या फ़्लोटिंग-पॉइंट नंबरों के विकल्प इच्छानुसार से स्पष्ट फ़्लोटिंग-पॉइंट),माइकल जेनेसेरेथ (तुलना, ज्ञान डेटाबेस), जेफ गोल्डन (सरलीकृत, भाषा, प्रणाली), बिल गोस्पर|आर. डब्ल्यू। गोस्पर (निश्चित योग, विशेष कार्य, सरलीकरण, संख्या सिद्धांत) कार्ल हॉफमैन (सामान्य सरलीकरण, मैक्रोज़, अविनिमेय सरलीकरण, मॉलटिक्स और लिस्पएम के पोर्ट, प्रणाली दृश्य सूत्र संपादक) चार्ल्स कार्नी (प्लॉटिंग) जॉन कुलप एड लॉफ़र्टी (साधारण अंतर समीकरण समाधान, विशेष कार्य) स्टावरोस मैकराकिस (जटिल संख्या वास्तविक/काल्पनिक भाग, संकलक, प्रणाली) रिचर्ड पावेल (टेंसर सॉफ्टवेयर, सामान्य सापेक्षता पैकेज साधारण और आंशिक अंतर समीकरण) डेविड ए. स्पीयर (ग्रोबनेर आधार ग्रोबनेर),[6][7] बैरी ट्रैगर (बीजीय एकीकरण[8] गुणनखंडन ग्रोबनेर आधार ग्रोबनर[9]) पॉल एस वांग (बहुपद गुणनखंडन और सबसे बड़ा सामान्य विभाजक, जटिल संख्याएं, सीमाएं, निश्चित अभिन्न, फोरट्रान और कंडोम कोड जनरेशन) डेविड वाई वाई युन (बहुपद सबसे बड़ा सामान्य विभाजक) गेल जकारियास (ग्रोबनेर आधार|ग्रोबनेर)[9][10]और रिच ज़िप्पल (शक्ति श्रृंखला, बहुपद गुणनखंडन, संख्या सिद्धांत, संयोजक)।


मैकसिमा को मैक्लिस्प में लिखा गया था और कुछ स्थितियों में संख्यात्मक कंप्यूटिंग, कुशल संकलन और भाषा डिजाइन के क्षेत्रों में लिस्प (प्रोग्रामिंग भाषा) की उस बोली को सुधारने के लिए एक प्रमुख प्रेरक था। मैक्लिस्प ही मुख्य रूप से पीडीपी-10 पीडीपी-6 और पीडीपी-10 कंप्यूटरों पर चलता था किंतु मल्टिक्स ऑपरेटिंग प्रणाली और लिस्प मशीन आर्किटेक्चर पर भी चलता था। मैकसिमा उस समय के सबसे बड़े लिस्प कार्यक्रमों में से एक था।

व्यावसायीकरण

1979 में, रिचर्ड फेटमैन के एक अनुरोध के जवाब में, उस समय कैलिफोर्निया विश्वविद्यालय, बर्कले में एक प्रोफेसर, एमआईटी ने मैकसिमा कोड के लिए एक अस्थायी लाइसेंस प्रदान किया। यह लगभग तुरंत नए VAX-11/780 कंप्यूटर पर फेटमैन के समूह द्वारा लिखित Maclisp, Franz Lisp की बोली का उपयोग करके लाया गया था। MIT ने अनिच्छा से बर्कले से लगभग 50 विश्वविद्यालयों में VAX Macsyma के संस्करणों को लाइसेंस दिया, कैलटेक से शुरू करते हुए, इस शर्त के तहत कि उचित लाइसेंस के लिए बातचीत पूरी होने पर लाइसेंस रद्द कर दिया जाएगा। दरअसल, यह तब हुआ जब सिंबोलिक्स (नीचे देखें) के साथ बातचीत पूरी हो गई थी। सिंबोलिक्स VAX उत्पाद को लाइसेंस देने के लिए अनिच्छुक था, क्योंकि VAX ने अपनी लिस्प मशीनें के लिए प्रतिस्पर्धी हार्डवेयर का गठन किया और इसलिए VAX सॉफ़्टवेयर को पांच वर्षों के लिए दबा दिया। यूसी बर्कले ने मोटोरोला 68000-आधारित प्रणाली पर मैकसाइमा की प्रतियां भी लाईं, विशेष रूप से सन माइक्रोप्रणाली ्स वर्कस्टेशन। प्रतीकों ने उन्हें भी दबा दिया। उसी समय फेटमैन ने मैकसिमा के लिए (अब निरस्त) अस्थायी लाइसेंस को और अधिक स्थायी बनाने के लिए काम किया।

अंततः, संयुक्त राज्य अमेरिका के ऊर्जा विभाग ने एमआईटी पर आवश्यकता लगाई कि वे 1982 में [[राष्ट्रीय पर्सफोर्स सॉफ्टवेयर केंद्र]] (एनईएससी) पुस्तकालय में एक प्रति जारी करें, जबकि एमआईटी को उच्च कीमत और पुनर्वितरण के संदर्भ में प्रतिबंधों का दावा करने की अनुमति है। इसका उद्देश्य सिंबोलिक्स को प्रौद्योगिकी हस्तांतरण की रक्षा करना था। (इस तरह के प्रतिबंध 2002 या उसके बाद से हटा दिए गए हैं।) इस तथाकथित डीओई मैकसिमा को एमआईटी में एनआईएल लिस्प नामक प्री- सामान्य लिस्प बोली में फिर से लिखा गया था, जिसे ओपनवीएमएस पर अपूर्ण रूप से लागू किया गया था। वैक्स/वीएमएस, शिक्षा जगत में एक अलोकप्रिय प्रणाली। जहां बर्कले सॉफ्टवेयर वितरण आम था। DOE Macsyma ने बहुत बाद में ओपन सोर्स मैक्सिमा (सॉफ्टवेयर) प्रणाली के लिए आधार बनाया।

1981 में, मूसा और रिचर्ड पावेल, एक एमआईटी स्टाफ सदस्य और इंजीनियरिंग और विज्ञान के लिए मैक्सिमा को लागू करने के प्रस्तावक, ने मैकसाइमा के व्यावसायीकरण के लिए एक कंपनी बनाने का प्रयास किया। पावेले ने मैकसाइमा का उपयोग करते हुए कई वैज्ञानिक पत्र लिखे थे। हाथ में कागजात के साथ, पावेल और मूसा ने कई उद्यम पूंजी फर्मों से संपर्क किया, जिन्होंने मैकसिमा स्टार्टअप को वित्त पोषण करने में रुचि दिखाई। अंतिम रूप देने के करीब संभावित सौदों के साथ, एमआईटी ने अचानक निर्णय लिया कि एमआईटी कर्मियों को एमआईटी विकास से सीधे लाभ नहीं लेना चाहिए। 1982 की प्रारंभ में, Macsyma को MIT द्वारा Arthur D. Little, Inc. (ADL) को लाइसेंस दिया गया था, जो Macsyma के लिए ब्रोकर बन गया और जल्द ही 1982 के अंत में Macsyma को Symbolics को लाइसेंस दिया गया। मूसा को ADL द्वारा तस्वीर से बाहर कर दिया गया और Pavelle बन गया सिंबोलिक्स में मैक्सिमा डिवीजन के प्रमुख। यह स्पष्ट था कि सिंबोलिक्स को कोड में इतनी दिलचस्पी नहीं थी जितनी लिस्प मशीन व्यवसाय, लिस्प मशीन में अपने प्रतिस्पर्धी के सॉफ्टवेयर कैटलॉग से मैकसिमा को बाहर रखने में थी। सिम्बोलिक्स और आर्थर डी. लिटिल के बीच व्यापारिक व्यवस्था के लिए मैकसिमा सकल बिक्री के 15% एडीएल को रॉयल्टी भुगतान की आवश्यकता थी। इस रॉयल्टी ने MACSYMA को समृद्ध देखने के लिए MIT और ADL की इच्छा पर अटकलें लगाईं। मैकसिमा का विकास इस तथ्य के बावजूद सिंबोलिक्स में जारी रहा कि इसे लिस्प मशीनों की बिक्री से विचलन के रूप में देखा गया था, जिसे सिंबोलिक्स ने इस तथ्य के बावजूद अपना मुख्य व्यवसाय माना कि मैकसाइमा की बिक्री और लिस्प मशीनों की लीवरेज्ड बिक्री कुल मिलाकर 10% तक पहुंच गई। दो साल के भीतर सिंबोलिक्स में बिक्री। सिम्बोलिक्स में कई लोगों के प्रतिरोध के बावजूद, 80 के दशक के मध्य में बर्कले के फ्रांज लिस्प का उपयोग करके डिजिटल उपकरण निगम वैक्स कंप्यूटर और सन वर्कस्टेशन के लिए मैकसिमा जारी किया गया था।

हालाँकि, सिंबोलिक्स के अलावा अन्य कंप्यूटरों पर मैकसाइमा की बिक्री को लेकर सिंबॉलिक्स की समस्याओं के कारण अंततः मैकसाइमा की बिक्री में गिरावट आई। 1986 की पहली छमाही में, एक बढ़ते उद्योग में, Macsyma का राजस्व 1985 की पहली छमाही की तुलना में कम था। स्टीफन वोल्फ्राम का एसएमपी कार्यक्रम और मेपल (सॉफ्टवेयर) इस समय बढ़ रहे थे, हालांकि प्रतीकात्मक गणित में मैक्सिमा आसानी से इन अन्य पैकेजों से बेहतर था।

पावेल ने सिंबोलिक्स में मैकसिमा डिवीजन को ई तक चलाया1986 की शुरुआत। 1986 की दूसरी छमाही में रिचर्ड पेटी बिक्री को कम करने और सिंबॉलिक्स में कर्मचारियों के साथ संघर्ष से बचने के लिए Macsyma व्यवसाय के प्रबंधक बन गए। Macsyma ने कर्मचारियों की संख्या में कटौती की किंतु अपनी बिक्री बल और मार्केटिंग का विस्तार किया, और अपने डेवलपर्स को ग्राहकों द्वारा मांगी गई सुविधाओं पर अधिक ध्यान केंद्रित किया। (उदाहरण के लिए, 1970 के दशक में MIT में लागू किया गया स्पीयर-ज़कारियास (ग्रोबनेर आधार | ग्रोबनर) आधार एल्गोरिथम 1987 तक एक शिपिंग Macsyma में स्थापित नहीं किया गया था।) 1987 में, Macsyma का वार्षिक राजस्व लगभग दोगुना हो गया। MACSYMA अधिक उपयोगकर्ता के अनुकूल बन गया: दस्तावेज़ीकरण और ऑनलाइन सहायता को पुनर्गठित और विस्तारित किया गया; कुछ कमांड नामों को और अधिक स्मरक के रूप में बदल दिया गया था। प्रणाली को कॉमन लिस्प (केंट एम. पिटमैन द्वारा) में पोर्ट किया गया था। पेटी ने प्रतीकात्मक प्रबंधन के लिए तर्क दिया कि मैकसिमा एक 'रणनीतिक व्यवसाय इकाई' थी जिसे इसके प्रदर्शन और क्षमता के आधार पर वित्त पोषित किया जाना चाहिए, न कि मुख्य कार्य केंद्र व्यवसाय की संभावनाओं के आधार पर। हालांकि, तेज वृद्धि की इस अवधि के बाद सिंबोलिक्स ने मैकसिमा हेडकाउंट में कटौती की; प्रतीकात्मकता ने कार्य केंद्र व्यवसाय के घाटे को वित्तपोषित करने के लिए मैकसिमा को एक छोटी नकदी गाय के रूप में उपयोग करने की कोशिश की जो कि इसके आकार से 30 गुना अधिक थी।

Macsyma की सबसे बड़ी उत्पाद कमजोरी इसका संख्यात्मक विश्लेषण था। प्रतीकात्मक गणित में महारत हासिल करना एक कठिन कार्य था; किंतु बहुत बड़ी इंजीनियरिंग और निचले स्तर के वैज्ञानिक बाजारों का एक हिस्सा पाने के लिए संख्यात्मक क्षमताएं महत्वपूर्ण थीं। MIT में Macsyma के पास IMSL आईएमएसएल संख्यात्मक पुस्तकालयअब Perforce सॉफ़्टवेयर का एक उत्पाद) संख्यात्मक पुस्तकालयों के लिए एक लिंक था, किंतु जब Macsyma Symbolics में चला गया तो यह लिंक अलग हो गया। सिम्बोलिक्स में लिस्प डेवलपर्स आमतौर पर मानते थे कि संख्यात्मक विश्लेषण एक पुरानी तकनीक थी जो लिस्प अनुप्रयोगों के लिए महत्वपूर्ण नहीं थी, इसलिए उन्होंने इसमें निवेश करने से इनकार कर दिया। मैकसिमा (आईबीएम पीसी संगत संस्करण पर) में डबल-परिशुद्धता फ्लोटिंग-पॉइंट प्रारूप | डबल-परिशुद्धता अंकगणित फोरट्रान की तुलना में लगभग छह गुना धीमा था। साथ ही मैकसिमा के मेट्रिसेस को सूचियों की सूची के रूप में लागू किया गया था, जिसकी लागत प्रमुख एल्गोरिदम के लिए गति में शायद 5-10 का एक और कारक था। Macsyma में संख्यात्मक रैखिक बीजगणित के कई बुनियादी एल्गोरिदम नहीं थे, जैसे LU अपघटन।

1987-88 में, मैकसिमा समूह ने गोल्ड नील तुतलाना के साथ एक पीसी मैकसिमा बनाने की कोशिश की। (इससे पहले, सिम्बोलिक्स ने लिस्प मशीन की बिक्री के साथ प्रतिस्पर्धा से बचने के लिए मानक कंप्यूटरों के लिए लिस्प कंपाइलर बनाने के लिए अपनी परियोजना को समाप्त कर दिया था। यह एक विवादास्पद कदम था, जो कुछ खातों द्वारा, वरिष्ठ प्रबंधन की मंजूरी के बिना किया गया था। सिंबॉलिक्स ने भी सहयोग करने से इनकार कर दिया था। सन लिस्प को उसी कारण से सन वर्कस्टेशन पर उपलब्ध कराने के लिए।) गोल्ड हिल लिस्प बहुत अस्थिर था, और इसकी कमजोर वास्तुकला ने गोल्ड हिल के लिए कीड़ों को खत्म करना असंभव बना दिया। मैकसाइमा के लिए यह एक महत्वपूर्ण विफलता थी। इसका मतलब यह था कि जब 1988 के मध्य में मेथेमेटिका एप्पल कंप्यूटरों पर प्रकट हुई तो मैकसाइमा पीसी पर प्रतिक्रिया नहीं दे सका। Macsyma Microsoft Windows PC पर अगस्त 1989 में Symbolics के CLOE Lisp का उपयोग करते हुए दिखाई दिया। हालाँकि, Macsyma का स्टाफ बहुत छोटा था और उस तरह के ग्राफिक्स, नोटबुक इंटरफ़ेस और बेहतर न्यूमेरिक्स को जोड़ने के लिए आवश्यक कौशल के मिश्रण की कमी थी जो कि Mathematica के पास थी।

1989 तक, पेटी को यह स्पष्ट हो गया था कि सिंबॉलिक्स खराब उत्पाद रणनीति के कारण फट जाएगा, और यह मैकसिमा को अपने साथ ले जाएगा। (कुछ उत्पाद मुद्दे: (1) सिंबोलिक्स का सॉफ्टवेयर एमआईटी-श्रेणी के सॉफ्टवेयर डेवलपर्स के लिए दूसरों को पर्याप्त रियायत के बिना डिजाइन किया गया था। (2) सिंबॉलिक्स का विश्व स्तरीय सॉफ्टवेयर बहुत अधिक लागत वाले हार्डवेयर पर निर्भरता के कारण बाजार में हिस्सेदारी खो रहा था। (3) 1980 के दशक के मध्य में वीएलएसआई हार्डवेयर में जाने पर, सिंबोलिक्स 36-बिट शब्द आकार से 40-बिट में परिवर्तित हो गया, इस बदलाव की भारी विकास लागत के लिए बाजार से औचित्य के बिना।) मैकसाइमा खरीद को इकट्ठा नहीं कर सका- एमआईटी से सहयोग की कमी के कारण बाहर टीम। उत्पाद के मुद्दों के बारे में 1986 से यथोचित रूप से चुप रहने के बाद, पेटी ने 1988 के अंत में सिंबॉलिक्स को केवल-सॉफ़्टवेयर या बोर्ड-स्तरीय रणनीति अपनाने के लिए राजी करने का प्रयास किया; किंतु फो में चौथे राष्ट्रपतिआपके वर्षों ने इसके बारे में कुछ नहीं सुना होगा। 1990 में पेटी ने सिंबोलिक्स को स्टार्ट-अप के लिए छोड़ दिया।

मैकसिमा, इंक.

Macsyma, Inc., की स्थापना 1992 में रसेल नॉफ्टस्कर (अध्यक्ष, जिन्होंने सिंबोलिक्स की सह-स्थापना की थी) और रिचर्ड पेटी (अध्यक्ष, जिन्होंने सिम्बोलिक्स में एक समय के लिए Macsyma को बदल दिया था) द्वारा धन जुटाने और Macsyma के अधिकारों को खरीदने के द्वारा की गई थी। बीमार प्रतीकवाद।[11] हालांकि बाजार तेजी से बढ़ रहा था, 1991 और 1992 की प्रारंभ में मैकसाइमा की बिक्री अभी भी तेजी से गिर रही थी। प्रतीकात्मक गणित सॉफ्टवेयर में मैकसिमा की बाजार हिस्सेदारी 1987 में 70% से गिरकर 1992 में 1% हो गई थी। 1993 तक, बाजार की वृद्धि धीमी हो गई थी और बाजार गणित और मेपल पर मानकीकृत हो गया था। प्रतियोगियों के पास विकास कर्मचारी थे जो 1990 के दशक के दौरान मैकसाइमा इंक. के 4-8 गुना बड़े थे।

1995 की प्रारंभ में कंपनी ने मैकसिमा 2.0.5 को कई सुधारों के साथ भेज दिया: वेस्टर के प्रतीकात्मक गणित के बड़े परीक्षण पर, मैकसिमा 2.0.5 ने मैपल से 10% बेहतर और मैथमैटिका से 15% बेहतर स्कोर किया।[12] हालांकि मैकसिमा 2.0.5 संख्या में अभी भी बहुत धीमा था, किंतु इसमें संख्यात्मक विश्लेषण और रैखिक बीजगणित दिनचर्या का एक बहुत मजबूत पोर्टफोलियो था। (1996 में Macsyma ने LAPACK जोड़ा जिसने अधिकांश संख्यात्मक रैखिक बीजगणित की गति को बहुत बढ़ा दिया।)

इस समय विकास दल में जेफ गोल्डन (भाषा, संकलक, आदि), बिल गोस्पर (विशेष कार्य, योग), हॉवर्ड कैनन (प्रौद्योगिकीविद) (उपयोगकर्ता इंटरफ़ेस, अनुकूलन) और कई सलाहकार शामिल थे। Bill Dubuque ने इंटीग्रेशन, इक्वेशन सॉल्विंग, डेटाबेस और ऑप्टिमाइज़ेशन पर काम किया। क्रिस्टोफर स्टेसी और डेविड एच। वुड ने MATLAB की भाषा और मैट्रिक्स कार्यक्षमता को जोड़ा। अन्य डेवलपर्स ने संख्यात्मक विश्लेषण, ग्राफिक्स और हेल्प प्रणाली में प्रमुख योगदान दिया।

कंपनी अनिश्चित काल तक कर्मचारियों से 4-8 गुना बड़े प्रदर्शन को जारी नहीं रख सकती थी और बाजार की गति को उलट सकती थी। बाजार हिस्सेदारी 2% से ऊपर नहीं बढ़ी, क्योंकि प्रतिस्पर्धी सभी प्रमुख खातों में उलझे हुए थे, एक नए उत्पाद में परिवर्तित करना सीखने के समय में बहुत महंगा है, और बाजार की वृद्धि में गिरावट आई है। इसके अलावा, 1992 या 1993 में शुरू होकर, मैथसॉफ्ट बहुत कम कीमतों पर सीधे मेल पर $10 मिलियन खर्च करने की रणनीति में शामिल हो गया, जिसने प्रतीकात्मक गणित बाजार में शेष वृद्धि को जीत लिया, ठीक उसी समय जब Macsyma Inc. अपनी दुनिया के पुनर्निर्माण के लिए संघर्ष कर रहा था- वर्ग उत्पाद।

1999 में, Macsyma को Tenedos LLC द्वारा अधिग्रहित किया गया था, जो एक होल्डिंग कंपनी थी जिसने पहले Symbolics को खरीदा था। होल्डिंग कंपनी ने मैकसाइमा को फिर से जारी या पुनर्विक्रय नहीं किया है, किंतु मैकसाइमा को विंडोज एक्सपी तक माइक्रोसॉफ्ट विंडोज संस्करणों के लिए सिंबोलिक्स द्वारा वितरित किया जाना जारी है।[13]


उपलब्ध संस्करण

DOE Macsyma के 1982 के संस्करण के आधार पर मैक्सिमा (सॉफ्टवेयर) नामक एक GNU जनरल पब्लिक लाइसेंस-लाइसेंस प्राप्त संस्करण भी है, जिसे बाद में कॉमन लिस्प के लिए अनुकूलित किया गया और विलियम आश्रय द्वारा बढ़ाया गया। यह सक्रिय विकास के अधीन है, और इसे कई सामान्य लिस्प प्रणालियों के तहत संकलित किया जा सकता है। ग्राफिकल यूज़र इंटरफ़ेस सहित लिनक्स, माइक्रोसॉफ्ट विंडोज, Mac OS X और अन्य प्रणाली के लिए डाउनलोड करने योग्य निष्पादनयोग्य उपलब्ध हैं। मैक्सिमा में 1982-1999 के बीच व्यावसायिक विकास की अवधि के दौरान जोड़ी गई कई विशेषताओं को शामिल नहीं किया गया है, किंतु यह एक वर्तमान, मुफ़्त, खुला कोडबेस है जिसमें कई अतिरिक्त सुविधाएँ, कई वैकल्पिक फ्रंट एंड शामिल हैं, और कई सामान्य लिस्प इंजनों के साथ काम करता है। . हालांकि इसके परिणामस्वरूप मैकसिमा और मैक्सिमा के बीच कुछ असंगतियां हुई हैं, मैकसिमा बीजगणितीय भाषा में लिखे गए प्रोग्राम अक्सर चलाए जा सकते हैं, केवल मामूली बदलाव के साथ, किसी भी प्रणाली में।

लगभग 1982 से ITS Macsyma उपलब्ध है, जिसमें अधिकांश फाइलें एक निर्देशिका में कहलाती हैं MAXSRC.

संदर्भ

  1. 1.0 1.1 Moses, Joel (May 2008). "Macsyma: A Personal History" (PDF). Milestones in Computer Algebra.. See also Joel Moses (2012), "Macsyma: A personal history", Journal of Symbolic Computation, 47 (2): 123–130, doi:10.1016/j.jsc.2010.08.018
  2. "कार्ल एंगेलमैन मेमोरियल फंड" (PDF). The FINITE STRING Newsletter. American Journal of Computational Linguistics, Volume 9, Numbers 3-4, July–December 1983. Archived from the original (PDF) on 2003-04-28.
  3. Richard J. Fateman, "MACSYMA's General Simplifier: Philosophy and Operation", Macsyma Users' Conference 1979 full text, section 2
  4. 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
  5. Maccone, Claude (2012). Mathematical SETI: Statistics, Signal Processing, Space Missions. Springer. p. 75. ISBN 978-3-642-27436-7.
  6. Spear, David (July 1977). "क्रमविनिमेय वलय सिद्धांत के लिए एक रचनात्मक दृष्टिकोण". Proceedings of the 1977 MACSYMA Users' Conference.
  7. Mora, Teo (2005). Chapter 26, Spear, in: Solving Polynomial Equation Systems II: Macaulay's Paradigm and Gröbner Technology. ISBN 9780521811569.
  8. Trager, Barry (1984). बीजगणितीय कार्यों का एकीकरण। पीएच.डी. थीसिस, एमआईटी, कैम्ब्रिज, एमए (Thesis). Massachusetts Institute of Technology. hdl:1721.1/15391.
  9. 9.0 9.1 Gianni, Patrizia; Trager, Barry; Zacharias, Gail (1988). "Gröbner bases and primary decomposition of polynomial ideals". Journal of Symbolic Computation. 6 (2–3): 149–167. doi:10.1016/S0747-7171(88)80040-3.
  10. Zacharias, Gail (June 1978). "Generalized Gröbner bases in commutative polynomial rings." B.Sc. thesis, M.I.T., Cambridge,MA". {{cite web}}: Missing or empty |url= (help)
  11. Maccone, Claudio (2012-08-30). Mathematical SETI: Statistics, Signal Processing, Space Missions (in English). Springer Science & Business Media. ISBN 9783642274374.
  12. "A Critique of the Mathematical Abilities of CA Systems". Wester's 1995 review and 1999 review
  13. Macsyma home page, http://www.symbolics-dks.com/Macsyma-1.htm


बाहरी संबंध

Template:Multics