摘要
In this paper it is shown how to transform a regular triangular set into a normal triangular set by computing the W-characteristic set of their saturated ideal and an algorithm is proposed for decomposing any polynomial set into ?nitely many strong characteristic pairs, each of which is formed with the reduced lexicographic Gr?bner basis and the normal W-characteristic set of a characterizable ideal.
In this paper it is shown how to transform a regular triangular set into a normal triangular set by computing the W-characteristic set of their saturated ideal and an algorithm is proposed for decomposing any polynomial set into ?nitely many strong characteristic pairs, each of which is formed with the reduced lexicographic Gr?bner basis and the normal W-characteristic set of a characterizable ideal.
基金
supported partially by the National Natural Science Foundation of China under Grant Nos.11771034 and 11401018
