变元个数与方程个数相同的代数系统称为方形代数系统.这是一类在实际应用中最常遇到的代数系统,我们将建立一个算法去隔离方形代数系统的实正则零点.方法 分两步,首先使用Dixon结式计算单个变元所需要满足的方程,并进行单变元的实根隔离,以获得一系列Box.第二步用伴随多项式方法检查这些Box是否包含原代数系统的实正则零点.利用Maple平台,我们实现了这个算法.大量的计算实例显示了这个方法的有效性.
方形代数系统 实正则零点 Dixon结式 伴随多项式