This paper puts forward the method of function distance invariant, and develops an efficient normalization algorithm for indexed differentials. The algorithm allows us to determine the equivalence of indexed differentials in R_2[∂], and is mainly based on two algorithms. One is an index replacement algorithm. The other is a normalization algorithm with respect to monoterm symmetries, whose complexity is lower than known algorithms.
展开▼