×

不变G2V.mpl

swMATH ID: 46191
软件作者: 阿米尔·哈希米;M.Alizadeh,Benyamin;莫尼雷·里亚希
描述: IInvariantF5.mpl:用于计算SAGBI Grobner基的不变F5算法的Maple实现。Faugère和Rahmany提出了计算不变环理想的SAGBI-Gröbner基的不变F5算法。该算法具有增量结构,基于F5算法的矩阵版本,使用F5准则去除部分无用约简。尽管该算法比类似Buchberger的算法效率更高,但它并没有使用所有现有的标准(对于增量结构)来检测多余的约简。本文考虑了一种新的算法,即不变G 2 V算法,用更多的准则计算不变环理想的SAGBI-Gröbner基;计算Gröbner基的F5算法的变体。我们在Maple中实现了我们的新算法,并通过一些示例对该算法与不变F5算法的性能进行了实验比较。
主页: https://amirhashemi.iut.ac.ir/software网站
依赖项: 枫树
关键词: \(\mathrm G^2\mathrm V)算法;不变量\(\mathrm F_5\)算法;不变量\(\mathrm G^2\mathrm V)算法;SAGBI-Gröbner基地
相关软件: 我重写了.mpl;F5C型;枫树
引用于: 1文件

按年份列出的引文