| commit | 8d5c111a7fc1ecf38f884ffd5d99ce8c34b5367e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 9 Apr 2007 15:53:21 +0000 (9 17:53 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 11 Apr 2007 15:35:35 +0000 (11 17:35 +0200) | ||
| tree | a6090b8b6a7f1101c3b65ce003793c7bbd46091e | treesnapshot (tar.gz zip) |
| parent | 81bb17f1941254e6b0cdcc5060ab63ac17b8a16e | commitdiff |
reduce_domain: check for adjacent chambers in simplified space
Doing it in the original space tickles a bug in PolyLib's DomainSimplify.
In particular, simplifying
8 8
0 1 0 0 0 -1 0 0
0 0 2 0 0 0 -1 -1
0 0 0 2 0 0 -1 1
1 0 0 0 1 -1 0 0
1 0 0 0 0 0 1 -3
1 0 0 0 1 0 -1 1
1 0 0 0 0 2 -1 -3
1 0 0 0 0 0 0 1
in the context of
8 8
0 1 0 0 0 -1 0 0
0 0 1 -1 0 0 0 -1
1 0 0 -2 0 0 1 -1
1 0 0 1 0 0 0 -1
1 0 0 0 1 0 -1 1
1 0 0 -1 0 1 0 -2
1 0 0 0 1 -1 0 0
1 0 0 0 0 0 0 1
results in
2 8
0 0 2 0 0 0 -1 -1
0 0 0 2 0 0 -1 1
while the first equality follows from the second equality
and the second equality in the context.
Doing it in the original space tickles a bug in PolyLib's DomainSimplify.
In particular, simplifying
8 8
0 1 0 0 0 -1 0 0
0 0 2 0 0 0 -1 -1
0 0 0 2 0 0 -1 1
1 0 0 0 1 -1 0 0
1 0 0 0 0 0 1 -3
1 0 0 0 1 0 -1 1
1 0 0 0 0 2 -1 -3
1 0 0 0 0 0 0 1
in the context of
8 8
0 1 0 0 0 -1 0 0
0 0 1 -1 0 0 0 -1
1 0 0 -2 0 0 1 -1
1 0 0 1 0 0 0 -1
1 0 0 0 1 0 -1 1
1 0 0 -1 0 1 0 -2
1 0 0 0 1 -1 0 0
1 0 0 0 0 0 0 1
results in
2 8
0 0 2 0 0 0 -1 -1
0 0 0 2 0 0 -1 1
while the first equality follows from the second equality
and the second equality in the context.
| reduce_domain.c | diffblobblamehistory |