evalue_split_domains_into_orthants: don't reduce evalue after splitting
[barvinok.git] / tests / example6
blob3efc6af9dc4bc53ee911199e6ce5c2cb7ed2d3a6
1 D 1
2 3 4
3    1  -1   0   0
4    1  -2  -7   0
5    1   3   7   7
6 F 0