11 #if defined(__cplusplus)
20 #define ISL_MAT_BORROWED (1 << 0)
28 /* actual size of the rows in memory; n_col <= max_col */
33 typedef struct isl_mat isl_mat
;
35 struct isl_mat
*isl_mat_alloc(struct isl_ctx
*ctx
,
36 unsigned n_row
, unsigned n_col
);
37 struct isl_mat
*isl_mat_dup(struct isl_mat
*mat
);
38 struct isl_mat
*isl_mat_extend(struct isl_mat
*mat
,
39 unsigned n_row
, unsigned n_col
);
40 struct isl_mat
*isl_mat_identity(struct isl_ctx
*ctx
, unsigned n_row
);
41 struct isl_mat
*isl_mat_copy(struct isl_mat
*mat
);
42 struct isl_mat
*isl_mat_cow(struct isl_mat
*mat
);
43 void isl_mat_free(struct isl_mat
*mat
);
45 struct isl_mat
*isl_mat_sub_alloc(struct isl_ctx
*ctx
, isl_int
**row
,
46 unsigned first_row
, unsigned n_row
, unsigned first_col
, unsigned n_col
);
47 void isl_mat_sub_copy(struct isl_ctx
*ctx
, isl_int
**dst
, isl_int
**src
,
48 unsigned n_row
, unsigned dst_col
, unsigned src_col
, unsigned n_col
);
49 void isl_mat_sub_neg(struct isl_ctx
*ctx
, isl_int
**dst
, isl_int
**src
,
50 unsigned n_row
, unsigned dst_col
, unsigned src_col
, unsigned n_col
);
52 struct isl_mat
*isl_mat_swap_cols(struct isl_mat
*mat
, unsigned i
, unsigned j
);
53 struct isl_mat
*isl_mat_swap_rows(struct isl_mat
*mat
, unsigned i
, unsigned j
);
55 struct isl_vec
*isl_mat_vec_product(struct isl_mat
*mat
, struct isl_vec
*vec
);
56 struct isl_vec
*isl_vec_mat_product(struct isl_vec
*vec
, struct isl_mat
*mat
);
57 __isl_give isl_vec
*isl_mat_vec_inverse_product(__isl_take isl_mat
*mat
,
58 __isl_take isl_vec
*vec
);
59 struct isl_mat
*isl_mat_aff_direct_sum(struct isl_mat
*left
,
60 struct isl_mat
*right
);
61 struct isl_mat
*isl_mat_left_hermite(struct isl_mat
*M
,
62 int neg
, struct isl_mat
**U
, struct isl_mat
**Q
);
63 struct isl_mat
*isl_mat_lin_to_aff(struct isl_mat
*mat
);
64 struct isl_mat
*isl_mat_inverse_product(struct isl_mat
*left
,
65 struct isl_mat
*right
);
66 struct isl_mat
*isl_mat_product(struct isl_mat
*left
, struct isl_mat
*right
);
67 struct isl_mat
*isl_mat_transpose(struct isl_mat
*mat
);
68 struct isl_mat
*isl_mat_right_inverse(struct isl_mat
*mat
);
69 struct isl_mat
*isl_mat_right_kernel(struct isl_mat
*mat
);
71 struct isl_mat
*isl_mat_drop_cols(struct isl_mat
*mat
,
72 unsigned col
, unsigned n
);
73 struct isl_mat
*isl_mat_drop_rows(struct isl_mat
*mat
,
74 unsigned row
, unsigned n
);
76 void isl_mat_col_mul(struct isl_mat
*mat
, int dst_col
, isl_int f
, int src_col
);
77 void isl_mat_col_submul(struct isl_mat
*mat
,
78 int dst_col
, isl_int f
, int src_col
);
80 struct isl_mat
*isl_mat_unimodular_complete(struct isl_mat
*M
, int row
);
82 __isl_give isl_mat
*isl_mat_concat(__isl_take isl_mat
*top
,
83 __isl_take isl_mat
*bot
);
85 void isl_mat_dump(struct isl_mat
*mat
, FILE *out
, int indent
);
87 #if defined(__cplusplus)