math - 用Macaulay 2中的多项式除以理想的所有元素？

Question

在理想商的计算基础上（Ideal, Varities, and Algorithms p.197, 3rd edition），需要用多项式来划分理想。你怎么能在麦考利2中做到这一点？

Answer 1

感谢 Emanuele，他会使用下面的替换命令。对于诸如计算商理想之类的算法，请注意每个项必须能被 x 整除，就像示例一样。