نشریه علوم ریاضی و انفورماتیک

‏‎در این مقاله نسخه پارامتری الگوریتم  F4 فوژر را طراحی می­کنیم و در ادامه آن­را  PF4 می­نامیم. این الگوریتم را می­توان به عنوان تعمیم الگوریتم  F4 در حلقه چندجمله­ای­ها با ضرایب پارامتری در نظر گرفت. ساختار الگوریتم  PF4 بر پایه  الگوریتم  F4، الگوریتم  DisPGB  مونتس و تکنیک­های جبر خطی پارامتری توسیع داده شده توسط نویسنده ها ارائه شده است. ورودی الگوریتم PF4  یک ایده­ال چندجمله­ای پارامتری به همراه دو ترتیب تک جمله­ای روی متغیرها و پارامترها و خروجی آن یک دستگاه گربنر ایده­ال ورودی  نسبت به ترتیب حاصل­ضربی است. تمامی الگوریتم‌های موجود در این مقاله در نرم‌ ‎افزار میپل‏ اجرا شده‌اند و عملکرد آن‌ها با اجرای چند مثال بررسی شده است. نتایج حاصل از این بررسی نشان می‌دهد که الگوریتم PF4 به‌طور قابل ملاحظه‌ای عملکرد بهتری نسبت به الگوریتم کاپور و مونتس دارد.