fix a bug in adt_polynomial.py