仿射锥中有限补集子单半群的计算方法

设 $\mathcal{C}\subseteq \mathbb{N}^p$ 为一个整数锥。$\mathcal{C}$-半群 $S\subseteq \mathcal{C}$ 是满足 $\mathcal{C}\setminus S$ 为有限集的仿射半群。此类 $\mathcal{C}$-半群是我们研究的核心。我们发展了新的算法，用于计算具有指定不变式的 $\mathcal{C}$-半群，包括 genus、Frobenius 元素以及它们的组合等不变式。为此，我们引入了一种新的 $\mathcal{C}$-半群 类，称为 $\mathcal{B}$-半群。通过固定序贯顺序，我们还研究了普通和多嵌入 $\mathbb{N}^2$-半群的嵌入维数。这些结果用于测试 Wilf 猜想的一些推广。