6
Tôi đang tìm kiếm một thư viện hay đại số máy tính hệ thống mà sẽ giúp các hoạt động tính toán trên đa thức trong vòngthư viện để tính toán k-đại số affine?
F_2[x_1, ..., x_n]/<f^2 - f>
nơi F_2 là 2 yếu tố trường hữu hạn, và <f^2 - f> là lý tưởng được tạo ra từ các yếu tố f^2 - f cho tất cả f trong F_2[...]. (Tôi nghĩ/hy vọng/am khá chắc chắn đây là vòng đại số boolean sử dụng xor là + và và là * [wikipedia]).
Ví dụ,
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"
Tôi đã viết mã cho này trong Haskell, nhưng tiếc là hiệu suất không phải là rất tốt.
Lưu ý: tiêu đề "affine k-algebra" xuất phát từ Đại số giao hoán của Eisenbud với dạng xem Hướng tới cuốn Hình học đại số p. 35; nếu có một tên tốt hơn, vui lòng chỉnh sửa câu hỏi, cảm ơn!