U = isl_mat_drop_cols(ctx, U, 1, 1);
Q = isl_mat_drop_rows(ctx, Q, 1, 1);
set = isl_set_preimage(set, U);
U = isl_mat_drop_cols(ctx, U, 1, 1);
Q = isl_mat_drop_rows(ctx, Q, 1, 1);
set = isl_set_preimage(set, U);
isl_assert(set->ctx, bounds->n_row == isl_set_n_dim(set), goto error);
bounds = initial_facet_constraint(set->ctx, set, bounds);
if (!bounds)
isl_assert(set->ctx, bounds->n_row == isl_set_n_dim(set), goto error);
bounds = initial_facet_constraint(set->ctx, set, bounds);
if (!bounds)
if (isl_set_n_dim(set) == 1)
return convex_hull_1d(set->ctx, set);
if (isl_set_n_dim(set) == 1)
return convex_hull_1d(set->ctx, set);