diff options
Diffstat (limited to 'omegalib/examples/old_test/givens2')
| -rw-r--r-- | omegalib/examples/old_test/givens2 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/omegalib/examples/old_test/givens2 b/omegalib/examples/old_test/givens2 deleted file mode 100644 index 0c6f634..0000000 --- a/omegalib/examples/old_test/givens2 +++ /dev/null @@ -1,15 +0,0 @@ -# -# an example from a slightly defective dependence relation for givens2.t -# - -symbolic n, line6exp(2) ; - -{ [i,j,k] -> [i',j',k'] : - 1 <= i <= n && - 1 <= i' <= n && - i+1 <= j <= n && - i'+1 <= j' <= n && - i <= k <= n && - i' <= k' <= n and - ( 1 <= line6exp(i,j) or line6exp(i,j) <= -1 ) and - ( 1 <= line6exp(i',j') or line6exp(i',j') <= -1 ) }; |