27 	return isl_basic_set_get_ctx(f->bset);  in isl_factorizer_get_ctx()
31 	__isl_keep isl_basic_set *bset, __isl_take isl_morph *morph,  in isl_factorizer_alloc()  argument
50 	f->bset = isl_basic_set_copy(bset);  in isl_factorizer_alloc()
67 	isl_basic_set_free(f->bset);  in isl_factorizer_free()
91 __isl_give isl_factorizer *isl_factorizer_identity(__isl_keep isl_basic_set *bset)  in isl_factorizer_identity()  argument
93 	return isl_factorizer_alloc(bset, isl_morph_identity(bset), 0);  in isl_factorizer_identity()
96 __isl_give isl_factorizer *isl_factorizer_groups(__isl_keep isl_basic_set *bset,  in isl_factorizer_groups()  argument
109 	nvar = isl_basic_set_dim(bset, isl_dim_set);  in isl_factorizer_groups()
113 	ovar = 1 + isl_space_offset(bset->dim, isl_dim_set);  in isl_factorizer_groups()
114 	id = isl_mat_identity(bset->ctx, ovar);  in isl_factorizer_groups()
118 	space = isl_basic_set_get_space(bset);  in isl_factorizer_groups()
124 	f = isl_factorizer_alloc(bset, morph, n);  in isl_factorizer_groups()
270 	__isl_keep isl_basic_set *bset)  in isl_basic_set_factorizer()  argument
278 	nvar = isl_basic_set_dim(bset, isl_dim_set);  in isl_basic_set_factorizer()
279 	if (nvar < 0 || isl_basic_set_check_no_locals(bset) < 0)  in isl_basic_set_factorizer()
283 		return isl_factorizer_identity(bset);  in isl_basic_set_factorizer()
285 	H = isl_mat_alloc(bset->ctx, bset->n_eq + bset->n_ineq, nvar);  in isl_basic_set_factorizer()
288 	isl_mat_sub_copy(bset->ctx, H->row, bset->eq, bset->n_eq,  in isl_basic_set_factorizer()
289 		0, 1 + isl_space_offset(bset->dim, isl_dim_set), nvar);  in isl_basic_set_factorizer()
290 	isl_mat_sub_copy(bset->ctx, H->row + bset->n_eq, bset->ineq, bset->n_ineq,  in isl_basic_set_factorizer()
291 		0, 1 + isl_space_offset(bset->dim, isl_dim_set), nvar);  in isl_basic_set_factorizer()
305 		return isl_factorizer_identity(bset);  in isl_basic_set_factorizer()
319 				isl_die(bset->ctx, isl_error_internal,  in isl_basic_set_factorizer()
329 	f = isl_factorizer_groups(bset, Q, U, n, g.pos);  in isl_basic_set_factorizer()
348 	isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user),  in isl_factorizer_every_factor_basic_set()  argument
354 	isl_basic_set *bset;  in isl_factorizer_every_factor_basic_set()  local
358 	nparam = isl_basic_set_dim(f->bset, isl_dim_param);  in isl_factorizer_every_factor_basic_set()
359 	nvar = isl_basic_set_dim(f->bset, isl_dim_set);  in isl_factorizer_every_factor_basic_set()
363 	bset = isl_basic_set_copy(f->bset);  in isl_factorizer_every_factor_basic_set()
364 	bset = isl_morph_basic_set(isl_morph_copy(f->morph), bset);  in isl_factorizer_every_factor_basic_set()
369 		factor = isl_basic_set_copy(bset);  in isl_factorizer_every_factor_basic_set()
386 	isl_basic_set_free(bset);  in isl_factorizer_every_factor_basic_set()