886 	__isl_take isl_pw_qpolynomial_fold *pw1,  in isl_pw_qpolynomial_fold_fold()  argument
893 	if (!pw1 || !pw2)  in isl_pw_qpolynomial_fold_fold()
896 	isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);  in isl_pw_qpolynomial_fold_fold()
898 	if (isl_pw_qpolynomial_fold_is_zero(pw1)) {  in isl_pw_qpolynomial_fold_fold()
899 		isl_pw_qpolynomial_fold_free(pw1);  in isl_pw_qpolynomial_fold_fold()
905 		return pw1;  in isl_pw_qpolynomial_fold_fold()
908 	if (pw1->type != pw2->type)  in isl_pw_qpolynomial_fold_fold()
909 		isl_die(pw1->dim->ctx, isl_error_invalid,  in isl_pw_qpolynomial_fold_fold()
912 	n = (pw1->n + 1) * (pw2->n + 1);  in isl_pw_qpolynomial_fold_fold()
913 	res = isl_pw_qpolynomial_fold_alloc_size(isl_space_copy(pw1->dim),  in isl_pw_qpolynomial_fold_fold()
914 						pw1->type, n);  in isl_pw_qpolynomial_fold_fold()
916 	for (i = 0; i < pw1->n; ++i) {  in isl_pw_qpolynomial_fold_fold()
917 		set = isl_set_copy(pw1->p[i].set);  in isl_pw_qpolynomial_fold_fold()
923 			common = isl_set_intersect(isl_set_copy(pw1->p[i].set),  in isl_pw_qpolynomial_fold_fold()
931 			       isl_qpolynomial_fold_copy(pw1->p[i].fold),  in isl_pw_qpolynomial_fold_fold()
937 			isl_qpolynomial_fold_copy(pw1->p[i].fold));  in isl_pw_qpolynomial_fold_fold()
942 		for (i = 0; i < pw1->n; ++i)  in isl_pw_qpolynomial_fold_fold()
943 			set = isl_set_subtract(set, isl_set_copy(pw1->p[i].set));  in isl_pw_qpolynomial_fold_fold()
948 	isl_pw_qpolynomial_fold_free(pw1);  in isl_pw_qpolynomial_fold_fold()
953 	isl_pw_qpolynomial_fold_free(pw1);  in isl_pw_qpolynomial_fold_fold()