fixed a StdPoly.isSameTerm() bug