214 	struct isl_mat *mat2;  in isl_mat_dup()  local
218 	mat2 = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col);  in isl_mat_dup()
219 	if (!mat2)  in isl_mat_dup()
222 		isl_seq_cpy(mat2->row[i], mat->row[i], mat->n_col);  in isl_mat_dup()
223 	return mat2;  in isl_mat_dup()
228 	struct isl_mat *mat2;  in isl_mat_cow()  local
235 	mat2 = isl_mat_dup(mat);  in isl_mat_cow()
237 	return mat2;  in isl_mat_cow()
896 	struct isl_mat *mat2;  in isl_mat_lin_to_aff()  local
900 	mat2 = isl_mat_alloc(mat->ctx, 1+mat->n_row, 1+mat->n_col);  in isl_mat_lin_to_aff()
901 	if (!mat2)  in isl_mat_lin_to_aff()
903 	isl_int_set_si(mat2->row[0][0], 1);  in isl_mat_lin_to_aff()
904 	isl_seq_clr(mat2->row[0]+1, mat->n_col);  in isl_mat_lin_to_aff()
906 		isl_int_set_si(mat2->row[1+i][0], 0);  in isl_mat_lin_to_aff()
907 		isl_seq_cpy(mat2->row[1+i]+1, mat->row[i], mat->n_col);  in isl_mat_lin_to_aff()
910 	return mat2;  in isl_mat_lin_to_aff()
922 	__isl_take isl_mat *mat2)  in isl_mat_diagonal()  argument
927 	if (!mat1 || !mat2)  in isl_mat_diagonal()
930 	mat = isl_mat_alloc(mat1->ctx, mat1->n_row + mat2->n_row,  in isl_mat_diagonal()
931 				       mat1->n_col + mat2->n_col);  in isl_mat_diagonal()
936 		isl_seq_clr(mat->row[i] + mat1->n_col, mat2->n_col);  in isl_mat_diagonal()
938 	for (i = 0; i < mat2->n_row; ++i) {  in isl_mat_diagonal()
941 						    mat2->row[i], mat2->n_col);  in isl_mat_diagonal()
944 	isl_mat_free(mat2);  in isl_mat_diagonal()
948 	isl_mat_free(mat2);  in isl_mat_diagonal()
1799 isl_bool isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2)  in isl_mat_is_equal()  argument
1803 	if (!mat1 || !mat2)  in isl_mat_is_equal()
1806 	if (mat1->n_row != mat2->n_row)  in isl_mat_is_equal()
1809 	if (mat1->n_col != mat2->n_col)  in isl_mat_is_equal()
1813 		if (!isl_seq_eq(mat1->row[i], mat2->row[i], mat1->n_col))  in isl_mat_is_equal()
2052 	__isl_take isl_mat *mat1, __isl_take isl_mat *mat2)  in isl_mat_row_basis_extension()  argument
2060 	H = isl_mat_concat(mat1, mat2);  in isl_mat_row_basis_extension()
2088 	__isl_keep isl_mat *mat2)  in isl_mat_has_linearly_independent_rows()  argument
2098 	r2 = isl_mat_rank(mat2);  in isl_mat_has_linearly_independent_rows()
2104 	mat = isl_mat_concat(isl_mat_copy(mat1), isl_mat_copy(mat2));  in isl_mat_has_linearly_independent_rows()