多射影簇的数值工具包

射影空间代数子簇的数值描述由一般线性截面给出，称为见证集。对于积射影空间的子簇（多射影簇），相应的数值描述由见证族给出，其结构更为复杂。我们基于近期工作，开发了一个对见证族进行操作的多射影簇数值处理工具包，并将该工具包用于多射影簇数值不可约分解的算法中。文中通过一系列例子说明了该工具包与分解算法。