Discrete Comprehensive Grobner Bases と計算比較

摘要

Sato, Suzuki, Nabeshima によって提示された，ACGB on Varietiesの理論をもとにしたdiscrete comprechensive Grobner Basesアルゴリズムで得られるVon Neumann regular ring 上のGrobner basisと，通常の体上のGrobner basis は Sato によるStability of Grobner bases の理論により同一視することができるが，それらを得るための計算の方法が異なるため，それぞれの方旗で計算を行い，それぞれの速度の比較を行った．