reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
332 tab = isl_tab_from_basic_set(bset, 0); 333 if (!tab) 337 tab->basis = isl_mat_identity(bset->ctx, 1 + tab->n_var); 337 tab->basis = isl_mat_identity(bset->ctx, 1 + tab->n_var); 343 eq = isl_mat_left_hermite(eq, 0, NULL, &tab->basis); 344 tab->basis = isl_mat_lin_to_aff(tab->basis); 344 tab->basis = isl_mat_lin_to_aff(tab->basis); 345 tab->n_zero = bset->n_eq; 348 tab = isl_tab_compute_reduced_basis(tab); 348 tab = isl_tab_compute_reduced_basis(tab); 349 if (!tab) 352 basis = isl_mat_copy(tab->basis); 354 isl_tab_free(tab);