History isl-0.14/isl_polynomial_private.h