69 static __isl_give isl_space *isl_space_prefix(__isl_take isl_space *space,  in isl_space_prefix()  argument
77 	if (!space)  in isl_space_prefix()
80 	ctx = isl_space_get_ctx(space);  in isl_space_prefix()
81 	nvar = isl_space_dim(space, isl_dim_set);  in isl_space_prefix()
83 		return isl_space_free(space);  in isl_space_prefix()
89 		name = isl_space_get_dim_name(space, isl_dim_set, i);  in isl_space_prefix()
100 		space = isl_space_set_dim_name(space,  in isl_space_prefix()
105 	return space;  in isl_space_prefix()
107 	isl_space_free(space);  in isl_space_prefix()
124 static __isl_give isl_space *isl_space_coefficients(__isl_take isl_space *space)  in isl_space_coefficients()  argument
130 	nvar = isl_space_dim(space, isl_dim_set);  in isl_space_coefficients()
131 	nparam = isl_space_dim(space, isl_dim_param);  in isl_space_coefficients()
133 		return isl_space_free(space);  in isl_space_coefficients()
134 	space_param = isl_space_copy(space);  in isl_space_coefficients()
142 	space = isl_space_drop_dims(space, isl_dim_param, 0, nparam);  in isl_space_coefficients()
143 	space = isl_space_prefix(space, "c_");  in isl_space_coefficients()
144 	space = isl_space_join(isl_space_from_domain(space_param),  in isl_space_coefficients()
145 			   isl_space_from_range(space));  in isl_space_coefficients()
146 	space = isl_space_wrap(space);  in isl_space_coefficients()
147 	space = isl_space_set_tuple_name(space, isl_dim_set, "coefficients");  in isl_space_coefficients()
149 	return space;  in isl_space_coefficients()
154 static __isl_give isl_space *isl_space_unprefix(__isl_take isl_space *space,  in isl_space_unprefix()  argument
161 	n = isl_space_dim(space, type);  in isl_space_unprefix()
163 		return isl_space_free(space);  in isl_space_unprefix()
168 		name = isl_space_get_dim_name(space, type, i);  in isl_space_unprefix()
174 		space = isl_space_set_dim_name(space,  in isl_space_unprefix()
178 	return space;  in isl_space_unprefix()
194 static __isl_give isl_space *isl_space_solutions(__isl_take isl_space *space)  in isl_space_solutions()  argument
198 	space = isl_space_unwrap(space);  in isl_space_solutions()
199 	space = isl_space_drop_dims(space, isl_dim_in, 0, 1);  in isl_space_solutions()
200 	space = isl_space_unprefix(space, isl_dim_in, "c_");  in isl_space_solutions()
201 	space = isl_space_unprefix(space, isl_dim_out, "c_");  in isl_space_solutions()
202 	nparam = isl_space_dim(space, isl_dim_in);  in isl_space_solutions()
204 		return isl_space_free(space);  in isl_space_solutions()
205 	space = isl_space_move_dims(space,  in isl_space_solutions()
207 	space = isl_space_range(space);  in isl_space_solutions()
209 	return space;  in isl_space_solutions()
214 static __isl_give isl_basic_set *rational_universe(__isl_take isl_space *space)  in rational_universe()  argument
218 	bset = isl_basic_set_universe(space);  in rational_universe()
242 	isl_space *space;  in farkas()  local
251 	space = isl_space_set_alloc(ctx, 0, total + shift);  in farkas()
254 		return rational_universe(space);  in farkas()
257 	dual = isl_basic_set_alloc_space(space, bset->n_eq + bset->n_ineq,  in farkas()
680 	isl_space *space;  in construct_product()  local
697 	space = isl_space_set_alloc(ctx, 0, 1 + total);  in construct_product()
699 		return rational_universe(space);  in construct_product()
700 	product = isl_basic_set_alloc_space(space, 0, n_line, n_ray + n_vertex);  in construct_product()
769 	isl_space *space;  in isl_basic_set_coefficients_morphed_product()  local
787 	space = isl_space_map_from_set(isl_basic_set_get_space(coeff));  in isl_basic_set_coefficients_morphed_product()
788 	ma = isl_multi_aff_from_aff_mat(space, inv);  in isl_basic_set_coefficients_morphed_product()
842 	isl_space *space;  in isl_basic_set_coefficients()  local
851 	space = isl_basic_set_get_space(bset);  in isl_basic_set_coefficients()
852 	space = isl_space_coefficients(space);  in isl_basic_set_coefficients()
855 	bset = isl_basic_set_reset_space(bset, space);  in isl_basic_set_coefficients()
869 	isl_space *space;  in isl_basic_set_solutions()  local
878 	space = isl_basic_set_get_space(bset);  in isl_basic_set_solutions()
879 	space = isl_space_solutions(space);  in isl_basic_set_solutions()
882 	bset = isl_basic_set_reset_space(bset, space);  in isl_basic_set_solutions()
900 		isl_space *space = isl_set_get_space(set);  in isl_set_coefficients()  local
901 		space = isl_space_coefficients(space);  in isl_set_coefficients()
903 		return rational_universe(space);  in isl_set_coefficients()
949 		isl_space *space = isl_set_get_space(set);  in isl_set_solutions()  local
950 		space = isl_space_solutions(space);  in isl_set_solutions()
952 		return rational_universe(space);  in isl_set_solutions()