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