Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals

یک روش محاسباتی از کلاسهای کوهمولوژی محلی جبری با آرمانهای صفر با پارامترها همراه است. این روش محاسبه به طور خاص به ما تجزیه فضای پارامتر به ما بستگی دارد به ساختار کلاس جبری کوهنولوژی. این تجزیه به ما در خصوص خواص چند ایده آل ورودی می دهد و خروجی الگوریتم پیشنهادی به طور کامل ساختاری چندگانه ایده آل ها را توصیف می کند. یک الگوریتم برای محاسبه یک مبنای استاندارد پارامترهای یک ایده ای با ابعاد نزولی، با توجه به دستورالعمل محلی محلی دلخواه، به عنوان یک کاربرد روش محاسبات نیز توصیف می شود. الگوریتم همیشه می تواند خروجی را کاهش دهد؟ اساس استاندارد یک ایده ای که دارای یک بعدی است، حتی اگر آرمانی صفر دارای پارامتر باشد.