枫软件中的Sub-CAD实现
摘要：代数圆柱分解（CAD）是研究半代数集的重要工具，应用于代数几何学和其他领域。我们之前在Maple中实现了CAD，并提供了Collins的原始投影和升降算法以及后续的改进。 在本文中，我们报告了一些新功能：具体来说，我们能够构建圆柱代数子分解（sub-CADs），其中只返回特定的细胞。我们已经实现了一些算法，可以返回一个或多个指定维度或更高维度的细胞（分层{scad}），以及根据给定的多项式返回仅具有零根的细胞（variety {scad}）。这些算法大大节省了输出大小和计算时间。 所描述的代码以及展示该软件包完整功能的Maple示例工作表/ PDF文件可在http://opus.bath.ac.uk/43911/上免费获取。
作者：Matthew England and David Wilson
论文ID：1503.06599
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-03-24