đóng phần này của thư viện Thuật toán toán học (1)
Xem tài liệu Thuật toán F4 tính cơ sở Grobner