104 		fold->qp[i] = isl_qpolynomial_reset_domain_space(fold->qp[i],  in isl_qpolynomial_fold_reset_domain_space()
106 		if (!fold->qp[i])  in isl_qpolynomial_fold_reset_domain_space()
143 		int involves = isl_qpolynomial_involves_dims(fold->qp[i],  in isl_qpolynomial_fold_involves_dims()
165 		fold->qp[i] = isl_qpolynomial_set_dim_name(fold->qp[i],  in isl_qpolynomial_fold_set_dim_name()
167 		if (!fold->qp[i])  in isl_qpolynomial_fold_set_dim_name()
209 		fold->qp[i] = isl_qpolynomial_drop_dims(fold->qp[i],  in isl_qpolynomial_fold_drop_dims()
211 		if (!fold->qp[i])  in isl_qpolynomial_fold_drop_dims()
240 		fold->qp[i] = isl_qpolynomial_insert_dims(fold->qp[i],  in isl_qpolynomial_fold_insert_dims()
242 		if (!fold->qp[i])  in isl_qpolynomial_fold_insert_dims()
262 static int isl_qpolynomial_cst_sign(__isl_keep isl_qpolynomial *qp)  in isl_qpolynomial_cst_sign()  argument
266 	if (isl_qpolynomial_is_nan(qp))  in isl_qpolynomial_cst_sign()
269 	cst = isl_poly_as_cst(qp->poly);  in isl_qpolynomial_cst_sign()
277 	__isl_keep isl_qpolynomial *qp)  in isl_qpolynomial_aff_sign()  argument
284 	aff = isl_qpolynomial_extract_affine(qp);  in isl_qpolynomial_aff_sign()
332 	__isl_keep isl_qpolynomial *qp)  in isl_qpolynomial_sign()  argument
343 	is = isl_qpolynomial_is_cst(qp, NULL, NULL);  in isl_qpolynomial_sign()
347 		return isl_qpolynomial_cst_sign(qp);  in isl_qpolynomial_sign()
349 	is = isl_qpolynomial_is_affine(qp);  in isl_qpolynomial_sign()
353 		return isl_qpolynomial_aff_sign(set, qp);  in isl_qpolynomial_sign()
355 	if (qp->div->n_row > 0)  in isl_qpolynomial_sign()
358 	rec = isl_poly_as_rec(qp->poly);  in isl_qpolynomial_sign()
362 	d = isl_space_dim(qp->dim, isl_dim_all);  in isl_qpolynomial_sign()
371 	isl_int_set_si(v->el[2 + qp->poly->var], 1);  in isl_qpolynomial_sign()
382 		min = isl_qpolynomial_cst_on_domain(isl_space_copy(qp->dim), l);  in isl_qpolynomial_sign()
383 		base = isl_qpolynomial_var_pow_on_domain(isl_space_copy(qp->dim),  in isl_qpolynomial_sign()
384 						qp->poly->var, 1);  in isl_qpolynomial_sign()
386 		r = isl_qpolynomial_alloc(isl_space_copy(qp->dim), 0,  in isl_qpolynomial_sign()
392 			t = isl_qpolynomial_alloc(isl_space_copy(qp->dim), 0,  in isl_qpolynomial_sign()
471 		res->qp[res->n] = isl_qpolynomial_copy(fold1->qp[i]);  in isl_qpolynomial_fold_fold_on_domain()
472 		if (!res->qp[res->n])  in isl_qpolynomial_fold_fold_on_domain()
482 			equal = isl_qpolynomial_plain_is_equal(res->qp[j],  in isl_qpolynomial_fold_fold_on_domain()
483 								fold2->qp[i]);  in isl_qpolynomial_fold_fold_on_domain()
489 				isl_qpolynomial_copy(res->qp[j]),  in isl_qpolynomial_fold_fold_on_domain()
490 				isl_qpolynomial_copy(fold2->qp[i]));  in isl_qpolynomial_fold_fold_on_domain()
497 			isl_qpolynomial_free(res->qp[j]);  in isl_qpolynomial_fold_fold_on_domain()
499 				res->qp[j] = res->qp[n1 - 1];  in isl_qpolynomial_fold_fold_on_domain()
502 				res->qp[n1] = res->qp[res->n - 1];  in isl_qpolynomial_fold_fold_on_domain()
507 		res->qp[res->n] = isl_qpolynomial_copy(fold2->qp[i]);  in isl_qpolynomial_fold_fold_on_domain()
508 		if (!res->qp[res->n])  in isl_qpolynomial_fold_fold_on_domain()
525 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_qpolynomial *qp)  in isl_qpolynomial_fold_add_qpolynomial()  argument
529 	if (!fold || !qp)  in isl_qpolynomial_fold_add_qpolynomial()
532 	if (isl_qpolynomial_is_zero(qp)) {  in isl_qpolynomial_fold_add_qpolynomial()
533 		isl_qpolynomial_free(qp);  in isl_qpolynomial_fold_add_qpolynomial()
542 		fold->qp[i] = isl_qpolynomial_add(fold->qp[i],  in isl_qpolynomial_fold_add_qpolynomial()
543 						isl_qpolynomial_copy(qp));  in isl_qpolynomial_fold_add_qpolynomial()
544 		if (!fold->qp[i])  in isl_qpolynomial_fold_add_qpolynomial()
548 	isl_qpolynomial_free(qp);  in isl_qpolynomial_fold_add_qpolynomial()
552 	isl_qpolynomial_free(qp);  in isl_qpolynomial_fold_add_qpolynomial()
582 					isl_qpolynomial_copy(fold2->qp[0]));  in isl_qpolynomial_fold_add_on_domain()
589 				isl_qpolynomial_copy(fold2->qp[0]));  in isl_qpolynomial_fold_add_on_domain()
595 					isl_qpolynomial_copy(fold2->qp[i]));  in isl_qpolynomial_fold_add_on_domain()
622 		fold->qp[i] = isl_qpolynomial_substitute_equalities(fold->qp[i],  in isl_qpolynomial_fold_substitute_equalities()
624 		if (!fold->qp[i])  in isl_qpolynomial_fold_substitute_equalities()
649 		fold->qp[i] = isl_qpolynomial_gist(fold->qp[i],  in isl_qpolynomial_fold_gist()
651 		if (!fold->qp[i])  in isl_qpolynomial_fold_gist()
725 	enum isl_fold type, __isl_take isl_qpolynomial *qp)  in isl_qpolynomial_fold_alloc()  argument
729 	if (!qp)  in isl_qpolynomial_fold_alloc()
732 	fold = qpolynomial_fold_alloc(type, isl_space_copy(qp->dim), 1);  in isl_qpolynomial_fold_alloc()
736 	fold->qp[0] = qp;  in isl_qpolynomial_fold_alloc()
742 	isl_qpolynomial_free(qp);  in isl_qpolynomial_fold_alloc()
771 		dup->qp[i] = isl_qpolynomial_copy(fold->qp[i]);  in isl_qpolynomial_fold_dup()
772 		if (!dup->qp[i])  in isl_qpolynomial_fold_dup()
805 		isl_qpolynomial_free(fold->qp[i]);  in isl_qpolynomial_fold_free()
828 	return isl_qpolynomial_is_nan(fold->qp[0]);  in isl_qpolynomial_fold_is_nan()
861 		res->qp[res->n] = isl_qpolynomial_copy(fold1->qp[i]);  in isl_qpolynomial_fold_fold()
862 		if (!res->qp[res->n])  in isl_qpolynomial_fold_fold()
868 		res->qp[res->n] = isl_qpolynomial_copy(fold2->qp[i]);  in isl_qpolynomial_fold_fold()
869 		if (!res->qp[res->n])  in isl_qpolynomial_fold_fold()
1040 				isl_qpolynomial_copy(pwqp->p[i].qp)));  in isl_pw_qpolynomial_fold_from_pw_qpolynomial()
1077 		cmp = isl_qpolynomial_plain_cmp(fold1->qp[i], fold2->qp[i]);  in isl_qpolynomial_fold_plain_cmp()
1098 		int eq = isl_qpolynomial_plain_is_equal(fold1->qp[i], fold2->qp[i]);  in isl_qpolynomial_fold_plain_is_equal()
1124 		v = isl_qpolynomial_eval(isl_qpolynomial_copy(fold->qp[0]),  in isl_qpolynomial_fold_eval()
1129 					    isl_qpolynomial_copy(fold->qp[i]),  in isl_qpolynomial_fold_eval()
1174 	opt = isl_qpolynomial_opt_on_domain(isl_qpolynomial_copy(fold->qp[0]),  in isl_qpolynomial_fold_opt_on_domain()
1179 				isl_qpolynomial_copy(fold->qp[i]),  in isl_qpolynomial_fold_opt_on_domain()
1218 				isl_qpolynomial_copy(fold1->qp[j]),  in qpolynomial_fold_covers_on_domain()
1219 				isl_qpolynomial_copy(fold2->qp[i]));  in qpolynomial_fold_covers_on_domain()
1309 		fold->qp[i] = isl_qpolynomial_morph_domain(fold->qp[i],  in isl_qpolynomial_fold_morph_domain()
1311 		if (!fold->qp[i])  in isl_qpolynomial_fold_morph_domain()
1372 		fold->qp[i] = isl_qpolynomial_lift(fold->qp[i],  in isl_qpolynomial_fold_lift()
1374 		if (!fold->qp[i])  in isl_qpolynomial_fold_lift()
1389 	isl_stat (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user)  in isl_qpolynomial_fold_foreach_qpolynomial()  argument
1397 		if (fn(isl_qpolynomial_copy(fold->qp[i]), user) < 0)  in isl_qpolynomial_fold_foreach_qpolynomial()
1427 		fold->qp[i] = isl_qpolynomial_move_dims(fold->qp[i],  in isl_qpolynomial_fold_move_dims()
1429 		if (!fold->qp[i])  in isl_qpolynomial_fold_move_dims()
1457 		fold->qp[i] = isl_qpolynomial_substitute(fold->qp[i],  in isl_qpolynomial_fold_substitute()
1459 		if (!fold->qp[i])  in isl_qpolynomial_fold_substitute()
1700 		fold->qp[i] = isl_qpolynomial_realign_domain(fold->qp[i],  in isl_qpolynomial_fold_realign_domain()
1702 		if (!fold->qp[i])  in isl_qpolynomial_fold_realign_domain()
1740 		fold->qp[i] = isl_qpolynomial_mul_isl_int(fold->qp[i], v);  in isl_qpolynomial_fold_mul_isl_int()
1741 		if (!fold->qp[i])  in isl_qpolynomial_fold_mul_isl_int()
1790 		fold->qp[i] = isl_qpolynomial_scale_val(fold->qp[i],  in isl_qpolynomial_fold_scale_val()
1792 		if (!fold->qp[i])  in isl_qpolynomial_fold_scale_val()