237 static isl_bool is_independent(__isl_keep isl_mat *facets, int n, isl_int *f)  in is_independent()  argument
241 	if (isl_seq_first_non_zero(f, facets->n_col) < 0)  in is_independent()
244 	isl_seq_cpy(facets->row[n], f, facets->n_col);  in is_independent()
245 	facets->n_row = n + 1;  in is_independent()
246 	rank = isl_mat_rank(facets);  in is_independent()
269 	struct isl_tab *tab, __isl_keep isl_mat *facets, int selected,  in can_select()  argument
282 	indep = is_independent(facets, selected, bset->ineq[level] + 1 + ovar);  in can_select()
385 	isl_mat *facets = NULL;  in isl_basic_set_compute_vertices()  local
427 	facets = isl_mat_alloc(bset->ctx, nvar, nvar);  in isl_basic_set_compute_vertices()
428 	if ((bset->n_ineq && (!selection || !snap)) || !facets)  in isl_basic_set_compute_vertices()
445 			ok = can_select(bset, level, tab, facets, selected,  in isl_basic_set_compute_vertices()
475 	isl_mat_free(facets);  in isl_basic_set_compute_vertices()
488 	isl_mat_free(facets);  in isl_basic_set_compute_vertices()