635 	__isl_take isl_basic_set *bset, __isl_give isl_mat **T,  in return_with_identity()  argument
641 	dim = isl_basic_set_dim(bset, isl_dim_set);  in return_with_identity()
643 		return isl_basic_set_free(bset);  in return_with_identity()
645 		return bset;  in return_with_identity()
647 	id = isl_mat_identity(isl_basic_map_get_ctx(bset), 1 + dim);  in return_with_identity()
654 	return bset;  in return_with_identity()
665 	__isl_take isl_basic_set *bset,  in compress_variables()  argument
675 	if (isl_basic_set_check_no_params(bset) < 0 ||  in compress_variables()
676 	    isl_basic_set_check_no_locals(bset) < 0)  in compress_variables()
677 		return isl_basic_set_free(bset);  in compress_variables()
678 	dim = isl_basic_set_dim(bset, isl_dim_set);  in compress_variables()
680 		return isl_basic_set_free(bset);  in compress_variables()
681 	isl_assert(bset->ctx, bset->n_eq <= dim, goto error);  in compress_variables()
682 	if (bset->n_eq == 0)  in compress_variables()
683 		return return_with_identity(bset, T, T2);  in compress_variables()
685 	B = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 0, 1 + dim);  in compress_variables()
695 		bset = isl_basic_set_set_to_empty(bset);  in compress_variables()
696 		return return_with_identity(bset, T, T2);  in compress_variables()
699 	bset = isl_basic_set_preimage(bset, T ? isl_mat_copy(TC) : TC);  in compress_variables()
702 	return bset;  in compress_variables()
704 	isl_basic_set_free(bset);  in compress_variables()
709 	__isl_take isl_basic_set *bset, __isl_give isl_mat **T,  in isl_basic_set_remove_equalities()  argument
716 	if (isl_basic_set_check_no_params(bset) < 0)  in isl_basic_set_remove_equalities()
717 		return isl_basic_set_free(bset);  in isl_basic_set_remove_equalities()
718 	bset = isl_basic_set_gauss(bset, NULL);  in isl_basic_set_remove_equalities()
719 	if (ISL_F_ISSET(bset, ISL_BASIC_SET_EMPTY))  in isl_basic_set_remove_equalities()
720 		return return_with_identity(bset, T, T2);  in isl_basic_set_remove_equalities()
721 	bset = compress_variables(bset, T, T2);  in isl_basic_set_remove_equalities()
722 	return bset;  in isl_basic_set_remove_equalities()
734 isl_stat isl_basic_set_dim_residue_class(__isl_keep isl_basic_set *bset,  in isl_basic_set_dim_residue_class()  argument
743 	if (!bset || !modulo || !residue)  in isl_basic_set_dim_residue_class()
746 	fixed = isl_basic_set_plain_dim_is_fixed(bset, pos, residue);  in isl_basic_set_dim_residue_class()
754 	ctx = isl_basic_set_get_ctx(bset);  in isl_basic_set_dim_residue_class()
755 	total = isl_basic_set_dim(bset, isl_dim_all);  in isl_basic_set_dim_residue_class()
756 	nparam = isl_basic_set_dim(bset, isl_dim_param);  in isl_basic_set_dim_residue_class()
759 	H = isl_mat_sub_alloc6(ctx, bset->eq, 0, bset->n_eq, 1, total);  in isl_basic_set_dim_residue_class()
764 	isl_seq_gcd(U->row[nparam + pos]+bset->n_eq,  in isl_basic_set_dim_residue_class()
765 			total-bset->n_eq, modulo);  in isl_basic_set_dim_residue_class()
775 	C = isl_mat_alloc(ctx, 1 + bset->n_eq, 1);  in isl_basic_set_dim_residue_class()
779 	isl_mat_sub_neg(ctx, C->row + 1, bset->eq, bset->n_eq, 0, 0, 1);  in isl_basic_set_dim_residue_class()
784 	U1 = isl_mat_sub_alloc(U, nparam+pos, 1, 0, bset->n_eq);  in isl_basic_set_dim_residue_class()
791 		bset = isl_basic_set_copy(bset);  in isl_basic_set_dim_residue_class()
792 		bset = isl_basic_set_set_to_empty(bset);  in isl_basic_set_dim_residue_class()
793 		isl_basic_set_free(bset);  in isl_basic_set_dim_residue_class()