F5C: 一种使用约化格罗布纳基的Faugère F5算法变体
交换代数
2011-05-19 v6 代数几何
摘要
Faugère的F5算法通过计算一系列（非约化的）格罗布纳基来增量式地计算一个格罗布纳基。作者描述了F5的一种变体，称为F5C，该变体将每个中间格罗布纳基替换为其约化格罗布纳基。因此，F5C考虑的多元多项式更少，执行的多元多项式约化也显著减少，从而能更快地终止。我们还给出了Faugère关于格罗布纳基的刻画定理的一个推广。
引用
@article{arxiv.0906.2967,
title = {F5C: a variant of Faugere's F5 algorithm with reduced Groebner bases},
author = {Christian Eder and John Perry},
journal= {arXiv preprint arXiv:0906.2967},
year = {2011}
}
备注
31 pages, 4 tables; updated proof of characterization theorem