利用双理想商的有效局部化及其实现
交换代数
2020-03-03 v1 符号计算
摘要
本文提出一种多项式理想局部化的新方法，我们称之为“局部准素算法”。对于理想 和素理想 ，我们的方法在使用“双理想商” 及其变体（它们给出关于 的局部化的大量信息）检查 是否与 相关联后，计算 的一个 -准素分量。
引用
@article{arxiv.2003.00220,
title = {Effective Localization Using Double Ideal Quotient and Its Implementation},
author = {Yuki Ishihara and Kazuhiro Yokoyama},
journal= {arXiv preprint arXiv:2003.00220},
year = {2020}
}