Tôi đã thử dùng phần mềm SINGULAR của G-M. Greuel, G. Pfister và H. Schoenemann. Những đa thức bậc nhỏ thì phần mềm xử lý tốt nhưng khi đến cỡ như thế này thì không xử lý nổi nữa:
Xét trường K với 256 phần tử, vành K[x,y,u,v]. Cho cặp đa thức
p(x) = x(1+x^9+x^27), q(x) = x(1+x^3+x^9)^3. Gọi I là ideal sinh bởi cặp đa thức u + p(x) + q(y) và v + q(x) + p(y). Tìm cơ sở Groebner tối giản của I.
Xin cảm ơn nhiều.
Bài viết đã được chỉnh sửa nội dung bởi queensland: 23-05-2005 - 01:37