त्रिकोणीय अपघटन: Difference between revisions
No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
== इतिहास == | == इतिहास == | ||
विशेषता समुच्चय | विशेषता समुच्चय विधि पहला गुणनखंड-मुक्त कलन विधि है, जिसे एक बीजगणितीय विविधता को समान घटकों में विघटित करने के लिए प्रस्तावित किया गया था। इसके अतिरिक्त, लेखक, [[मिस्टर वू यू वेन]] ने इस पद्धति के कार्यान्वयन को महसूस किया और अपने 1987 के अग्रणी लेख में बहुपद समीकरणों को हल करने के लिए एक शून्य संरचना प्रमेय शीर्षक से प्रयोगात्मक डेटा की सूचना दी।<ref>Wu, W. T. (1987). A zero structure theorem for polynomial equations solving. MM Research Preprints, 1, 2–12</ref> इस कार्य को संदर्भ में रखने के लिए, आइए याद करें कि इस लेख के लिखे जाने के समय बीजगणितीय समुच्चय अपघटन का सामान्य विचार क्या था। | ||
K को एक बीजगणितीय रूप से बंद क्षेत्र होने दें और | K को एक बीजगणितीय रूप से बंद क्षेत्र होने दें और K का एक उपक्षेत्र हो। एक उपसमुच्चय V ⊂ Kn k पर एक बीजगणितीय विविधता है यदि एक बहुपद समुच्चय F ⊂ k[x1, ..., xn] उपस्थित है जैसे कि शून्य समुच्चय V(F) ⊂ F का Kn V के बराबर है। | ||
याद रखें कि V को | याद रखें कि V को अलघुकरणीय कहा जाता है यदि सभी बीजगणितीय किस्मों के लिए V1, V2 ⊂ Kn संबंध V = V1 ∪ V2 या तो V = V1 या V = V2 को दर्शाता है पहला बीजगणितीय विविधता अपघटन परिणाम प्रसिद्ध लस्कर-नोथेर प्रमेय है जिसका अर्थ निम्नलिखित है। | ||
: प्रमेय लास्कर - नोथेर प्रत्येक बीजगणितीय किस्म V ⊂ Kn के लिए सूक्ष्म रूप से कई अलघुकरणीय बीजगणितीय किस्में V1, ..., Ve ⊂ Kn मौजूद हैं जैसे कि हमारे पास है | : प्रमेय लास्कर - नोथेर प्रत्येक बीजगणितीय किस्म V ⊂ Kn के लिए सूक्ष्म रूप से कई अलघुकरणीय बीजगणितीय किस्में V1, ..., Ve ⊂ Kn मौजूद हैं जैसे कि हमारे पास है | ||
::<math> V = V_1 \cup \cdots \cup V_e. </math> | ::<math> V = V_1 \cup \cdots \cup V_e. </math> | ||
: उपरोक्त प्रमेय में किस्मों V1, ..., Ve को V के | : उपरोक्त प्रमेय में किस्मों V1, ..., Ve को V के अलघुकरणीय घटक कहा जाता है और इसे अपघटन कलन विधि के लिए एक प्राकृतिक आउटपुट के रूप में माना जा सकता है, या, दूसरे शब्दों में, k में समीकरणों की एक प्रणाली को हल करने वाले कलन विधि के लिए ''x''<sub>1</sub>, ..., ''x<sub>n</sub>''एक कंप्यूटर प्रोग्राम का नेतृत्व करने के लिए, इस कलन विधि विनिर्देश को निर्धारित करना चाहिए कि लघुकरणीय घटकों का प्रतिनिधित्व कैसे किया जाता है। इस तरह के एक एन्कोडिंग जोसेफ रिट [2] द्वारा निम्नलिखित परिणाम के माध्यम से प्रस्तुत किया गया है। | ||
: प्रमेय यदि {{math|''V'' ⊂ '''K'''<sup>''n''</sup>}} एक गैर-खाली और अलघुकरणीय किस्म है तो कोई कम त्रिकोणीय समुच्चय की गणना कर सकता है {{mvar|C}} आदर्श में निहित है <math>\langle F \rangle</math> द्वारा उत्पन्न {{mvar|F}} में {{math|'''k'''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}} और ऐसा है कि सभी बहुपद {{mvar|g}} में <math>\langle F \rangle</math> छद्म-विभाजन w.r.t {{mvar|C}} द्वारा शून्य हो जाता है। | : प्रमेय यदि {{math|''V'' ⊂ '''K'''<sup>''n''</sup>}} एक गैर-खाली और अलघुकरणीय किस्म है तो कोई कम त्रिकोणीय समुच्चय की गणना कर सकता है {{mvar|C}} आदर्श में निहित है <math>\langle F \rangle</math> द्वारा उत्पन्न {{mvar|F}} में {{math|'''k'''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}} और ऐसा है कि सभी बहुपद {{mvar|g}} में <math>\langle F \rangle</math> छद्म-विभाजन w.r.t {{mvar|C}} द्वारा शून्य हो जाता है। | ||
जोसेफ रिट ने फील्ड एक्सटेंशन पर बहुपद गुणनखंडन पर आधारित बहुपद प्रणालियों को हल करने के लिए एक विधि का वर्णन किया और प्रमुख आदर्शों के विशिष्ट समुच्चय | जोसेफ रिट ने फील्ड एक्सटेंशन पर बहुपद गुणनखंडन पर आधारित बहुपद प्रणालियों को हल करने के लिए एक विधि का वर्णन किया और प्रमुख आदर्शों के विशिष्ट समुच्चय की गणना की। | ||
यद्यपि, इस पद्धति का व्यावहारिक कार्यान्वयन प्राप्त करना एक कठिन समस्या थी और बनी हुई है।1980 के दशक में, जब विशेषता समुच्चय | यद्यपि, इस पद्धति का व्यावहारिक कार्यान्वयन प्राप्त करना एक कठिन समस्या थी और बनी हुई है।1980 के दशक में, जब विशेषता समुच्चय पद्धति प्रस्तुत की गई थी, बहुपद गुणनखंडन एक सक्रिय अनुसंधान क्षेत्र था और इस विषय पर कुछ मूलभूत प्रश्न हाल ही में हल किए गए थे<ref>A. M. Steel Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic</ref>आजकल, अधिकांश अनुप्रयोग समस्याओं को संसाधित करने के लिए एक बीजगणितीय विविधता को अप्रासंगिक घटकों में विघटित करना आवश्यक नहीं है, क्योंकि अपघटन की कमजोर धारणाएं, गणना करने के लिए कम खर्चीला,पर्याप्त हैं। | ||
अभिलक्षण समुच्चय विधि रिट की प्रमेय के निम्न संस्करण पर निर्भर करती है। | अभिलक्षण समुच्चय विधि रिट की प्रमेय के निम्न संस्करण पर निर्भर करती है। | ||
: प्रमेय वेन-त्सुन वू किसी परिमित बहुपद समुच्चय के लिए {{math|''F'' ⊂ '''k'''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}}, कम त्रिकोणीय समुच्चय की गणना कर सकता है <math>C \subset \langle F \rangle</math> ऐसा है कि सभी बहुपद {{mvar|g}} में {{mvar|F}} छद्म-विभाजन w.r.t {{mvar|C}}द्वारा शून्य को कम कर देता है . | : प्रमेय वेन-त्सुन वू किसी परिमित बहुपद समुच्चय के लिए {{math|''F'' ⊂ '''k'''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}}, कम त्रिकोणीय समुच्चय की गणना कर सकता है <math>C \subset \langle F \rangle</math> ऐसा है कि सभी बहुपद {{mvar|g}} में {{mvar|F}} छद्म-विभाजन w.r.t {{mvar|C}} द्वारा शून्य को कम कर देता है . | ||
विभिन्न अवधारणाओं औरकलन विधि ने वेन-त्सुन वू के काम को आगे बढ़ाया। 1990 के दशक की प्रारंभ में, एक नियमित श्रृंखला की धारणा, स्वतंत्र रूप से 1991 में माइकल काल्कब्रेनर द्वारा अपनी पीएचडी थीसिस और लू यांग और जिंगझोंग झांग द्वारा प्रस्तुत की गई थी।<ref>Yang, L., Zhang, J. (1994). [http://www.iaea.org/inis/collection/NCLCollectionStore/_Public/22/086/22086436.pdf Searching dependency between algebraic equations: an algorithm applied to automated reasoning]. Artificial Intelligence in Mathematics, pp. 14715, Oxford University Press.</ref> महत्वपूर्ण | विभिन्न अवधारणाओं औरकलन विधि ने वेन-त्सुन वू के काम को आगे बढ़ाया। 1990 के दशक की प्रारंभ में, एक नियमित श्रृंखला की धारणा, स्वतंत्र रूप से 1991 में माइकल काल्कब्रेनर द्वारा अपनी पीएचडी थीसिस और लू यांग और जिंगझोंग झांग द्वारा प्रस्तुत की गई थी।<ref>Yang, L., Zhang, J. (1994). [http://www.iaea.org/inis/collection/NCLCollectionStore/_Public/22/086/22086436.pdf Searching dependency between algebraic equations: an algorithm applied to automated reasoning]. Artificial Intelligence in Mathematics, pp. 14715, Oxford University Press.</ref> महत्वपूर्ण कलन विधि खोजों का नेतृत्व किया। | ||
काल्कब्रेनर की दृष्टि में,<ref>M. Kalkbrener: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties. J. Symb. Comput. 15(2): 143–167 (1993)</ref> एक बीजगणितीय विविधता के अलघुकरणीय घटकों के सामान्य शून्य का प्रतिनिधित्व करने के लिए नियमित श्रृंखलाओं का उपयोग किया जाता है। यांग और झांग के मूल कार्य में, उनका उपयोग यह तय करने के लिए किया जाता है कि क्या एक हाइपरसफेस एक अर्ध-विविधता एक नियमित श्रृंखला को काटता है। नियमित शृंखलाओं में, वास्तव में, कई दिलचस्प गुण होते हैं और बीजगणितीय या अवकल समीकरणों की प्रणाली को विघटित करने के लिए कई कलन विधि में महत्वपूर्ण धारणा है। | काल्कब्रेनर की दृष्टि में,<ref>M. Kalkbrener: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties. J. Symb. Comput. 15(2): 143–167 (1993)</ref> एक बीजगणितीय विविधता के अलघुकरणीय घटकों के सामान्य शून्य का प्रतिनिधित्व करने के लिए नियमित श्रृंखलाओं का उपयोग किया जाता है। यांग और झांग के मूल कार्य में, उनका उपयोग यह तय करने के लिए किया जाता है कि क्या एक हाइपरसफेस एक अर्ध-विविधता एक नियमित श्रृंखला को काटता है। नियमित शृंखलाओं में, वास्तव में, कई दिलचस्प गुण होते हैं और बीजगणितीय या अवकल समीकरणों की प्रणाली को विघटित करने के लिए कई कलन विधि में महत्वपूर्ण धारणा है। | ||
कई पत्रों में नियमित जंजीरों की जांच की गई है।<ref>S.C. Chou and X.S. Gao. On the dimension of an arbitrary ascending chain. Chinese Bull. of Sci., 38:799--804, 1991.</ref><ref>Michael Kalkbrener. Algorithmic properties of polynomial rings. J. Symb. Comput.}, 26(5):525--581, 1998.</ref><ref>P. Aubry, D. Lazard, M. Moreno Maza. [http://www.sciencedirect.com/science/article/pii/S0747717199902699 On the theories of triangular sets]. Journal of Symbolic Computation, 28(1–2):105–124, 1999.</ref>इस विषय पर प्रचुर मात्रा में साहित्य को नियमित श्रृंखला की कई समकक्ष परिभाषाओं द्वारा समझाया जा सकता है। वास्तव मे काल्कब्रेनर का मूल सूत्रीकरण यांग और झांग से बिल्कुल अलग है। इन दो धारणाओं के बीच एक पुल, काल्कब्रेनर और यांग और झांग का दृष्टिकोण, डोंगमिंग वांग के पेपर में दिखाई देता है।<ref>D. Wang. Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation 30(2) (2000) 221–236</ref>त्रिकोणीय अपघटन प्राप्त करने के लिए विभिन्न कलन विधि | कई पत्रों में नियमित जंजीरों की जांच की गई है।<ref>S.C. Chou and X.S. Gao. On the dimension of an arbitrary ascending chain. Chinese Bull. of Sci., 38:799--804, 1991.</ref><ref>Michael Kalkbrener. Algorithmic properties of polynomial rings. J. Symb. Comput.}, 26(5):525--581, 1998.</ref><ref>P. Aubry, D. Lazard, M. Moreno Maza. [http://www.sciencedirect.com/science/article/pii/S0747717199902699 On the theories of triangular sets]. Journal of Symbolic Computation, 28(1–2):105–124, 1999.</ref>इस विषय पर प्रचुर मात्रा में साहित्य को नियमित श्रृंखला की कई समकक्ष परिभाषाओं द्वारा समझाया जा सकता है। वास्तव मे काल्कब्रेनर का मूल सूत्रीकरण यांग और झांग से बिल्कुल अलग है। इन दो धारणाओं के बीच एक पुल, काल्कब्रेनर और यांग और झांग का दृष्टिकोण, डोंगमिंग वांग के पेपर में दिखाई देता है।<ref>D. Wang. Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation 30(2) (2000) 221–236</ref>त्रिकोणीय अपघटन प्राप्त करने के लिए विभिन्न कलन विधि उपलब्ध हैं {{math|''V''(''F'')}} कालब्रेनर के अर्थ में और [[डेनियल लाजार्ड]] और वू वेनजुन वेन-त्सुन वू के अर्थ में डैनियल लाजार्ड द्वारा | ||
लेक्सत्रिकोणीय कलन विधि<ref>D. Lazard, ''Solving zero-dimensional algebraic systems''. Journal of Symbolic Computation '''13''', 1992</ref> और ट्रायड कलन विधि मार्क मोरेनो माज़ा द्वारा<ref>M. Moreno Maza: On triangular decomposition of algebraic varieties. MEGA 2000 (2000).</ref> विशेषता समुच्चय विधि के साथ मिलकर विभिन्न कंप्यूटर बीजगणित प्रणालियों में उपलब्ध हैं, जिनमें स्वयंसिद्धऔर [[मेपल (सॉफ्टवेयर)|मेपल सॉफ्टवेयर]] सम्मिलित हैं। | |||
== औपचारिक परिभाषाएँ == | == औपचारिक परिभाषाएँ == |
Revision as of 13:52, 16 March 2023
कंप्यूटर बीजगणित में, एक बहुपद प्रणाली S का त्रिकोणीय अपघटन सरल बहुपद प्रणालियों का एक समुच्चय है इस प्रकार एक बिंदु S का एक समाधान तभी संभव है यदि यह प्रणाली S1, ..., Se में से किसी एक का समाधान है।
जब इसका उद्देश्य इसके गुणांक क्षेत्र के बीजगणितीय समापन में S के समाधान समुच्चय का वर्णन करना है, तो वे सरल प्रणालियां, नियमित श्रृंखलाएं हैं। यदि बहुपद प्रणालियों के गुणांक S1, ..., Se वास्तविक संख्याएं हैं, तों वास्तविक समाधान S त्रिकोणीय अपघटन द्वारा नियमित अर्ध-बीजीय प्रणालियों में प्राप्त किया जा सकता है। दोनों ही स्थितियों में, इन सरल प्रणालियों में से प्रत्येक में त्रिकोणीय आकार और उल्लेखनीय गुण हैं, जो शब्दावली को सही स्थापित करते हैं।
इतिहास
विशेषता समुच्चय विधि पहला गुणनखंड-मुक्त कलन विधि है, जिसे एक बीजगणितीय विविधता को समान घटकों में विघटित करने के लिए प्रस्तावित किया गया था। इसके अतिरिक्त, लेखक, मिस्टर वू यू वेन ने इस पद्धति के कार्यान्वयन को महसूस किया और अपने 1987 के अग्रणी लेख में बहुपद समीकरणों को हल करने के लिए एक शून्य संरचना प्रमेय शीर्षक से प्रयोगात्मक डेटा की सूचना दी।[1] इस कार्य को संदर्भ में रखने के लिए, आइए याद करें कि इस लेख के लिखे जाने के समय बीजगणितीय समुच्चय अपघटन का सामान्य विचार क्या था।
K को एक बीजगणितीय रूप से बंद क्षेत्र होने दें और K का एक उपक्षेत्र हो। एक उपसमुच्चय V ⊂ Kn k पर एक बीजगणितीय विविधता है यदि एक बहुपद समुच्चय F ⊂ k[x1, ..., xn] उपस्थित है जैसे कि शून्य समुच्चय V(F) ⊂ F का Kn V के बराबर है।
याद रखें कि V को अलघुकरणीय कहा जाता है यदि सभी बीजगणितीय किस्मों के लिए V1, V2 ⊂ Kn संबंध V = V1 ∪ V2 या तो V = V1 या V = V2 को दर्शाता है पहला बीजगणितीय विविधता अपघटन परिणाम प्रसिद्ध लस्कर-नोथेर प्रमेय है जिसका अर्थ निम्नलिखित है।
- प्रमेय लास्कर - नोथेर प्रत्येक बीजगणितीय किस्म V ⊂ Kn के लिए सूक्ष्म रूप से कई अलघुकरणीय बीजगणितीय किस्में V1, ..., Ve ⊂ Kn मौजूद हैं जैसे कि हमारे पास है
- उपरोक्त प्रमेय में किस्मों V1, ..., Ve को V के अलघुकरणीय घटक कहा जाता है और इसे अपघटन कलन विधि के लिए एक प्राकृतिक आउटपुट के रूप में माना जा सकता है, या, दूसरे शब्दों में, k में समीकरणों की एक प्रणाली को हल करने वाले कलन विधि के लिए x1, ..., xnएक कंप्यूटर प्रोग्राम का नेतृत्व करने के लिए, इस कलन विधि विनिर्देश को निर्धारित करना चाहिए कि लघुकरणीय घटकों का प्रतिनिधित्व कैसे किया जाता है। इस तरह के एक एन्कोडिंग जोसेफ रिट [2] द्वारा निम्नलिखित परिणाम के माध्यम से प्रस्तुत किया गया है।
- प्रमेय यदि V ⊂ Kn एक गैर-खाली और अलघुकरणीय किस्म है तो कोई कम त्रिकोणीय समुच्चय की गणना कर सकता है C आदर्श में निहित है द्वारा उत्पन्न F में k[x1, ..., xn] और ऐसा है कि सभी बहुपद g में छद्म-विभाजन w.r.t C द्वारा शून्य हो जाता है।
जोसेफ रिट ने फील्ड एक्सटेंशन पर बहुपद गुणनखंडन पर आधारित बहुपद प्रणालियों को हल करने के लिए एक विधि का वर्णन किया और प्रमुख आदर्शों के विशिष्ट समुच्चय की गणना की।
यद्यपि, इस पद्धति का व्यावहारिक कार्यान्वयन प्राप्त करना एक कठिन समस्या थी और बनी हुई है।1980 के दशक में, जब विशेषता समुच्चय पद्धति प्रस्तुत की गई थी, बहुपद गुणनखंडन एक सक्रिय अनुसंधान क्षेत्र था और इस विषय पर कुछ मूलभूत प्रश्न हाल ही में हल किए गए थे[2]आजकल, अधिकांश अनुप्रयोग समस्याओं को संसाधित करने के लिए एक बीजगणितीय विविधता को अप्रासंगिक घटकों में विघटित करना आवश्यक नहीं है, क्योंकि अपघटन की कमजोर धारणाएं, गणना करने के लिए कम खर्चीला,पर्याप्त हैं।
अभिलक्षण समुच्चय विधि रिट की प्रमेय के निम्न संस्करण पर निर्भर करती है।
- प्रमेय वेन-त्सुन वू किसी परिमित बहुपद समुच्चय के लिए F ⊂ k[x1, ..., xn], कम त्रिकोणीय समुच्चय की गणना कर सकता है ऐसा है कि सभी बहुपद g में F छद्म-विभाजन w.r.t C द्वारा शून्य को कम कर देता है .
विभिन्न अवधारणाओं औरकलन विधि ने वेन-त्सुन वू के काम को आगे बढ़ाया। 1990 के दशक की प्रारंभ में, एक नियमित श्रृंखला की धारणा, स्वतंत्र रूप से 1991 में माइकल काल्कब्रेनर द्वारा अपनी पीएचडी थीसिस और लू यांग और जिंगझोंग झांग द्वारा प्रस्तुत की गई थी।[3] महत्वपूर्ण कलन विधि खोजों का नेतृत्व किया।
काल्कब्रेनर की दृष्टि में,[4] एक बीजगणितीय विविधता के अलघुकरणीय घटकों के सामान्य शून्य का प्रतिनिधित्व करने के लिए नियमित श्रृंखलाओं का उपयोग किया जाता है। यांग और झांग के मूल कार्य में, उनका उपयोग यह तय करने के लिए किया जाता है कि क्या एक हाइपरसफेस एक अर्ध-विविधता एक नियमित श्रृंखला को काटता है। नियमित शृंखलाओं में, वास्तव में, कई दिलचस्प गुण होते हैं और बीजगणितीय या अवकल समीकरणों की प्रणाली को विघटित करने के लिए कई कलन विधि में महत्वपूर्ण धारणा है।
कई पत्रों में नियमित जंजीरों की जांच की गई है।[5][6][7]इस विषय पर प्रचुर मात्रा में साहित्य को नियमित श्रृंखला की कई समकक्ष परिभाषाओं द्वारा समझाया जा सकता है। वास्तव मे काल्कब्रेनर का मूल सूत्रीकरण यांग और झांग से बिल्कुल अलग है। इन दो धारणाओं के बीच एक पुल, काल्कब्रेनर और यांग और झांग का दृष्टिकोण, डोंगमिंग वांग के पेपर में दिखाई देता है।[8]त्रिकोणीय अपघटन प्राप्त करने के लिए विभिन्न कलन विधि उपलब्ध हैं V(F) कालब्रेनर के अर्थ में और डेनियल लाजार्ड और वू वेनजुन वेन-त्सुन वू के अर्थ में डैनियल लाजार्ड द्वारा
लेक्सत्रिकोणीय कलन विधि[9] और ट्रायड कलन विधि मार्क मोरेनो माज़ा द्वारा[10] विशेषता समुच्चय विधि के साथ मिलकर विभिन्न कंप्यूटर बीजगणित प्रणालियों में उपलब्ध हैं, जिनमें स्वयंसिद्धऔर मेपल सॉफ्टवेयर सम्मिलित हैं।
औपचारिक परिभाषाएँ
मान लीजिए कि k एक क्षेत्र है और x1 <... < xn क्रमबद्ध चर हैं। हम संगत बहुपद वलय को R = k[x1, ..., xn] से निरूपित करते हैं। एफ ⊂ आर के लिए, बहुपद समीकरणों की एक प्रणाली के रूप में माना जाता है,k बीजगणितीय समापन पर त्रिकोणीय अपघटन के दो विचार हैं। कल्ब्रेनर के तथाकथित अर्थ में बीजगणितीय समुच्चय वी (एफ) के केवल सामान्य बिंदुओं का प्रतिनिधित्व करके, निरुद्योग रूप से विघटित करना पड़ता है।
दूसरा स्पष्ट रूप से सभी बिंदुओं का वर्णन करना है V(F) डैनियल लाजार्ड और वू वेनजुन वेन-सुन वू के तथाकथित अर्थ में।
दोनों ही स्थितियों में T1, ..., Te निश्चित रूप से कई नियमित श्रृंखलाएं हैं R और के संतृप्त आदर्श के मूलांक को दर्शाता है जबकि W(Ti) के अर्ध-घटक को दर्शाता है Ti. कृपया इन धारणाओं की परिभाषा के लिए नियमित श्रृंखला देखें।
अभी से मान लीजिए k एक वास्तविक बंद क्षेत्र है। विचार करना S बहुपदों के साथ एक अर्ध-बीजगणितीय प्रणाली R. वहां है[11] निश्चित रूप से कई नियमित अर्ध-बीजगणितीय प्रणालियाँ S1, ..., Se ऐसा कि हमारे पास है
कहाँ Zk(S) के बिंदुओं को दर्शाता है kn जो हल करता है S. नियमित अर्ध-बीजीय प्रणाली S1, ..., Se अर्ध-बीजगणितीय प्रणाली का त्रिकोणीय अपघटन बनाते हैं S.
उदाहरण
निरूपित Q परिमेय संख्या क्षेत्र। में परिवर्तनीय क्रम के साथ , निम्नलिखित बहुपद प्रणाली पर विचार करें:
मेपल (सॉफ्टवेयर) कोड के अनुसार:
with(RegularChains):
R := PolynomialRing([x, y, z]):
sys := {x^2+y+z-1, x+y^2+z-1, x+y+z^2-1}:
l := Triangularize(sys, R):
map(Equations, l, R);
के समाधान समुच्चय का एक संभावित त्रिकोणीय अपघटन S RegularChains लाइब्रेरी का उपयोग करने के साथ है:
यह भी देखें
- वू की विशेषता समुच्चय की विधि
- नियमित श्रृंखला
- नियमित अर्ध-बीजगणितीय प्रणाली
संदर्भ
- ↑ Wu, W. T. (1987). A zero structure theorem for polynomial equations solving. MM Research Preprints, 1, 2–12
- ↑ A. M. Steel Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic
- ↑ Yang, L., Zhang, J. (1994). Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Artificial Intelligence in Mathematics, pp. 14715, Oxford University Press.
- ↑ M. Kalkbrener: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties. J. Symb. Comput. 15(2): 143–167 (1993)
- ↑ S.C. Chou and X.S. Gao. On the dimension of an arbitrary ascending chain. Chinese Bull. of Sci., 38:799--804, 1991.
- ↑ Michael Kalkbrener. Algorithmic properties of polynomial rings. J. Symb. Comput.}, 26(5):525--581, 1998.
- ↑ P. Aubry, D. Lazard, M. Moreno Maza. On the theories of triangular sets. Journal of Symbolic Computation, 28(1–2):105–124, 1999.
- ↑ D. Wang. Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation 30(2) (2000) 221–236
- ↑ D. Lazard, Solving zero-dimensional algebraic systems. Journal of Symbolic Computation 13, 1992
- ↑ M. Moreno Maza: On triangular decomposition of algebraic varieties. MEGA 2000 (2000).
- ↑ Changbo Chen, James H. Davenport, John P. May, Marc Moreno-Maza, Bican Xia, Rong Xiao. Triangular decomposition of semi-algebraic systems. Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), ACM Press, pp. 187--194, 2010.