某些单项理想的协同学支持 variety

在 Briggs、Grifo 和 Pollitz arXiv:2506.10827 的工作基础上，我们给出两个协同学支持 variety 的示例，这些 variety 均非线性子空间的并集。我们提供了一种用于计算某些其他单项理想协同学支持 variety 的程序——包括具有齐次生成器的理想——并通过改进的计算效率，导致对存在第三个非线性子空间并集的协同学支持 variety 的单项理想的计算机辅助验证，以及对具有 6 个生成器的齐次单项理想在 $\mathbb{Q}$ 上协同学支持 variety 分类的计算机辅助证明。