void isl_morph_dump(__isl_take isl_morph *morph, FILE *out) { if (!morph) return; isl_basic_set_print(morph->dom, out, 0, "", "", ISL_FORMAT_ISL); isl_basic_set_print(morph->ran, out, 0, "", "", ISL_FORMAT_ISL); isl_mat_print_internal(morph->map, out, 4); isl_mat_print_internal(morph->inv, out, 4); }
int main(int argc, char **argv) { struct isl_ctx *ctx = isl_ctx_alloc(); struct isl_basic_set *bset; struct isl_mat *samples; bset = isl_basic_set_read_from_file(ctx, stdin); samples = isl_basic_set_samples(bset); isl_mat_print_internal(samples, stdout, 0); isl_mat_free(samples); isl_ctx_free(ctx); return 0; }