459 	isl_assert(mat->ctx, mat->n_col == vec->size, goto error);  in isl_mat_vec_product()
515 	isl_assert(mat->ctx, mat->n_row == vec->size, goto error);  in isl_vec_mat_product()
544 	isl_assert(left->ctx, left->n_row == right->n_row, goto error);  in isl_mat_aff_direct_sum()
545 	isl_assert(left->ctx, left->n_row >= 1, goto error);  in isl_mat_aff_direct_sum()
546 	isl_assert(left->ctx, left->n_col >= 1, goto error);  in isl_mat_aff_direct_sum()
547 	isl_assert(left->ctx, right->n_col >= 1, goto error);  in isl_mat_aff_direct_sum()
548 	isl_assert(left->ctx,  in isl_mat_aff_direct_sum()
551 	isl_assert(left->ctx,  in isl_mat_aff_direct_sum()
1017 	isl_assert(left->ctx, left->n_row == left->n_col, goto error);  in isl_mat_inverse_product()
1018 	isl_assert(left->ctx, left->n_row == right->n_row, goto error);  in isl_mat_inverse_product()
1038 			isl_assert(left->ctx, pivot >= 0, goto error);  in isl_mat_inverse_product()
1082 		isl_assert(left->ctx, 0, goto error);  in isl_mat_inverse_product()
1147 			isl_assert(mat->ctx, pivot >= 0, goto error);  in isl_mat_right_inverse()
1279 	isl_assert(left->ctx, left->n_col == right->n_row, goto error);  in isl_mat_product()
1373 	isl_assert(ctx, 1+bset->dim->n_out == mat->n_row, goto error);  in isl_basic_set_preimage()
1374 	isl_assert(ctx, mat->n_col > 0, goto error);  in isl_basic_set_preimage()
1745 	isl_assert(M->ctx, M->n_row == M->n_col, goto error);  in isl_mat_unimodular_complete()
1752 		isl_assert(M->ctx, isl_int_is_one(H->row[r][r]), goto error);  in isl_mat_unimodular_complete()
1773 	isl_assert(top->ctx, top->n_col == bot->n_col, goto error);  in isl_mat_concat()