Skip to content

Commit 2e92379

Browse files
KalashnikovniKalashnikovni
committed
Redefined tests for new interface
1 parent 9bc3e3d commit 2e92379

8 files changed

Lines changed: 52 additions & 92 deletions

File tree

‎test/TestRL1.test‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ equation
2020
end TestRL1;
2121
*/
2222

23-
N = 100000;
23+
N = 1000000;
2424

2525
F1 = 1;
2626
F2 = N-1+F1;

‎test/TestRL2.test‎

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ equation
2121
end TestRL2;
2222
*/
2323

24-
N = 100000;
24+
N = 1000000;
2525

2626
F1 = N;
2727
F2 = N-1+F1;
@@ -69,21 +69,21 @@ F = {[1:1:F1], [F1+1:1:F2], [F2+1:1:F3], [F3+1:1:F4], [F4+1:1:F5]};
6969
U = {[F5+1:1:U1], [U1+1:1:U2], [U2+1:1:U3]};
7070

7171
V: F \/ U
72-
Vmap: <<{[1:1:F1]} -> |0*x+1|, {[F1+1:1:F2]} -> |0*x+2|, {[F2+1:1:F3]} -> |0*x+3
73-
|, {[F3+1:1:F4]} -> |0*x+4|, {[F4+1:1:F5]} -> |0*x+5
74-
|, {[F5+1:1:U1]} -> |0*x+6|, {[U1+1:1:U2]} -> |0*x+7|, {[U2+1:1:U3]} -> |0*x+8|>>
75-
map1: <<{[1:1:E1]} -> |1*x+off1d|, {[E1+1:1:E2]} -> |1*x+off2d|, {[E2+1:1:E3]} -> |1*x+off3d
76-
|, {[E3+1:1:E4]} -> |1*x+off4d|, {[E4+1:1:E5]} -> |1*x+off5d|, {[E5+1:1:E6]} -> |1*x+off6d
77-
|, {[E6+1:1:E7]} -> |1*x+off7d|, {[E7+1:1:E8]} -> |1*x+off8d|, {[E8+1:1:E9]} -> |1*x+off9d
78-
|, {[E9+1:1:E10]} -> |1*x+off10d|>>
79-
map2: <<{[1:1:E1]} -> |1*x+off1b|, {[E1+1:1:E2]} -> |1*x+off2b|, {[E2+1:1:E3]} -> |1*x+off3b
80-
|, {[E3+1:1:E4]} -> |1*x+off4b|, {[E4+1:1:E5]} -> |1*x+off5b|, {[E5+1:1:E6]} -> |1*x+off6b
81-
|, {[E6+1:1:E7]} -> |1*x+off7b|, {[E7+1:1:E8]} -> |1*x+off8b|, {[E8+1:1:E9]} -> |1*x+off9b
82-
|, {[E9+1:1:E10]} -> |1*x+off10b|>>
83-
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3], [E3+1:1:E4]} -> |0*x+3
84-
|, {[E4+1:1:E5]} -> |0*x+4
85-
|, {[E5+1:1:E6], [E6+1:1:E7]} -> |0*x+6|, {[E7+1:1:E8]} -> |0*x+7|, {[E8+1:1:E9]} -> |0*x+8
86-
|, {[E9+1:1:E10]} -> |0*x+9|>>
72+
Vmap: <<{[1:1:F1]} -> |0*x+1|, {[F1+1:1:F2]} -> |0*x+2|, {[F2+1:1:F3]} -> |0*x+3|
73+
, {[F3+1:1:F4]} -> |0*x+4|, {[F4+1:1:F5]} -> |0*x+5|
74+
, {[F5+1:1:U1]} -> |0*x+6|, {[U1+1:1:U2]} -> |0*x+7|, {[U2+1:1:U3]} -> |0*x+8|>>
75+
map1: <<{[1:1:E1]} -> |1*x+off1d|, {[E1+1:1:E2]} -> |1*x+off2d|, {[E2+1:1:E3]} -> |1*x+off3d|
76+
, {[E3+1:1:E4]} -> |1*x+off4d|, {[E4+1:1:E5]} -> |1*x+off5d|, {[E5+1:1:E6]} -> |1*x+off6d|
77+
, {[E6+1:1:E7]} -> |1*x+off7d|, {[E7+1:1:E8]} -> |1*x+off8d|, {[E8+1:1:E9]} -> |1*x+off9d|
78+
, {[E9+1:1:E10]} -> |1*x+off10d|>>
79+
map2: <<{[1:1:E1]} -> |1*x+off1b|, {[E1+1:1:E2]} -> |1*x+off2b|, {[E2+1:1:E3]} -> |1*x+off3b|
80+
, {[E3+1:1:E4]} -> |1*x+off4b|, {[E4+1:1:E5]} -> |1*x+off5b|, {[E5+1:1:E6]} -> |1*x+off6b|
81+
, {[E6+1:1:E7]} -> |1*x+off7b|, {[E7+1:1:E8]} -> |1*x+off8b|, {[E8+1:1:E9]} -> |1*x+off9b|
82+
, {[E9+1:1:E10]} -> |1*x+off10b|>>
83+
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3]} -> |0*x+3|
84+
, {[E3+1:1:E4]} -> |0*x+4|, {[E4+1:1:E5]} -> |0*x+5|, {[E5+1:1:E6]} -> |0*x+6|
85+
, {[E6+1:1:E7]} -> |0*x+7|, {[E7+1:1:E8]} -> |0*x+8|, {[E8+1:1:E9]} -> |0*x+9|
86+
, {[E9+1:1:E10]} -> |0*x+10|>>
8787
X: F
8888
Y: U;
8989

