Improved polynomial remainder sequences for Ore polynomials

توالی های باقی مانده چندجملهای حاوی نتایج میانگین الگوریتم اقلیدس است که به چندجملهایهای (غیر) تعاملی اعمال می شود. زمان اجرا الگوریتم وابسته به اندازه ضرایب باقیمانده است. راه های مختلفی برای این که این ممکن است کوچک باشد مورد مطالعه قرار گرفته است. دنباله ی فرعی حاصل از دو چند جمله ای یک دنباله باقی مانده چندجملهای است که در آن اندازه ضرایب در پرونده ی بهینه ی مطلوب است، اما هنگام دریافت ورودی از برنامه ها، ضرایب اغلب بزرگتر از ضرورت است. ما دو پیشرفت دنباله فرعی را به چندجملهایهای سنگی استخراج می کنیم و یک مرز جدید برای اندازه ضریب حداقل می یابیم. رویکرد ما همچنین اثبات جدیدی را برای نتایج در مورد جایگزین ارائه می دهد، که نقطه نظر جدیدی در مورد منشاء عوامل بیرونی ضرایب ارائه می شود.