روش محاسبه الگوريتمي پايه‌هاي گروبنر

Algorithmic For Computing Grobner Bases

براي محاسبه پايه هاي گروبنر به كمك الگوريتم بوخبرگر، وقتي كه ضرايب گويا باشند، رشد ضرايب متغيرها با مشكل مواجه مي شود. يكي از روش هاي پيشنهادي براي حل اين مشكل استفاده از روش هاي پي‐اديك و پيمانه اي است كه براي محدود كردن رشد ضرايب متغيرها به كار مي روند. اين روش ها بر مبناي بزرگترين مقسوم عليه مشترك پيمانه اي تعميم داده مي شوند كه محاسبه پايه هاي گروبنر را بهبود مي بخشند. اين الگوريتم ها اعداد اول را قبل از ترفيع بررسي كرده، سپس از الگوريتمي براي بررسي درست بودن نتيجه استفاده مي كنند، همچنين مشخصات كاملي از اعداد اول بد شانس نيز ارايه مي دهند.