@@ -100,10 +100,10 @@ matchSCC(
100100
|, {[E3+1:1:E4]} -> |1*x+off4b|, {[E4+1:1:E5]} -> |1*x+off5b|, {[E5+1:1:E6]} -> |1*x+off6b
101101
|, {[E6+1:1:E7]} -> |1*x+off7b|, {[E7+1:1:E8]} -> |1*x+off8b|, {[E8+1:1:E9]} -> |1*x+off9b
102102
|, {[E9+1:1:E10]} -> |1*x+off10b|>>
103-
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3], [E3+1:1:E4]} -> |0*x+3
104-
|, {[E4+1:1:E5]} -> |0*x+4
105-
|, {[E5+1:1:E6], [E6+1:1:E7]} -> |0*x+6|, {[E7+1:1:E8]} -> |0*x+7|, {[E8+1:1:E9]} -> |0*x+8
106-
|, {[E9+1:1:E10]} -> |0*x+9|>>
103+
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3]} -> |0*x+3|
104+
, {[E3+1:1:E4]} -> |0*x+4|, {[E4+1:1:E5]} -> |0*x+5|, {[E5+1:1:E6]} -> |0*x+6|
105+
, {[E6+1:1:E7]} -> |0*x+7|, {[E7+1:1:E8]} -> |0*x+8|, {[E8+1:1:E9]} -> |0*x+9|
106+
, {[E9+1:1:E10]} -> |0*x+10|>>
107107
X: F
108108
Y: U
109109
, 1

‎test/TestRL3.test‎

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ equation
2222
end TestRL3;
2323
*/
2424

25-
N = 100000;
25+
N = 1000000;
2626

2727
F1 = N;
2828
F2 = N-1+F1;
@@ -73,21 +73,21 @@ F = {[1:1:F1], [F1+1:1:F2], [F2+1:1:F3], [F3+1:1:F4], [F4+1:1:F5]};
7373
U = {[F5+1:1:U1], [U1+1:1:U2], [U2+1:1:U3]};
7474

