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
ctx->ilp_solver = ISL_ILP_GBR;
ctx->pip = ISL_PIP_TAB;
+ ctx->gbr = ISL_GBR_ONCE;
+ ctx->gbr_only_first = 0;
+
return ctx;
error:
free(ctx);
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);
}