प्रतीकात्मक गणित एक मजेदार परियोजना है। चाहे कोई भी इसका उपयोग करता है या नहीं, आपके प्रश्न में कोई फर्क नहीं पड़ता है, इसलिए
मैंने पिछले कुछ वर्षों में लिखा है। सबसे अच्छा एसक्यूएल के लिए एक था जहां खंड - कुछ अतिरिक्त और शर्तों में एसक्यूएल पर कुछ छोटे प्रतीकात्मक जोड़-विमर्श किया। एक पूर्ण "सॉल्वर" या "ऑप्टिमाइज़र" या कुछ भी नहीं, किसी भी एसक्यूएल के कुछ प्रतीकात्मक हेरफेर जहां खंड संभव है। कम ठंडा एक डीबगर के लिए था; यह जटिल गणित करने के लिए (प्रतीकात्मक रूप से) चर के लिए ऑफसेट सेट करने के लिए किया था। आदि ऑपरेंड, ऑपरेटर, काम करता है,
आप क्या जोड़तोड़ इन वस्तुओं में भाग लेने के लिए है तय करने के लिए है -
आप एक गणितीय अभिव्यक्ति के तत्वों के लिए कक्षाओं को परिभाषित करते हुए शुरू करते हैं।अभिव्यक्ति के लिए ठोस मूल्य प्राप्त करना एक आसान और स्पष्ट है। उस मामले से शुरू करें जहां सभी चरों में बाध्यकारी है।
फिर उस मामले को संभालें जहां कुछ चर अनबाउंड रहते हैं, और आप केवल अभिव्यक्ति के कुछ हिस्सों का मूल्यांकन कर सकते हैं।
फिर एक अभिव्यक्ति को एक कैनोलिक रूप में पुनर्व्यवस्थित करना संभाल लें। यानी, आपने आंशिक मूल्यांकन किया है और Add(Variable(x), Add(Variable(x), Lit(3)))
है। इसे Add(Multiply(Lit(2), Variable(x)), Lit(3))
में बदलने के लिए आपको नियम लिखने की आवश्यकता है।
एक बहुत अच्छा अभ्यास ब्रांड्स को अनुकूलित कर रहा है ताकि मुद्रित आउटपुट में अर्थ को पकड़ने के लिए आवश्यक न्यूनतम कोष्ठक हो।
कई अन्य "अभिव्यक्ति परिवर्तन" नियम हैं जिन्हें हम सभी बीजगणितीय जोड़ों के लिए स्कूल में सीखते हैं। बहुत से।
विशेष रूप से, एक चर को अलग करने के लिए समीकरण को पुनर्व्यवस्थित करना कुछ मामलों में वास्तव में कठिन हो सकता है।
व्युत्पन्न परिवर्तन करना आसान है, लेकिन प्रतीकात्मक एकीकरण वास्तव में विशेष मामलों के एक टन के साथ वास्तव में कठिन है।
मूल बातें मजेदार हैं। आप कितनी दूर जाना चाहते हैं इस पर निर्भर करते हुए, यह क्रमिक रूप से कठिन हो जाता है।
एक और पुस्तकालय विकल्प ऋषि (http://www.sagemath.org/) का उपयोग करना है –