privately export isl_mat_unimodular_complete