7575
V: F \/ U
76-
Vmap: <<{[1:1:F1]} -> |0*x+1|, {[F1+1:1:F2]} -> |0*x+2|, {[F2+1:1:F3]} -> |0*x+3
77-
|, {[F3+1:1:F4]} -> |0*x+4|, {[F4+1:1:F5]} -> |0*x+5
78-
|, {[F5+1:1:U1]} -> |0*x+6|, {[U1+1:1:U2]} -> |0*x+7|, {[U2+1:1:U3]} -> |0*x+8|>>
79-
map1: <<{[1:1:E1]} -> |1*x+off1d|, {[E1+1:1:E2]} -> |1*x+off2d|, {[E2+1:1:E3]} -> |1*x+off3d
80-
|, {[E3+1:1:E4]} -> |1*x+off4d|, {[E4+1:1:E5]} -> |1*x+off5d|, {[E5+1:1:E6]} -> |1*x+off6d
81-
|, {[E6+1:1:E7]} -> |1*x+off7d|, {[E7+1:1:E8]} -> |1*x+off8d|, {[E8+1:1:E9]} -> |1*x+off9d
82-
|, {[E9+1:1:E10]} -> |1*x+off10d|, {[E10+1:1:E11]} -> |1*x+off11d|>>
83-
map2: <<{[1:1:E1]} -> |1*x+off1b|, {[E1+1:1:E2]} -> |1*x+off2b|, {[E2+1:1:E3]} -> |1*x+off3b
84-
|, {[E3+1:1:E4]} -> |1*x+off4b|, {[E4+1:1:E5]} -> |1*x+off5b|, {[E5+1:1:E6]} -> |1*x+off6b
85-
|, {[E6+1:1:E7]} -> |1*x+off7b|, {[E7+1:1:E8]} -> |1*x+off8b|, {[E8+1:1:E9]} -> |1*x+off9b
86-
|, {[E9+1:1:E10]} -> |1*x+off10b|, {[E10+1:1:E11]} -> |1*x+off11b|>>
87-
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3], [E3+1:1:E4]} -> |0*x+3
88-
|, {[E4+1:1:E5], [E5+1:1:E6]} -> |0*x+4
89-
|, {[E6+1:1:E7]} -> |0*x+6|, {[E7+1:1:E8]} -> |0*x+7|, {[E8+1:1:E9]} -> |0*x+8
90-
|, {[E9+1:1:E10]} -> |0*x+9|, {[E10+1:1:E11]} -> |0*x+10|>>
76+
Vmap: <<{[1:1:F1]} -> |0*x+1|, {[F1+1:1:F2]} -> |0*x+2|, {[F2+1:1:F3]} -> |0*x+3|
77+
, {[F3+1:1:F4]} -> |0*x+4|, {[F4+1:1:F5]} -> |0*x+5|
78+
, {[F5+1:1:U1]} -> |0*x+6|, {[U1+1:1:U2]} -> |0*x+7|, {[U2+1:1:U3]} -> |0*x+8|>>
79+
map1: <<{[1:1:E1]} -> |1*x+off1d|, {[E1+1:1:E2]} -> |1*x+off2d|, {[E2+1:1:E3]} -> |1*x+off3d|
80+
, {[E3+1:1:E4]} -> |1*x+off4d|, {[E4+1:1:E5]} -> |1*x+off5d|, {[E5+1:1:E6]} -> |1*x+off6d|
81+
, {[E6+1:1:E7]} -> |1*x+off7d|, {[E7+1:1:E8]} -> |1*x+off8d|, {[E8+1:1:E9]} -> |1*x+off9d|
82+
, {[E9+1:1:E10]} -> |1*x+off10d|, {[E10+1:1:E11]} -> |1*x+off11d|>>
83+
map2: <<{[1:1:E1]} -> |1*x+off1b|, {[E1+1:1:E2]} -> |1*x+off2b|, {[E2+1:1:E3]} -> |1*x+off3b|
84+
, {[E3+1:1:E4]} -> |1*x+off4b|, {[E4+1:1:E5]} -> |1*x+off5b|, {[E5+1:1:E6]} -> |1*x+off6b|
85+
, {[E6+1:1:E7]} -> |1*x+off7b|, {[E7+1:1:E8]} -> |1*x+off8b|, {[E8+1:1:E9]} -> |1*x+off9b|
86+
, {[E9+1:1:E10]} -> |1*x+off10b|, {[E10+1:1:E11]} -> |1*x+off11b|>>
87+
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3]} -> |0*x+3|
88+
, {[E3+1:1:E4]} -> |0*x+4|, {[E4+1:1:E5]} -> |0*x+5|, {[E5+1:1:E6]} -> |0*x+6|
89+
, {[E6+1:1:E7]} -> |0*x+7|, {[E7+1:1:E8]} -> |0*x+8|, {[E8+1:1:E9]} -> |0*x+9|
90+
, {[E9+1:1:E10]} -> |0*x+10|, {[E10+1:1:E11]} -> |0*x+11|>>
9191
X: F
9292
Y: U;
9393

