GVW algorithm is very important and effective in the theory and the calculation of Gr¨obner basis. In this paper, a new S-polynomial is introduced, and the “top - reduction” is used in the GVW algorithm to reduce the new S-polynomial. Then a new algorithm is given, which can be used to compute simultaneously the Gr¨obner basis for the ideal generated by the polynomials and the Gr¨obner basis for the leading terms of the syzygy module of the polynomial, and some interesting results are obtained.
LIU Jinwang ,ZHENG Licui.
A NEW ALGORITHM OF S-POLYNOMIAL. Journal of Systems Science and Mathematical Sciences, 2012, 32(8): 950-956 https://doi.org/10.12341/jssms11969