remove use of ehrhartpolynom