@@ -104,10 +104,10 @@ matchSCC(
104104
|, {[E3+1:1:E4]} -> |1*x+off4b|, {[E4+1:1:E5]} -> |1*x+off5b|, {[E5+1:1:E6]} -> |1*x+off6b
105105
|, {[E6+1:1:E7]} -> |1*x+off7b|, {[E7+1:1:E8]} -> |1*x+off8b|, {[E8+1:1:E9]} -> |1*x+off9b
106106
|, {[E9+1:1:E10]} -> |1*x+off10b|, {[E10+1:1:E11]} -> |1*x+off11b|>>
107-
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3], [E3+1:1:E4]} -> |0*x+3
108-
|, {[E4+1:1:E5], [E5+1:1:E6]} -> |0*x+4
109-
|, {[E6+1:1:E7]} -> |0*x+6|, {[E7+1:1:E8]} -> |0*x+7|, {[E8+1:1:E9]} -> |0*x+8
110-
|, {[E9+1:1:E10]} -> |0*x+9|, {[E10+1:1:E11]} -> |0*x+10|>>
107+
Emap: <<{[1:1:E1]} -> |0*x+1|, {[E1+1:1:E2]} -> |0*x+2|, {[E2+1:1:E3]} -> |0*x+3|
108+
, {[E3+1:1:E4]} -> |0*x+4|, {[E4+1:1:E5]} -> |0*x+5|, {[E5+1:1:E6]} -> |0*x+6|
109+
, {[E6+1:1:E7]} -> |0*x+7|, {[E7+1:1:E8]} -> |0*x+8|, {[E8+1:1:E9]} -> |0*x+9|
110+
, {[E9+1:1:E10]} -> |0*x+10|, {[E10+1:1:E11]} -> |0*x+11|>>
111111
X: F
112112
Y: U
113113
, 1

‎test/eval/gt_data/interval.log‎

Lines changed: 11 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -20,35 +20,31 @@ isEmpty([100:1:5]);
2020
[1:2:20]/\[2:2:20];
2121
[201:2:399]/\[200:4:400];
2222
[300:1:1000000]/\[300:1:500];
23-
minElem([500:5:499]);
2423
minElem([500:5:600]);
25-
maxElem([500:5:499]);
2624
maxElem([500:5:600]);
2725
[1:1:100]==[1:1:100];
2826
[1:2:100]==[1:1:100];
2927
[2:1:100]==[1:1:100];
3028
[1:1:101]==[1:1:100];
31-
[1:1:100]<[5:5:50];
32-
[50:3:100]<[50:5:80];
3329

3430
-----------------------------------
3531
>>>>>>>>>>> Eval result <<<<<<<<<<<
3632
-----------------------------------
3733

38-
i1 = [1:100];
34+
i1 = {[1:100]};
3935
i2 = 1;
4036

4137
[1:1:5]
42-
--> [1:5]
38+
--> {[1:5]}
4339

4440
[1:1:5]
45-
--> [1:5]
41+
--> {[1:5]}
4642

4743
[100:1:200]
48-
--> [100:200]
44+
--> {[100:200]}
4945

5046
[100:10+10:200]
51-
--> [100:20:200]
47+
--> {[100:20:200]}
5248

5349
#[1:1:10]
5450
--> 10
@@ -66,32 +62,26 @@ isEmpty([100:1:5])
6662
--> true
6763

6864
[1:1:0]/\[100:1:500]
69-
-->
65+
--> {}
7066

7167
[100:1:500]/\[1:1:0]
72-
-->
68+
--> {}
7369

7470
[1:2:20]/\[4:3:20]
75-
--> [7:6:19]
71+
--> {[7:6:19]}
7672

7773
[1:2:20]/\[2:2:20]
78-
-->
74+
--> {}
7975

8076
[201:2:399]/\[200:4:400]
81-
-->
77+
--> {}
8278

8379
[300:1:1000000]/\[300:1:500]
84-
--> [300:500]
85-
86-
minElem([500:5:499])
87-
-->
80+
--> {[300:500]}
8881

8982
minElem([500:5:600])
9083
--> 500
9184

92-
maxElem([500:5:499])
93-
-->
94-
9585
maxElem([500:5:600])
9686
--> 600
9787

@@ -107,9 +97,3 @@ maxElem([500:5:600])
10797
[1:1:101]==[1:1:100]
10898
--> false
10999

