Polynomial ADT