diff options
Diffstat (limited to 'omegalib/examples/experiments/qr/qr.out')
| -rw-r--r-- | omegalib/examples/experiments/qr/qr.out | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/omegalib/examples/experiments/qr/qr.out b/omegalib/examples/experiments/qr/qr.out deleted file mode 100644 index e09cc75..0000000 --- a/omegalib/examples/experiments/qr/qr.out +++ /dev/null @@ -1,54 +0,0 @@ ->>> symbolic M, N; ->>> ->>> s1:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : 1+In_3 = 0 && In_4 = 1+In_6 && In_2 = In_6 && In_7 = 0 && In_1 = 0 && In_5 = 0 && 0 <= In_6 < N }; ->>> s2:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_3 = 0 && 1+In_2 = In_4 && In_7 = 0 && In_1 = 0 && In_5 = 0 && 1 <= In_4 <= In_6+1, N && In_6 < M }; ->>> s3:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_3 = 0 && In_4 = 1+In_6 && In_2 = In_6 && In_7 = 0 && In_1 = 0 && In_5 = 1 && 0 <= In_6 < N }; ->>> s4:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_3 = 0 && 1+In_2 = In_4 && In_7 = 0 && In_1 = 0 && In_5 = 2 && 1 <= In_4 <= In_6+1, N && In_6 < M }; ->>> s5:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_3 = 1 && In_4 = 1+In_6 && In_2 = In_6 && In_7 = 0 && In_1 = 0 && In_5 = 0 && 0 <= In_6 < N }; ->>> s6:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_1 = 0 && In_3 = 4 && In_5 = 0 && In_7 = 0 && In_6 = In_2 && 0 <= In_2 <= In_4-2 && In_4 < N }; ->>> s7:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_1 = 0 && In_3 = 4 && In_5 = 3 && In_7 = 0 && 0 <= In_2 <= In_6 < M && In_2+2 <= In_4 < N }; ->>> s8:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_1 = 0 && In_3 = 4 && In_5 = 2 && In_7 = 0 && In_6 = M && In_2+2 <= In_4 <= N && 0 <= In_2 }; ->>> s9:= { [In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_1 = 0 && In_3 = 4 && In_5 = 3 && In_7 = 1 && 0 <= In_2 <= In_6 < M && In_2+2 <= In_4 <= N }; ->>> s10:= {[In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_3 = 2 && In_4 = N && In_6 = M && In_5 = 0 && In_7 = 0 && In_1 = 0 && 0 <= In_2 < N }; ->>> s11:= {[In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_5 = 0 && In_3 = 3 && In_7 = 0 && In_1 = 0 && In_6 = In_2 && In_4 = 1+In_2 && 0 <= In_2 <= N-2 }; ->>> s12:= {[In_1,In_2,In_3,In_4,In_5,In_6,In_7] : In_5 = 3 && In_3 = 3 && In_7 = 0 && In_1 = 0 && In_4 = 1+In_2 && 0 <= In_2 <= In_6 < M && In_2 <= N-2 }; ->>> ->>> ->>> codegen s1,s2,s3,s4,s5,s6,s7,s8,s9,s10,s11,s12; -for(t2 = 0; t2 <= N-1; t2++) { - s0(0,t2,-1,t2+1,0,t2,0); - for(t6 = t2+1-1; t6 <= M-1; t6++) { - s1(0,t2,0,t2+1,0,t6,0); - } - s2(0,t2,0,t2+1,1,t2,0); - for(t6 = t2+1-1; t6 <= M-1; t6++) { - s3(0,t2,0,t2+1,2,t6,0); - } - s4(0,t2,1,t2+1,0,t2,0); - s9(0,t2,2,N,0,M,0); - if (N >= t2+2) { - s10(0,t2,3,t2+1,0,t2+1-1,0); - for(t6 = t2; t6 <= M-1; t6++) { - s11(0,t2,3,t2+1,3,t6,0); - } - } - for(t4 = t2+2; t4 <= N; t4++) { - if (N >= t4+1) { - s5(0,t2,4,t4,0,t2,0); - } - s7(0,t2,4,t4,2,M,0); - if (N >= t4+1) { - for(t6 = t2; t6 <= M-1; t6++) { - s6(0,t2,4,t4,3,t6,0); - s8(0,t2,4,t4,3,t6,1); - } - } - else { - for(t6 = t2; t6 <= M-1; t6++) { - s8(0,t2,4,t4,3,t6,1); - } - } - } -} - ->>> |