6
मैं एक पुस्तकालय या कंप्यूटर बीजगणित प्रणाली अंगूठीएफ़िन के-बीजगणित गणना के लिए लाइब्रेरी?
F_2[x_1, ..., x_n]/<f^2 - f>
जहां F_2 में बहुआयामी पद पर गणना संचालन में मदद मिलेगी की तलाश में हूँ 2-तत्व परिमित क्षेत्र है, और <f^2 - f> के लिए तत्वों f^2 - f से उत्पन्न आदर्श है सभी fF_2[...] में। (मुझे लगता है/आशा है कि मुझे यकीन है कि यह बुलियन बीजगणित अंगूठी है जो xor को + और * [wikipedia] के रूप में उपयोग करती है)।
,
x_1 = poly_xn 1
x_2 = poly_xn 2
x_1 * x_2 * x_1 -- returns "x_1 * x_2"
x_1 + x_1 + x_2 -- returns "x_2"
मैं हास्केल में इस के लिए कोड लिखा है, लेकिन दुर्भाग्य से प्रदर्शन बहुत अच्छा नहीं है।
नोट: शीर्षक "affine k-बीजगणित" की ओर बीजीय ज्यामिति पुस्तक पी एक दृश्य के साथ Eisenbud के विनिमेय बीजगणित से आता है। 35; यदि कोई बेहतर नाम है तो कृपया प्रश्न संपादित करें, धन्यवाद!