Ehrhart quasi-polynomial