110-
[1:1:100]<[5:5:50]
111-
--> true
112-
113-
[50:3:100]<[50:5:80]
114-
--> false
115-

‎test/eval/gt_data/pw_map1.log‎

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@
66
<<{[1:1:10], [100:10:200]} ↦ 1*x-3>>;
77
<<{[1:1:10], [100:10:200]} ↦ 1*x-3, {[500:1:600]} ↦ 1*x+5>>;
88
minMap(<<{[1:1:10], [15:3:30]} ↦ 1*x+0, {[12:3:12], [50:5:100]} ↦ 1*x+1>>, <<{[1:2:20], [30:5:60]} ↦ 0*x+100, {[75:5:90], [95:1:100]} ↦ 1*x+0>>);
9-
reduce(<<{[100:1:200]} ↦ 1*x-1>>);
10-
firstInv(<<{[1:1:10]} ↦ 0*x+10>>);
119
mapInf(<<{[50:1:50]} ↦ 1*x-49, {[49:1:49]} ↦ 1*x-48, {[3:1:48]} ↦ 1*x+1>>);
1210

1311
-----------------------------------
@@ -26,12 +24,6 @@ mapInf(<<{[50:1:50]} ↦ 1*x-49, {[49:1:49]} ↦ 1*x-48, {[3:1:48]} ↦ 1*x+1>>)
2624
minMap(<<{[1:1:10], [15:3:30]} ↦ 1*x+0, {[12:3:12], [50:5:100]} ↦ 1*x+1>>, <<{[1:2:20], [30:5:60]} ↦ 0*x+100, {[75:5:90], [95:1:100]} ↦ 1*x+0>>)
2725
--> <<{[1:2:9], [15:15], [30:30]} -> |x|, {[50:5:60]} -> |x+1|, {[75:5:90], [95:5:100]} -> |x|>>
2826

29-
reduce(<<{[100:1:200]} ↦ 1*x-1>>)
30-
--> <<{[100:200]} -> |99|>>
31-
32-
firstInv(<<{[1:1:10]} ↦ 0*x+10>>)
33-
--> <<{[10:10]} -> |1|>>
34-
3527
mapInf(<<{[50:1:50]} ↦ 1*x-49, {[49:1:49]} ↦ 1*x-48, {[3:1:48]} ↦ 1*x+1>>)
3628
--> <<>>
3729

