The Chen-Reed-Helleseth-Truong Decoding Algorithm and the Gianni-Kalkbrenner Groebner Shape Theorem