加尼思

GANITH代数几何工具箱。我们正在建立一个通用工具来计算和可视化代数方程组的解决方案。对于这个问题和相关的子问题有不同的算法,我们将把其中的几个结合起来。我们还开发了一套新的求解技术,使用多多项式结果和任意代数集与超曲面之间的双有理映射。我们设计的工具应该是可移植的,允许快速原型化新的和现有的算法,在一个智能的混合代数和数字方法,以及真实的解决方案。复杂的解决方案也可以计算,但可视化是困难的。软件还应利用现有的任何并行硬件。总之,我们期望通过设计新的技术,融合现有的方法形成新的方法,以及比较各种方法的相对有效性来改进代数方程求解的现状。一个实现这些目标的原型系统已经建立并不断发展。它是用通用的Lisp和C编写的,运行在xwindowsystem的版本11下。该系统可移植到任何运行vanilla Common Lisp、支持xwindow系统并且至少有一个基本的Lisp/C接口的机器上。目前,它可以求解任意数量变量的两个方程组。它的示例应用包括曲线和曲面显示、曲线-曲线相交、曲面-曲面相交等。图形用户界面允许显示和操纵0D(点)、1D(曲线)或2D(曲面)解决方案。