‎test/eval/gt_data/pw_map2.log‎

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,6 @@ preImage({[0:1:25] x [0:1:25]}, <<{[1:1:10] x [1:1:10], [20:5:30] x [20:5:30]}
1313
compose(<<{[1:1:10] x [1:1:5], [20:2:30] x [20:2:30]} ↦ 2*x+1|3*x+0, {[15:3:18] x [12:3:18]} ↦ 0*x+0|0*x+0>>, <<{[1:1:30] x [1:1:30]} ↦ 1*x+1|1*x+2>>);
1414
minAdj(<<{[10:1:100] x [10:1:100], [101:2:200] x [101:2:200]} ↦ 1*x+0|1*x+0, {[10:1:100] x [101:2:200]} ↦ 2*x+0|2*x+0>>, <<{[5:5:50] x [5:5:50]} ↦ 0*x+1|1*x+0, {[51:3:80] x [51:3:80], [90:1:150] x [95:1:150]} ↦ 2*x+3|2*x+1>>);
1515
minMap(<<{[1:1:100] x [1:1:100]} ↦ x|N*x+100>>, <<{[1:1:100] x [1:1:100]} ↦ N*x+100|x>>);
16-
reduce(<<{[1:1:100] x [1:1:100]} ↦ x+1|x+1>>);
17-
reduce(<<{[1:1:100] x [1:1:100]} ↦ x+1|3>>);
1816

1917
-----------------------------------
2018
>>>>>>>>>>> Eval result <<<<<<<<<<<
@@ -46,9 +44,3 @@ minAdj(<<{[10:1:100] x [10:1:100], [101:2:200] x [101:2:200]} ↦ 1*x+0|1*x+0, {
4644
minMap(<<{[1:1:100] x [1:1:100]} ↦ x|N*x+100>>, <<{[1:1:100] x [1:1:100]} ↦ N*x+100|x>>)
4745
--> <<{[1:49]x[1:100], [50:50]x[51:100]} -> |x|-1x+100|, {[51:100]x[1:100], [50:50]x[1:50]} -> |-1x+100|x|>>
4846

49-
reduce(<<{[1:1:100] x [1:1:100]} ↦ x+1|x+1>>)
50-
--> <<{[1:100]x[1:100]} -> |x+1|x+1|>>
51-
52-
reduce(<<{[1:1:100] x [1:1:100]} ↦ x+1|3>>)
53-
--> <<{[1:100]x[1:100]} -> |101|3|>>
54-

‎test/eval/gt_data/pw_map3.log‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ nmbr_dims = 3;
66

77
<<>>;
88
combine(<<{[1:1:10] x [1:1:10] x [1:1:10], [1:1:10] x [20:3:30] x [20:3:30]} ↦ 1*x+0|1*x+0|1*x+0, {[1:1:10] x [20:3:30] x [35:5:50], [35:5:50] x [35:5:50] x [20:3:30]} ↦ 3*x+0|3*x+0|1*x+1>>, <<{[1:1:20] x [1:1:20] x [1:1:20]} ↦ 1*x+1|1*x+0|1*x+0>>);
9-
reduce(<<{[4:1:15] x [4:1:15] x [4:1:15], [4:1:15] x [20:2:25] x [4:1:15]} ↦ 1*x+0|1*x-3|3*x+0, {[4:1:15] x [15:5:50] x [20:2:25], [20:2:25] x [40:5:45] x [40:5:45]} ↦ 2*x+0|1*x+0|4*x+4>>);
109

1110
-----------------------------------
1211
>>>>>>>>>>> Eval result <<<<<<<<<<<
@@ -18,6 +17,3 @@ reduce(<<{[4:1:15] x [4:1:15] x [4:1:15], [4:1:15] x [20:2:25] x [4:1:15]} ↦ 1
1817
combine(<<{[1:1:10] x [1:1:10] x [1:1:10], [1:1:10] x [20:3:30] x [20:3:30]} ↦ 1*x+0|1*x+0|1*x+0, {[1:1:10] x [20:3:30] x [35:5:50], [35:5:50] x [35:5:50] x [20:3:30]} ↦ 3*x+0|3*x+0|1*x+1>>, <<{[1:1:20] x [1:1:20] x [1:1:20]} ↦ 1*x+1|1*x+0|1*x+0>>)
1918
--> <<{[1:10]x[1:10]x[1:10], [1:10]x[20:3:29]x[20:3:29]} -> |x|x|x|, {[1:10]x[20:3:29]x[35:5:50], [35:5:50]x[35:5:50]x[20:3:29]} -> |3x|3x|x+1|, {[11:20]x[1:20]x[1:20], [1:10]x[11:19]x[1:20], [1:10]x[20:20]x[1:19], [1:10]x[1:10]x[11:20]} -> |x+1|x|x|>>
2019

21-
reduce(<<{[4:1:15] x [4:1:15] x [4:1:15], [4:1:15] x [20:2:25] x [4:1:15]} ↦ 1*x+0|1*x-3|3*x+0, {[4:1:15] x [15:5:50] x [20:2:25], [20:2:25] x [40:5:45] x [40:5:45]} ↦ 2*x+0|1*x+0|4*x+4>>)
22-
--> <<{[4:15]x[4:15]x[4:15], [4:15]x[20:2:24]x[4:15]} -> |x|x-3|3x|, {[4:15]x[15:5:50]x[20:2:24], [20:2:24]x[40:5:45]x[40:5:45]} -> |2x|x|4x+4|>>
23-

‎test/parser/gt_data/interval.log‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -20,14 +20,10 @@ isEmpty([100:1:5]);
2020
[1:2:20]/\[2:2:20];
2121
[201:2:399]/\[200:4:400];
2222
[300:1:1000000]/\[300:1:500];
23-
minElem([500:5:499]);
2423
minElem([500:5:600]);
25-
maxElem([500:5:499]);
2624
maxElem([500:5:600]);
2725
[1:1:100]==[1:1:100];
2826
[1:2:100]==[1:1:100];
2927
[2:1:100]==[1:1:100];
3028
[1:1:101]==[1:1:100];
31-
[1:1:100]<[5:5:50];
32-
[50:3:100]<[50:5:80];
3329

0 commit comments

Comments
 (0)