History isl-0.16.1/isl_polynomial_private.h