reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3214 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3216 pwqp1 = isl_pw_qpolynomial_move_dims(pwqp1, isl_dim_param, 0, 3216 pwqp1 = isl_pw_qpolynomial_move_dims(pwqp1, isl_dim_param, 0, 3222 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3222 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3224 assert(isl_pw_qpolynomial_is_zero(pwqp1)); 3226 isl_pw_qpolynomial_free(pwqp1); 3230 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3233 pwqp1 = isl_pw_qpolynomial_gist(pwqp1, set); 3233 pwqp1 = isl_pw_qpolynomial_gist(pwqp1, set); 3236 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3236 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3237 equal = isl_pw_qpolynomial_is_zero(pwqp1); 3238 isl_pw_qpolynomial_free(pwqp1); 3248 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3252 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3252 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3254 assert(isl_pw_qpolynomial_is_zero(pwqp1)); 3256 isl_pw_qpolynomial_free(pwqp1); 3259 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3263 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3263 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3265 assert(isl_pw_qpolynomial_is_zero(pwqp1)); 3267 isl_pw_qpolynomial_free(pwqp1); 3270 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3272 pwqp1 = isl_pw_qpolynomial_coalesce(pwqp1); 3272 pwqp1 = isl_pw_qpolynomial_coalesce(pwqp1); 3273 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3273 pwqp1 = isl_pw_qpolynomial_sub(pwqp1, pwqp2); 3274 assert(isl_pw_qpolynomial_is_zero(pwqp1)); 3275 isl_pw_qpolynomial_free(pwqp1); 3280 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3282 pwqp1 = isl_pw_qpolynomial_intersect_domain(pwqp1, set); 3282 pwqp1 = isl_pw_qpolynomial_intersect_domain(pwqp1, set); 3283 equal = isl_pw_qpolynomial_plain_is_equal(pwqp1, pwqp2); 3284 isl_pw_qpolynomial_free(pwqp1); 3294 pwqp1 = isl_pw_qpolynomial_read_from_str(ctx, str); 3295 pwqp1 = isl_pw_qpolynomial_fix_val(pwqp1, isl_dim_set, 1, 3295 pwqp1 = isl_pw_qpolynomial_fix_val(pwqp1, isl_dim_set, 1, 3297 equal = isl_pw_qpolynomial_plain_is_equal(pwqp1, pwqp2); 3298 isl_pw_qpolynomial_free(pwqp1);