reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4357 slice = set_div_slice(isl_set_get_space(set), qp, div, v); 4360 if (!qp) 4363 total = isl_space_dim(qp->dim, isl_dim_all); 4365 for (i = div + 1; i < qp->div->n_row; ++i) { 4366 if (isl_int_is_zero(qp->div->row[i][2 + total + div])) 4368 isl_int_addmul(qp->div->row[i][1], 4369 qp->div->row[i][2 + total + div], v); 4370 isl_int_set_si(qp->div->row[i][2 + total + div], 0); 4373 cst = isl_upoly_rat_cst(qp->dim->ctx, v, qp->dim->ctx->one); 4373 cst = isl_upoly_rat_cst(qp->dim->ctx, v, qp->dim->ctx->one); 4374 qp = substitute_div(qp, div, cst); 4374 qp = substitute_div(qp, div, cst); 4376 return split_periods(set, qp, data); 4379 isl_qpolynomial_free(qp);