Googling benchmark polynomial systemsकुछ हिट की ओर जाता है, जिसमें मैनहेम विश्वविद्यालय के कंप्यूटर बीजगणित बेंचमार्क पहल शामिल हैं । अफसोस की बात यह है कि इनमें से ज्यादातर पुराने हैं। सबसे सक्रिय सिम्बोलिकडैटा विकी लगता है , लेकिन जहां तक मैं बता सकता हूं, यह केवल बेंचमार्क समस्याएं एकत्र करता है , न कि बेंचमार्क परिणाम ।
Axiom, Macsyma, Maple, Mathematica, MuPAD और Reduce को सुलझाने वाली बहुपद प्रणालियों में से कुछ तुलना (डेटिंग वापस 1996) Hans-Gert Gräbe में पाई जा सकती है , Polynomial System के बारे में Axiom, Macsyma, Maple, Mathematica, MuPAD की सुविधा को हल करें और कम करें , प्रिफरेंस 11/96 des Instituts für Informatik, Universität Leipzig, Germany, दिसंबर 1996 । निष्कर्ष यह है कि ग्रोमनर ठिकानों (दूसरों के समय में इस बिंदु पर नहीं था) का उपयोग करने के कारण एशियोम, मेपल और रेड्यूस जीतते हैं, मेपल दूसरों से थोड़ा आगे निकलते हैं।
SINGULAR 2.0 (वर्तमान में दिसंबर 2015 तक 4.0.2) अन्य लोगों के साथ मेपल की पिटाई करते हुए SINGULAR वेबसाइट पर एक पुरानी तुलना है।
दूसरी ओर, एक और हालिया प्रकाशन ( याओ सन, डोंगडाई लिन, और डिंगकांग वांग। 2015। एमजीआरआई से रैखिक बीजीय रूटीन का उपयोग करके हस्ताक्षर आधारित ग्रोबनर आधार एल्गोरिदम को लागू करने पर। एसीएम कम्यूनिटी। कंपाउंड। बीजगणित 49, 2 (अगस्त 2015) , 63-64 मेपल, एकवचन और मैग्मा के साथ ग्रोब्नेर आधार एल्गोरिथ्म के लेखकों के कार्यान्वयन की तुलना करते हैं, मैग्मा परिमाण के एक आदेश (और लेखकों के कार्यान्वयन के साथ बांधने) द्वारा अन्य दो पैकेजों की तुलना में तेज है।
तो यह समस्या (आकार और संरचना) पर बहुत अधिक निर्भर करता है और सॉफ्टवेयर संस्करण जो पैकेज सबसे तेज है। फिर भी, सामान्य प्रयोजन के प्रतीकात्मक संगणना सॉफ्टवेयर के बजाय सिंगुलर, मैग्मा या मेपल जैसे सक्रिय रूप से विकसित, विशेष प्रयोजन कंप्यूटर बीजगणित प्रणाली का उपयोग करने की सिफारिश एक ध्वनि है। यह एक संख्यात्मक सॉफ्टवेयर में टूलबॉक्स के लिए दोगुना हो जाता है , जो ओवरहेड का एक और स्तर जोड़ता है और आमतौर पर स्टैंडअलोन सॉफ्टवेयर के पीछे कई संस्करण होते हैं जो वे (म्पलाद, पहले मेपल, मैटलैब के टूलबॉक्स के मामले में) पर आधारित होते हैं।
sympy!