reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

  317 __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *bset)
  339 		isl_mat *eq;

 1459 inline mat manage(__isl_take isl_mat *ptr);
 1460 inline mat manage_copy(__isl_keep isl_mat *ptr);
 1463   friend inline mat manage(__isl_take isl_mat *ptr);
 1464   friend inline mat manage_copy(__isl_keep isl_mat *ptr);
 1466   isl_mat *ptr = nullptr;
 1468   inline explicit mat(__isl_take isl_mat *ptr);
 1476   inline __isl_give isl_mat *copy() const &;
 1477   inline __isl_give isl_mat *copy() && = delete;
 1478   inline __isl_keep isl_mat *get() const;
 1479   inline __isl_give isl_mat *release();
 9209 mat manage(__isl_take isl_mat *ptr) {
 9212 mat manage_copy(__isl_keep isl_mat *ptr) {
 9229 mat::mat(__isl_take isl_mat *ptr)
 9243 __isl_give isl_mat *mat::copy() const & {
 9247 __isl_keep isl_mat *mat::get() const {
 9251 __isl_give isl_mat *mat::release() {
 9252   isl_mat *tmp = ptr;

  654 __isl_give isl_mat *isl_basic_map_equalities_matrix(
  658 __isl_give isl_mat *isl_basic_map_inequalities_matrix(
  664 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
  664 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,

   26 isl_ctx *isl_mat_get_ctx(__isl_keep isl_mat *mat);
   28 __isl_give isl_mat *isl_mat_alloc(isl_ctx *ctx,
   33 __isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat);
   33 __isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat);
   34 __isl_null isl_mat *isl_mat_free(__isl_take isl_mat *mat);
   34 __isl_null isl_mat *isl_mat_free(__isl_take isl_mat *mat);
   36 int isl_mat_rows(__isl_keep isl_mat *mat);
   37 int isl_mat_cols(__isl_keep isl_mat *mat);
   38 __isl_give isl_val *isl_mat_get_element_val(__isl_keep isl_mat *mat,
   40 __isl_give isl_mat *isl_mat_set_element_si(__isl_take isl_mat *mat,
   40 __isl_give isl_mat *isl_mat_set_element_si(__isl_take isl_mat *mat,
   42 __isl_give isl_mat *isl_mat_set_element_val(__isl_take isl_mat *mat,
   42 __isl_give isl_mat *isl_mat_set_element_val(__isl_take isl_mat *mat,
   45 __isl_give isl_mat *isl_mat_swap_cols(__isl_take isl_mat *mat,
   45 __isl_give isl_mat *isl_mat_swap_cols(__isl_take isl_mat *mat,
   47 __isl_give isl_mat *isl_mat_swap_rows(__isl_take isl_mat *mat,
   47 __isl_give isl_mat *isl_mat_swap_rows(__isl_take isl_mat *mat,
   50 __isl_give isl_vec *isl_mat_vec_product(__isl_take isl_mat *mat,
   53 	__isl_take isl_mat *mat);
   54 __isl_give isl_vec *isl_mat_vec_inverse_product(__isl_take isl_mat *mat,
   56 __isl_give isl_mat *isl_mat_aff_direct_sum(__isl_take isl_mat *left,
   56 __isl_give isl_mat *isl_mat_aff_direct_sum(__isl_take isl_mat *left,
   57 	__isl_take isl_mat *right);
   58 __isl_give isl_mat *isl_mat_diagonal(__isl_take isl_mat *mat1,
   58 __isl_give isl_mat *isl_mat_diagonal(__isl_take isl_mat *mat1,
   59 	__isl_take isl_mat *mat2);
   60 __isl_give isl_mat *isl_mat_left_hermite(__isl_take isl_mat *M, int neg,
   60 __isl_give isl_mat *isl_mat_left_hermite(__isl_take isl_mat *M, int neg,
   61 	__isl_give isl_mat **U, __isl_give isl_mat **Q);
   61 	__isl_give isl_mat **U, __isl_give isl_mat **Q);
   62 __isl_give isl_mat *isl_mat_lin_to_aff(__isl_take isl_mat *mat);
   62 __isl_give isl_mat *isl_mat_lin_to_aff(__isl_take isl_mat *mat);
   63 __isl_give isl_mat *isl_mat_inverse_product(__isl_take isl_mat *left,
   63 __isl_give isl_mat *isl_mat_inverse_product(__isl_take isl_mat *left,
   64 	__isl_take isl_mat *right);
   65 __isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
   65 __isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
   66 	__isl_take isl_mat *right);
   67 __isl_give isl_mat *isl_mat_transpose(__isl_take isl_mat *mat);
   67 __isl_give isl_mat *isl_mat_transpose(__isl_take isl_mat *mat);
   68 __isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat);
   68 __isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat);
   69 __isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat);
   69 __isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat);
   71 __isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat);
   71 __isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat);
   72 __isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row);
   72 __isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row);
   74 __isl_give isl_mat *isl_mat_drop_cols(__isl_take isl_mat *mat,
   74 __isl_give isl_mat *isl_mat_drop_cols(__isl_take isl_mat *mat,
   76 __isl_give isl_mat *isl_mat_drop_rows(__isl_take isl_mat *mat,
   76 __isl_give isl_mat *isl_mat_drop_rows(__isl_take isl_mat *mat,
   78 __isl_give isl_mat *isl_mat_insert_cols(__isl_take isl_mat *mat,
   78 __isl_give isl_mat *isl_mat_insert_cols(__isl_take isl_mat *mat,
   80 __isl_give isl_mat *isl_mat_insert_rows(__isl_take isl_mat *mat,
   80 __isl_give isl_mat *isl_mat_insert_rows(__isl_take isl_mat *mat,
   82 __isl_give isl_mat *isl_mat_move_cols(__isl_take isl_mat *mat,
   82 __isl_give isl_mat *isl_mat_move_cols(__isl_take isl_mat *mat,
   84 __isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n);
   84 __isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n);
   85 __isl_give isl_mat *isl_mat_insert_zero_cols(__isl_take isl_mat *mat,
   85 __isl_give isl_mat *isl_mat_insert_zero_cols(__isl_take isl_mat *mat,
   87 __isl_give isl_mat *isl_mat_add_zero_cols(__isl_take isl_mat *mat, unsigned n);
   87 __isl_give isl_mat *isl_mat_add_zero_cols(__isl_take isl_mat *mat, unsigned n);
   88 __isl_give isl_mat *isl_mat_insert_zero_rows(__isl_take isl_mat *mat,
   88 __isl_give isl_mat *isl_mat_insert_zero_rows(__isl_take isl_mat *mat,
   90 __isl_give isl_mat *isl_mat_add_zero_rows(__isl_take isl_mat *mat, unsigned n);
   90 __isl_give isl_mat *isl_mat_add_zero_rows(__isl_take isl_mat *mat, unsigned n);
   92 void isl_mat_col_add(__isl_keep isl_mat *mat, int dst_col, int src_col);
   94 __isl_give isl_mat *isl_mat_unimodular_complete(__isl_take isl_mat *M, int row);
   94 __isl_give isl_mat *isl_mat_unimodular_complete(__isl_take isl_mat *M, int row);
   95 __isl_give isl_mat *isl_mat_row_basis(__isl_take isl_mat *mat);
   95 __isl_give isl_mat *isl_mat_row_basis(__isl_take isl_mat *mat);
   96 __isl_give isl_mat *isl_mat_row_basis_extension(
   97 	__isl_take isl_mat *mat1, __isl_take isl_mat *mat2);
   97 	__isl_take isl_mat *mat1, __isl_take isl_mat *mat2);
   99 __isl_give isl_mat *isl_mat_from_row_vec(__isl_take isl_vec *vec);
  100 __isl_give isl_mat *isl_mat_concat(__isl_take isl_mat *top,
  100 __isl_give isl_mat *isl_mat_concat(__isl_take isl_mat *top,
  101 	__isl_take isl_mat *bot);
  102 __isl_give isl_mat *isl_mat_vec_concat(__isl_take isl_mat *top,
  102 __isl_give isl_mat *isl_mat_vec_concat(__isl_take isl_mat *top,
  105 isl_bool isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2);
  105 isl_bool isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2);
  106 isl_bool isl_mat_has_linearly_independent_rows(__isl_keep isl_mat *mat1,
  107 	__isl_keep isl_mat *mat2);
  109 int isl_mat_rank(__isl_keep isl_mat *mat);
  110 int isl_mat_initial_non_zero_cols(__isl_keep isl_mat *mat);
  112 void isl_mat_print_internal(__isl_keep isl_mat *mat, FILE *out, int indent);
  113 void isl_mat_dump(__isl_keep isl_mat *mat);

  490 __isl_give isl_mat *isl_basic_set_equalities_matrix(
  493 __isl_give isl_mat *isl_basic_set_inequalities_matrix(
  498 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
  498 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
  506 __isl_give isl_mat *isl_basic_set_reduced_basis(__isl_keep isl_basic_set *bset);

 1681 	__isl_take isl_mat *div, int *exp)
 1751 	isl_mat *div;
 3832 	__isl_take isl_space *space, __isl_take isl_mat *mat)
 5640 	isl_mat *div;

   99 	__isl_take isl_mat *div, int *exp);
  142 	__isl_take isl_space *space, __isl_take isl_mat *mat);

  996 	__isl_keep isl_mat *M, int n_known)
 1068 	isl_mat *A, *B, *M;

  489 	__isl_keep isl_mat *extra, int detect_equalities, int check_number)
  840 static int not_unique_unit_row(__isl_keep isl_mat *T, int row)
  988 	isl_mat *T;
 1181 	isl_mat *mat;
 1227 static isl_stat wraps_init(struct isl_wraps *wraps, __isl_take isl_mat *mat,
 1382 static int check_wraps(__isl_keep isl_mat *wraps, int first,
 1493 	isl_mat *mat;
 1675 	isl_mat *mat;
 2027 	isl_mat *mat;
 3002 	int i, int j, struct isl_coalesce_info *info, __isl_keep isl_mat *div,
 3066 	struct isl_coalesce_info *info, __isl_keep isl_mat *div, int *exp)
 3139 	isl_mat *div_i, *div_j, *div;

  412 static __isl_give isl_mat *initial_facet_constraint(__isl_keep isl_set *set)
  419 	isl_mat *bounds = NULL;
 2752 static __isl_give isl_mat *collect_inequalities(__isl_take isl_mat *mat,
 2752 static __isl_give isl_mat *collect_inequalities(__isl_take isl_mat *mat,
 2815 	isl_mat *mat = NULL;

  308 __isl_give isl_mat *isl_mat_parameter_compression(__isl_take isl_mat *B,
  308 __isl_give isl_mat *isl_mat_parameter_compression(__isl_take isl_mat *B,
  406 __isl_give isl_mat *isl_mat_parameter_compression_ext(__isl_take isl_mat *B,
  406 __isl_give isl_mat *isl_mat_parameter_compression_ext(__isl_take isl_mat *B,
  407 	__isl_take isl_mat *A)
  442 static __isl_give isl_mat *empty_compression(isl_ctx *ctx, unsigned dim,
  443 	__isl_give isl_mat **T2, __isl_take isl_mat *free1,
  443 	__isl_give isl_mat **T2, __isl_take isl_mat *free1,
  444 	__isl_take isl_mat *free2, __isl_take isl_mat *free3)
  444 	__isl_take isl_mat *free2, __isl_take isl_mat *free3)
  460 static __isl_give isl_mat *insert_parameter_rows(__isl_take isl_mat *mat,
  460 static __isl_give isl_mat *insert_parameter_rows(__isl_take isl_mat *mat,
  529 __isl_give isl_mat *isl_mat_final_variable_compression(__isl_take isl_mat *B,
  529 __isl_give isl_mat *isl_mat_final_variable_compression(__isl_take isl_mat *B,
  530 	int first, __isl_give isl_mat **T2)
  534 	isl_mat *H = NULL, *C, *H1, *U = NULL, *U1, *U2;
  624 __isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B,
  624 __isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B,
  625 	__isl_give isl_mat **T2)
  634 	__isl_take isl_basic_set *bset, __isl_give isl_mat **T,
  635 	__isl_give isl_mat **T2)
  638 	isl_mat *id;

   20 __isl_give isl_mat *isl_mat_final_variable_compression(__isl_take isl_mat *B,
   20 __isl_give isl_mat *isl_mat_final_variable_compression(__isl_take isl_mat *B,
   21 	int first, __isl_give isl_mat **T2);
   22 __isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B,
   22 __isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B,
   23 	__isl_give isl_mat **T2);
   24 __isl_give isl_mat *isl_mat_parameter_compression(__isl_take isl_mat *B,
   24 __isl_give isl_mat *isl_mat_parameter_compression(__isl_take isl_mat *B,
   26 __isl_give isl_mat *isl_mat_parameter_compression_ext(__isl_take isl_mat *B,
   26 __isl_give isl_mat *isl_mat_parameter_compression_ext(__isl_take isl_mat *B,
   27 	__isl_take isl_mat *A);

   84 	__isl_take isl_mat *Q, __isl_take isl_mat *U, int n, int *len)
   84 	__isl_take isl_mat *Q, __isl_take isl_mat *U, int n, int *len)
   94 	isl_mat *id;
  134 static int init_groups(struct isl_factor_groups *g, __isl_keep isl_mat *H)
  185 	__isl_keep isl_mat *H)
  214 static int update_groups(struct isl_factor_groups *g, __isl_keep isl_mat *H)
  260 	isl_mat *H, *U, *Q;

  354 static __isl_give isl_mat *extract_divs(__isl_keep isl_basic_set *bset)
  358 	isl_mat *div;
  377 	isl_mat *bset_div = NULL;
  378 	isl_mat *div = NULL;

   36 __isl_give isl_local *isl_local_alloc_from_mat(__isl_take isl_mat *mat)
   57 	isl_mat *mat = local;
   94 	isl_mat *mat = local;
  112 	isl_mat *mat = local;
  173 	isl_mat *mat1 = local1;
  174 	isl_mat *mat2 = local2;
  215 	isl_mat *div = local;
  218 	isl_mat *mat;
  257 	isl_mat *mat = local;

    7 typedef isl_mat isl_local;

   49 	__isl_take isl_mat *div)
   78 	isl_mat *div;
  598 	__isl_take isl_local_space *ls, __isl_take isl_mat *div)
  617 static void expand_row(__isl_keep isl_mat *dst, int d,
  618 	__isl_keep isl_mat *src, int s, int *exp)
  665 int isl_mat_cmp_div(__isl_keep isl_mat *div, int i, int j)
  723 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
  723 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
  724 	__isl_keep isl_mat *div2, int *exp1, int *exp2)
  727 	isl_mat *div = NULL;
  801 	isl_mat *div = NULL;

   12 	isl_mat *div;
   20 	__isl_take isl_mat *div);
   30 int isl_mat_cmp_div(__isl_keep isl_mat *div, int i, int j);
   31 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
   31 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
   32 	__isl_keep isl_mat *div2, int *exp1, int *exp2);
   38 	__isl_take isl_local_space *ls, __isl_take isl_mat *div);

  259 	isl_mat *bset_div = NULL;
  260 	isl_mat *div = NULL;

  378 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap)
  382 	isl_mat *div;
  404 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset)
  412 	isl_mat *div;
 8888 	__isl_take isl_basic_map *bmap, __isl_take isl_mat *div, int *exp)
11931 __isl_give isl_mat *isl_basic_map_equalities_matrix(
11960 __isl_give isl_mat *isl_basic_map_inequalities_matrix(
11991 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
11991 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,
12068 __isl_give isl_mat *isl_basic_set_equalities_matrix(
12076 __isl_give isl_mat *isl_basic_set_inequalities_matrix(
13418 __isl_give isl_mat *isl_basic_set_extract_equalities(
13569 	__isl_take isl_mat *trans)

  403 	__isl_take isl_basic_set *bset, __isl_take isl_mat *mat);
  405 	__isl_take isl_set *set, __isl_take isl_mat *mat);
  409 	__isl_take isl_mat *trans);
  444 	__isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp);
  446 	__isl_take isl_basic_set *bmap, __isl_take isl_mat *div, int *exp);
  462 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset);
  463 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap);
  544 __isl_give isl_mat *isl_basic_set_extract_equalities(

 1863 static isl_stat mark_shifted_constraints(__isl_keep isl_mat *ineq,
 2283 	__isl_take isl_basic_set *bset, __isl_take isl_mat *ineq,
 2330 	__isl_take isl_mat *ineq, __isl_take isl_basic_set *context)
 2427 static __isl_give isl_mat *extract_ineq(__isl_keep isl_basic_set *bset)
 2431 	isl_mat *ineq;
 2451 	isl_mat *ineq;
 2487 	__isl_take isl_mat *T)
 2490 	isl_mat *ineq;
 2591 	isl_mat *eq;
 2592 	isl_mat *T;
 2681 	__isl_take isl_space *space, __isl_take isl_mat *eq)
 2732 static __isl_give isl_mat *combined_variable_compression(
 2737 	isl_mat *E1, *E2, *V;
 2799 static __isl_give isl_mat *extract_compressed_stride_constraints(
 2805 	isl_mat *A, *B, *T, *V;
 2926 	__isl_take isl_basic_map *bmap, int n, __isl_keep isl_mat *A)
 2991 	isl_mat *A;
 4831 static isl_stat preimage(isl_int *c, __isl_keep isl_mat *T)
 4860 	__isl_take isl_basic_map *bmap, unsigned pos, __isl_take isl_mat *T)
 4949 	isl_mat *T;
 5097 	isl_mat *eq, *T, *T2;

   25 isl_ctx *isl_mat_get_ctx(__isl_keep isl_mat *mat)
   32 uint32_t isl_mat_get_hash(__isl_keep isl_mat *mat)
  146 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
  173 __isl_give isl_mat *isl_mat_sub_alloc(__isl_keep isl_mat *mat,
  173 __isl_give isl_mat *isl_mat_sub_alloc(__isl_keep isl_mat *mat,
  200 __isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat)
  200 __isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat)
  209 __isl_give isl_mat *isl_mat_dup(__isl_keep isl_mat *mat)
  209 __isl_give isl_mat *isl_mat_dup(__isl_keep isl_mat *mat)
  224 __isl_give isl_mat *isl_mat_cow(__isl_take isl_mat *mat)
  224 __isl_give isl_mat *isl_mat_cow(__isl_take isl_mat *mat)
  238 __isl_null isl_mat *isl_mat_free(__isl_take isl_mat *mat)
  238 __isl_null isl_mat *isl_mat_free(__isl_take isl_mat *mat)
  255 int isl_mat_rows(__isl_keep isl_mat *mat)
  260 int isl_mat_cols(__isl_keep isl_mat *mat)
  267 static isl_stat check_col(__isl_keep isl_mat *mat, int col)
  279 static isl_stat check_row(__isl_keep isl_mat *mat, int row)
  291 static isl_stat check_col_range(__isl_keep isl_mat *mat, unsigned first,
  305 static isl_stat check_row_range(__isl_keep isl_mat *mat, unsigned first,
  317 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v)
  329 __isl_give isl_val *isl_mat_get_element_val(__isl_keep isl_mat *mat,
  342 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
  342 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
  354 __isl_give isl_mat *isl_mat_set_element_si(__isl_take isl_mat *mat,
  354 __isl_give isl_mat *isl_mat_set_element_si(__isl_take isl_mat *mat,
  368 __isl_give isl_mat *isl_mat_set_element_val(__isl_take isl_mat *mat,
  368 __isl_give isl_mat *isl_mat_set_element_val(__isl_take isl_mat *mat,
  384 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d)
  403 __isl_give isl_mat *isl_mat_zero(isl_ctx *ctx, unsigned n_row, unsigned n_col)
  406 	isl_mat *mat;
  426 int isl_mat_is_scaled_identity(__isl_keep isl_mat *mat)
  448 __isl_give isl_vec *isl_mat_vec_product(__isl_take isl_mat *mat,
  475 __isl_give isl_vec *isl_mat_vec_inverse_product(__isl_take isl_mat *mat,
  505 	__isl_take isl_mat *mat)
  533 __isl_give isl_mat *isl_mat_aff_direct_sum(__isl_take isl_mat *left,
  533 __isl_give isl_mat *isl_mat_aff_direct_sum(__isl_take isl_mat *left,
  534 	__isl_take isl_mat *right)
  639 __isl_give isl_mat *isl_mat_left_hermite(__isl_take isl_mat *M, int neg,
  639 __isl_give isl_mat *isl_mat_left_hermite(__isl_take isl_mat *M, int neg,
  640 	__isl_give isl_mat **U, __isl_give isl_mat **Q)
  640 	__isl_give isl_mat **U, __isl_give isl_mat **Q)
  719 static __isl_give isl_mat *eliminate(__isl_take isl_mat *mat, int row, int col)
  719 static __isl_give isl_mat *eliminate(__isl_take isl_mat *mat, int row, int col)
  755 __isl_give isl_mat *isl_mat_reverse_gauss(__isl_take isl_mat *mat)
  755 __isl_give isl_mat *isl_mat_reverse_gauss(__isl_take isl_mat *mat)
  794 __isl_give isl_mat *isl_mat_lexnonneg_rows(__isl_take isl_mat *mat)
  794 __isl_give isl_mat *isl_mat_lexnonneg_rows(__isl_take isl_mat *mat)
  829 static int hermite_first_zero_col(__isl_keep isl_mat *H, int first_col,
  847 int isl_mat_rank(__isl_keep isl_mat *mat)
  850 	isl_mat *H;
  862 __isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat)
  862 __isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat)
  886 __isl_give isl_mat *isl_mat_lin_to_aff(__isl_take isl_mat *mat)
  886 __isl_give isl_mat *isl_mat_lin_to_aff(__isl_take isl_mat *mat)
  914 __isl_give isl_mat *isl_mat_diagonal(__isl_take isl_mat *mat1,
  914 __isl_give isl_mat *isl_mat_diagonal(__isl_take isl_mat *mat1,
  915 	__isl_take isl_mat *mat2)
  918 	isl_mat *mat;
  969 static isl_stat inv_exchange(__isl_keep isl_mat **left,
  970 	__isl_keep isl_mat **right, unsigned i, unsigned j)
 1001 __isl_give isl_mat *isl_mat_inverse_product(__isl_take isl_mat *left,
 1001 __isl_give isl_mat *isl_mat_inverse_product(__isl_take isl_mat *left,
 1002 	__isl_take isl_mat *right)
 1117 __isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat)
 1117 __isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat)
 1196 __isl_give isl_mat *isl_mat_transpose(__isl_take isl_mat *mat)
 1196 __isl_give isl_mat *isl_mat_transpose(__isl_take isl_mat *mat)
 1226 __isl_give isl_mat *isl_mat_swap_cols(__isl_take isl_mat *mat,
 1226 __isl_give isl_mat *isl_mat_swap_cols(__isl_take isl_mat *mat,
 1241 __isl_give isl_mat *isl_mat_swap_rows(__isl_take isl_mat *mat,
 1241 __isl_give isl_mat *isl_mat_swap_rows(__isl_take isl_mat *mat,
 1264 __isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
 1264 __isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
 1265 	__isl_take isl_mat *right)
 1445 	unsigned first_col, __isl_take isl_mat *mat)
 1449 	isl_mat *t;
 1464 void isl_mat_print_internal(__isl_keep isl_mat *mat, FILE *out, int indent)
 1493 void isl_mat_dump(__isl_keep isl_mat *mat)
 1498 __isl_give isl_mat *isl_mat_drop_cols(__isl_take isl_mat *mat,
 1498 __isl_give isl_mat *isl_mat_drop_cols(__isl_take isl_mat *mat,
 1519 __isl_give isl_mat *isl_mat_drop_rows(__isl_take isl_mat *mat,
 1519 __isl_give isl_mat *isl_mat_drop_rows(__isl_take isl_mat *mat,
 1535 __isl_give isl_mat *isl_mat_insert_cols(__isl_take isl_mat *mat,
 1535 __isl_give isl_mat *isl_mat_insert_cols(__isl_take isl_mat *mat,
 1538 	isl_mat *ext;
 1560 __isl_give isl_mat *isl_mat_insert_zero_cols(__isl_take isl_mat *mat,
 1560 __isl_give isl_mat *isl_mat_insert_zero_cols(__isl_take isl_mat *mat,
 1577 __isl_give isl_mat *isl_mat_add_zero_cols(__isl_take isl_mat *mat, unsigned n)
 1577 __isl_give isl_mat *isl_mat_add_zero_cols(__isl_take isl_mat *mat, unsigned n)
 1585 __isl_give isl_mat *isl_mat_insert_rows(__isl_take isl_mat *mat,
 1585 __isl_give isl_mat *isl_mat_insert_rows(__isl_take isl_mat *mat,
 1588 	isl_mat *ext;
 1610 __isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n)
 1610 __isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n)
 1618 __isl_give isl_mat *isl_mat_insert_zero_rows(__isl_take isl_mat *mat,
 1618 __isl_give isl_mat *isl_mat_insert_zero_rows(__isl_take isl_mat *mat,
 1633 __isl_give isl_mat *isl_mat_add_zero_rows(__isl_take isl_mat *mat, unsigned n)
 1633 __isl_give isl_mat *isl_mat_add_zero_rows(__isl_take isl_mat *mat, unsigned n)
 1650 void isl_mat_col_add(__isl_keep isl_mat *mat, int dst_col, int src_col)
 1673 __isl_give isl_mat *isl_mat_col_addmul(__isl_take isl_mat *mat, int dst_col,
 1673 __isl_give isl_mat *isl_mat_col_addmul(__isl_take isl_mat *mat, int dst_col,
 1695 __isl_give isl_mat *isl_mat_col_neg(__isl_take isl_mat *mat, int col)
 1695 __isl_give isl_mat *isl_mat_col_neg(__isl_take isl_mat *mat, int col)
 1716 __isl_give isl_mat *isl_mat_row_neg(__isl_take isl_mat *mat, int row)
 1716 __isl_give isl_mat *isl_mat_row_neg(__isl_take isl_mat *mat, int row)
 1729 __isl_give isl_mat *isl_mat_unimodular_complete(__isl_take isl_mat *M, int row)
 1729 __isl_give isl_mat *isl_mat_unimodular_complete(__isl_take isl_mat *M, int row)
 1757 __isl_give isl_mat *isl_mat_concat(__isl_take isl_mat *top,
 1757 __isl_give isl_mat *isl_mat_concat(__isl_take isl_mat *top,
 1758 	__isl_take isl_mat *bot)
 1791 isl_bool isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2)
 1791 isl_bool isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2)
 1811 __isl_give isl_mat *isl_mat_from_row_vec(__isl_take isl_vec *vec)
 1832 __isl_give isl_vec *isl_mat_get_row(__isl_keep isl_mat *mat, unsigned row)
 1850 __isl_give isl_mat *isl_mat_vec_concat(__isl_take isl_mat *top,
 1850 __isl_give isl_mat *isl_mat_vec_concat(__isl_take isl_mat *top,
 1856 __isl_give isl_mat *isl_mat_move_cols(__isl_take isl_mat *mat,
 1856 __isl_give isl_mat *isl_mat_move_cols(__isl_take isl_mat *mat,
 1859 	isl_mat *res;
 1902 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd)
 1912 void isl_mat_gcd(__isl_keep isl_mat *mat, isl_int *gcd)
 1931 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m)
 1931 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m)
 1948 __isl_give isl_mat *isl_mat_scale_down(__isl_take isl_mat *mat, isl_int m)
 1948 __isl_give isl_mat *isl_mat_scale_down(__isl_take isl_mat *mat, isl_int m)
 1965 __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row,
 1965 __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row,
 1980 __isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat)
 1980 __isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat)
 1995 __isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row)
 1995 __isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row)
 2008 int isl_mat_initial_non_zero_cols(__isl_keep isl_mat *mat)
 2026 __isl_give isl_mat *isl_mat_row_basis(__isl_take isl_mat *mat)
 2026 __isl_give isl_mat *isl_mat_row_basis(__isl_take isl_mat *mat)
 2043 __isl_give isl_mat *isl_mat_row_basis_extension(
 2044 	__isl_take isl_mat *mat1, __isl_take isl_mat *mat2)
 2044 	__isl_take isl_mat *mat1, __isl_take isl_mat *mat2)
 2048 	isl_mat *H, *Q;
 2076 isl_bool isl_mat_has_linearly_independent_rows(__isl_keep isl_mat *mat1,
 2077 	__isl_keep isl_mat *mat2)
 2080 	isl_mat *mat;

   23 uint32_t isl_mat_get_hash(__isl_keep isl_mat *mat);
   25 __isl_give isl_mat *isl_mat_zero(isl_ctx *ctx, unsigned n_row, unsigned n_col);
   26 __isl_give isl_mat *isl_mat_dup(__isl_keep isl_mat *mat);
   26 __isl_give isl_mat *isl_mat_dup(__isl_keep isl_mat *mat);
   27 __isl_give isl_mat *isl_mat_cow(__isl_take isl_mat *mat);
   27 __isl_give isl_mat *isl_mat_cow(__isl_take isl_mat *mat);
   28 __isl_give isl_mat *isl_mat_sub_alloc(__isl_keep isl_mat *mat,
   28 __isl_give isl_mat *isl_mat_sub_alloc(__isl_keep isl_mat *mat,
   30 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
   37 	unsigned first_col, __isl_take isl_mat *mat);
   38 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d);
   40 __isl_give isl_mat *isl_mat_reverse_gauss(__isl_take isl_mat *mat);
   40 __isl_give isl_mat *isl_mat_reverse_gauss(__isl_take isl_mat *mat);
   42 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
   42 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
   43 __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row,
   43 __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row,
   46 __isl_give isl_vec *isl_mat_get_row(__isl_keep isl_mat *mat, unsigned row);
   48 __isl_give isl_mat *isl_mat_lexnonneg_rows(__isl_take isl_mat *mat);
   48 __isl_give isl_mat *isl_mat_lexnonneg_rows(__isl_take isl_mat *mat);
   50 int isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);
   52 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
   57 __isl_give isl_mat *isl_mat_col_addmul(__isl_take isl_mat *mat, int dst_col,
   57 __isl_give isl_mat *isl_mat_col_addmul(__isl_take isl_mat *mat, int dst_col,
   59 __isl_give isl_mat *isl_mat_col_neg(__isl_take isl_mat *mat, int col);
   59 __isl_give isl_mat *isl_mat_col_neg(__isl_take isl_mat *mat, int col);
   60 __isl_give isl_mat *isl_mat_row_neg(__isl_take isl_mat *mat, int row);
   60 __isl_give isl_mat *isl_mat_row_neg(__isl_take isl_mat *mat, int row);
   62 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);
   63 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
   63 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,

   31 	__isl_take isl_mat *map, __isl_take isl_mat *inv)
   31 	__isl_take isl_mat *map, __isl_take isl_mat *inv)
  110 	isl_mat *sub;
  323 	isl_mat *id;
  343 	isl_mat *id;
  423 	isl_mat *E, *Q, *C;
  505 	isl_mat *H, *B;
  506 	isl_mat *map, *inv;
  616 	isl_mat *mat = NULL;
  746 	isl_mat *map, *inv;
  774 	isl_mat *mat;

   33 	isl_mat *map;
   34 	isl_mat *inv;
   42 	__isl_take isl_mat *map, __isl_take isl_mat *inv);
   42 	__isl_take isl_mat *map, __isl_take isl_mat *inv);

  252 	__isl_keep isl_mat *div, int pos)
  262 	__isl_keep isl_mat *div, int pos, __isl_take isl_printer *p);
  265 	__isl_keep isl_mat *div,
  297 	__isl_keep isl_mat *div,
  330 	__isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c)
  519 	__isl_keep isl_space *space, __isl_keep isl_mat *div,
  542 	__isl_keep isl_space *space, __isl_keep isl_mat *div,
  571 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int pos,
  603 	__isl_keep isl_space *space, __isl_keep isl_mat *div, unsigned pos,
  646 	__isl_keep isl_mat *div, unsigned div_pos,
  679 	__isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c,
  736 	__isl_keep isl_space *space, __isl_keep isl_mat *div,
  829 	__isl_keep isl_mat *div, int pos, __isl_take isl_printer *p)
  852 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int latex,
  886 static isl_bool need_exists(__isl_keep isl_printer *p, __isl_keep isl_mat *div)
  911 	__isl_keep isl_space *space, __isl_keep isl_mat *div, int latex)
  928 static __isl_give isl_mat *mark_all_unknown(__isl_take isl_mat *div)
  928 static __isl_give isl_mat *mark_all_unknown(__isl_take isl_mat *div)
  950 	isl_mat *div;
 1732 	__isl_keep isl_space *dim, __isl_keep isl_mat *div, int var)
 1745 	__isl_keep isl_space *dim, __isl_keep isl_mat *div, int var, int exp)
 1767 	__isl_keep isl_space *space, __isl_keep isl_mat *div,

 1284 static isl_bool compatible_divs(__isl_keep isl_mat *div1,
 1285 	__isl_keep isl_mat *div2)
 1310 static int cmp_row(__isl_keep isl_mat *div, int i, int j)
 1324 	isl_mat	*div;
 1467 	isl_mat *div = NULL;
 2297 	__isl_keep isl_mat **mat)
 2329 static int needs_invert(__isl_keep isl_mat *div, int row)
 2355 	__isl_keep isl_mat **mat)
 2387 	isl_mat *mat;
 3490 	isl_mat *div;
 3728 	__isl_take isl_mat *div)
 4171 	isl_mat *mat, *diag;

  820 	__isl_take isl_basic_set *cone, __isl_take isl_mat *U)

  110 	isl_mat *sched;
  113 	isl_mat *indep;
  114 	isl_mat *vmap;
  999 	isl_mat *sched;
 2244 static __isl_give isl_mat *normalize_independent(__isl_take isl_mat *indep)
 2244 static __isl_give isl_mat *normalize_independent(__isl_take isl_mat *indep)
 2281 	isl_mat *H, *U, *Q;
 2855 static __isl_give isl_mat *construct_trivial(__isl_keep isl_mat *indep)
 2855 static __isl_give isl_mat *construct_trivial(__isl_keep isl_mat *indep)
 2858 	isl_mat *mat;
 2896 		isl_mat *trivial;
 4734 	isl_mat *eq;
 6698 static __isl_give isl_mat *node_transformation(isl_ctx *ctx,
 6703 	isl_mat *t;
 6748 		isl_mat *t;
 6963 	isl_mat *sched;

 3340 	isl_mat *mat = tab->mat;

  270 	isl_mat *trivial;

   58 	isl_mat *cst = NULL;

  249 static isl_stat check_final_columns_are_zero(__isl_keep isl_mat *M,
  275 	__isl_take isl_mat *M)
  327 	__isl_take isl_basic_set *dom, __isl_take isl_mat *M)
 4600 	__isl_keep isl_mat *var, int i)
 4642 	__isl_take isl_mat *var)
 4687 	__isl_keep isl_mat *cst)
 4732 	__isl_keep isl_mat *cst)
 4741 static isl_bool need_split_set(__isl_keep isl_set *set, __isl_keep isl_mat *cst)
 4770 	__isl_take isl_set *min_expr, __isl_take isl_mat *cst)
 4820 	__isl_take isl_set *min_expr, __isl_take isl_mat *cst)
 4877 	__isl_give isl_set **empty, int max, __isl_take isl_mat *cst,
 4980 	__isl_keep isl_mat *trivial)
 5792 	__isl_take isl_mat *var)
 5854 	__isl_take isl_set *min_expr, __isl_take isl_mat *cst)
 5921 	__isl_give isl_set **empty, int max, __isl_take isl_mat *cst,

  219 	__isl_keep isl_mat *steps)

  235 static int is_independent(__isl_keep isl_mat *facets, int n, isl_int *f)
  267 	struct isl_tab *tab, __isl_keep isl_mat *facets, int selected,
  385 	isl_mat *facets = NULL;