summate.c: join_compatible: use isl_space_has_equal_params

[barvinok.git] / tests / lexmin / boulet.pip

0 3

-1

5 6
1 1 -1  2 0 0
1 0  1  1 4 20
1 0 -1 -1 0 0
1 0  1 -1 2 10
1 0 -1  1 2 10

Urs_parms
Urs_unknowns