isl_int_init(ctx->negone);
isl_int_set_si(ctx->negone, -1);
+ isl_int_init(ctx->normalize_gcd);
+
ctx->n_cached = 0;
#ifdef ISL_POLYLIB
isl_blk_clear_cache(ctx);
isl_int_clear(ctx->one);
isl_int_clear(ctx->negone);
+ isl_int_clear(ctx->normalize_gcd);
free(ctx->stats);
free(ctx);
}