向量化下标追踪法的工程实现

在文献[1]的基础上,本文介绍下标追踪法工程实现中的若干技术,核心内容是层次片断定理。该定理给出追踪区间的确定方法和公式,实际上解决了坐标方法未能解决的整数环上受限二元一次方程的求解问题。在那里,添加同名数组下标表达式一次项系数全同的条件回避掉这个问题。 层次片断定理突破了下标追踪法工程化的难关,并且进一步放宽对于赋值语句循环的限制,达到只要求步长和线性下标表达式系数编译时可计值的程度。