MuPAD या मेपल में समीकरण के विशिष्ट भागों को निकालने के लिए कैसे करें

मेरे पास मुपाड और मेपल है और मैं उन सॉफ्टवेयरों में से एक के साथ निम्नलिखित करना चाहता हूं:

  • मेरे पास समीकरण है जिसमें विभिन्न आयामों और विभिन्न तर्कों के साथ कई कोसाइन हैं जो पहले (नीली) पंक्ति में नीचे दी गई तस्वीर में चित्रित हैं।
  • मैं केवल उन कोसाइन निकालना चाहता हूं जिनमें कम से कम तर्क होता है "+ a tb t" (इसलिए "+ a tb t + alpha" ठीक है, भी ) - दूसरी (नीली पंक्ति) देखें।
  • मैं इस विशिष्ट कोसाइन के आयामों का सारांश प्रदर्शित करना चाहता हूं - तीसरी (लाल) पंक्ति देखें।

The second picture shows a real example. Example Example2

1
मैंने एक असली उदाहरण जोड़ा है जो पहले उदाहरण के रूप में सरलीकृत नहीं है। cos (b * t-a * t) हो सकता है, लेकिन cos (1/(a ​​* t-b * t)) नहीं - जैसा कि उपरोक्त नई तस्वीर पर चित्रित किया गया है। जिस तरह से मैं नियमित अभिव्यक्तियों का उपयोग कर समाधान पर काम कर रहा हूं। लेकिन मेपल के साथ एक समाधान अभी भी मदद करेगा।
जोड़ा लेखक Semjon Mössinger, स्रोत
यह निश्चित रूप से मेपल में करने योग्य है, लेकिन इससे पहले कि मैं जवाब दूं, मुझे यह जानने की ज़रूरत है कि क्या कोई भी तर्क दिखाई देता है, उदाहरण के लिए, अल्फा + (ए-बी) * टी । cos (b * t-a * t) के बारे में क्या है, जो cos (a * t-b * t) के बराबर है क्योंकि कोसाइन भी एक कार्य है?
जोड़ा लेखक Carl Love, स्रोत
मुझे यह जानने की भी आवश्यकता है कि a * t या b * t कभी भी कोसाइन के तर्क में "नेस्टेड" दिखाई देगा, जैसे कि cos (1/(a * टीबी * टी) + अल्फा) ।
जोड़ा लेखक Carl Love, स्रोत

1 उत्तर

मान लें कि आपकी लंबी अभिव्यक्ति का नाम expr है। फिर यह करो

TypeTools:-AddType(
     MyCos,
     cos(satisfies(x-> x::`+` and {a*t, -b*t} subset {op(x)} or x = b*t-a*t))
): 

subex:= select(T-> T::MyCos or T::`*` and membertype(MyCos, {op(T)}), expr);

अब subex आपकी वांछित उप-अभिव्यक्ति है। यदि आप गुणांक जोड़ना चाहते हैं, तो बस eval (subex, cos = 1) करें।

ध्यान दें कि इसे (a-b) * t + alpha जैसे आंशिक रूप से फ़ोरर्ड तर्क नहीं मिलेगा। यदि आपको इन्हें ढूंढना है, तो मुझे बताएं।

2
जोड़ा
@ एर्गोडिसिटी: आपका सुझाया गया संपादन सही था। क्षमा करें कि मेरे पास आपके संपादन को अस्वीकार करने के लिए आवश्यक प्रतिनिधि नहीं था।
जोड़ा लेखक Carl Love, स्रोत