Skip to content

Commit fdbaa20

Browse files
dpsandersdpsanders
committed
Replace == and === in tests with isequal_interval
1 parent 7a392cc commit fdbaa20

File tree

11 files changed

+1795
-1795
lines changed

11 files changed

+1795
-1795
lines changed

‎test/Non1788tests/exponential.jl

Lines changed: 38 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -14,61 +14,61 @@ import Base.isapprox
1414
isapprox(x::Interval,y::Interval) = isapprox(inf(x),inf(y),atol=1E-4) && isapprox(sup(x),sup(y),atol=1E-4)
1515

1616
@testset "exp2_rev_test" begin
17-
@test exp2_rev(∅, entireinterval(Float64))[2] == ∅
18-
@test exp2_rev(interval(0.0, 1.0), ∅)[2] == ∅
19-
@test exp2_rev(∅, interval(0.0, 1.0))[2] == ∅
20-
@test exp2_rev(interval(-2.0, -1.0), entireinterval(Float64))[2] == ∅
21-
@test exp2_rev(interval(1.0, 1.0), entireinterval(Float64))[2] == Interval(0.0, 0.0)
22-
@test exp2_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-∞, ∞)
23-
@test exp2_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == ∅
17+
@test isequal_interval(exp2_rev(∅, entireinterval(Float64))[2], ∅)
18+
@test isequal_interval(exp2_rev(interval(0.0, 1.0), ∅)[2], ∅)
19+
@test isequal_interval(exp2_rev(∅, interval(0.0, 1.0))[2], ∅)
20+
@test isequal_interval(exp2_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], ∅)
21+
@test isequal_interval(exp2_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(0.0, 0.0))
22+
@test isequal_interval(exp2_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-∞, ∞))
23+
@test isequal_interval(exp2_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], ∅)
2424
end
2525

2626
@testset "exp10_rev_test" begin
27-
@test exp10_rev(∅, entireinterval(Float64))[2] == ∅
28-
@test exp10_rev(interval(0.0, 1.0), ∅)[2] == ∅
29-
@test exp10_rev(∅, interval(0.0, 1.0))[2] == ∅
30-
@test exp10_rev(interval(-2.0, -1.0), entireinterval(Float64))[2] == ∅
31-
@test exp10_rev(interval(1.0, 1.0), entireinterval(Float64))[2] == Interval(0.0, 0.0)
32-
@test exp10_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-∞, ∞)
33-
@test exp10_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == ∅
27+
@test isequal_interval(exp10_rev(∅, entireinterval(Float64))[2], ∅)
28+
@test isequal_interval(exp10_rev(interval(0.0, 1.0), ∅)[2], ∅)
29+
@test isequal_interval(exp10_rev(∅, interval(0.0, 1.0))[2], ∅)
30+
@test isequal_interval(exp10_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], ∅)
31+
@test isequal_interval(exp10_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(0.0, 0.0))
32+
@test isequal_interval(exp10_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-∞, ∞))
33+
@test isequal_interval(exp10_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], ∅)
3434
end
3535

3636
@testset "expm1_rev_test" begin
37-
@test expm1_rev(∅, entireinterval(Float64))[2] == ∅
38-
@test expm1_rev(interval(0.0, 1.0), ∅)[2] == ∅
39-
@test expm1_rev(∅, interval(0.0, 1.0))[2] == ∅
40-
@test expm1_rev(interval(-2.0, -1.0), entireinterval(Float64))[2] == ∅
37+
@test isequal_interval(expm1_rev(∅, entireinterval(Float64))[2], ∅)
38+
@test isequal_interval(expm1_rev(interval(0.0, 1.0), ∅)[2], ∅)
39+
@test isequal_interval(expm1_rev(∅, interval(0.0, 1.0))[2], ∅)
40+
@test isequal_interval(expm1_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], ∅)
4141
@test isapprox(expm1_rev(interval(1.0, 1.0), entireinterval(Float64))[2],Interval(0.693147, 0.693148))
42-
@test expm1_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-∞, ∞)
43-
@test expm1_rev(interval(-Inf, -1.0), entireinterval(Float64))[2] == ∅
42+
@test isequal_interval(expm1_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-∞, ∞))
43+
@test isequal_interval(expm1_rev(interval(-Inf, -1.0), entireinterval(Float64))[2], ∅)
4444
end
4545

4646
@testset "log2_rev_test" begin
47-
@test log2_rev(∅, entireinterval(Float64))[2] == ∅
48-
@test log2_rev(interval(0.0, 1.0), ∅)[2] == ∅
49-
@test log2_rev(∅, interval(0.0, 1.0))[2] == ∅
50-
@test log2_rev(interval(-2.0, -1.0), entireinterval(Float64))[2] == Interval(0.25, 0.5)
51-
@test log2_rev(interval(1.0, 1.0), entireinterval(Float64))[2] == Interval(2.0, 2.0)
52-
@test log2_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(0.0, Inf)
53-
@test log2_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == Interval(0.0, 1.0)
47+
@test isequal_interval(log2_rev(∅, entireinterval(Float64))[2], ∅)
48+
@test isequal_interval(log2_rev(interval(0.0, 1.0), ∅)[2], ∅)
49+
@test isequal_interval(log2_rev(∅, interval(0.0, 1.0))[2], ∅)
50+
@test isequal_interval(log2_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], Interval(0.25, 0.5))
51+
@test isequal_interval(log2_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(2.0, 2.0))
52+
@test isequal_interval(log2_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(0.0, Inf))
53+
@test isequal_interval(log2_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], Interval(0.0, 1.0))
5454
end
5555

5656
@testset "log10_rev_test" begin
57-
@test log10_rev(∅, entireinterval(Float64))[2] == ∅
58-
@test log10_rev(interval(0.0, 1.0), ∅)[2] == ∅
59-
@test log10_rev(∅, interval(0.0, 1.0))[2] == ∅
57+
@test isequal_interval(log10_rev(∅, entireinterval(Float64))[2], ∅)
58+
@test isequal_interval(log10_rev(interval(0.0, 1.0), ∅)[2], ∅)
59+
@test isequal_interval(log10_rev(∅, interval(0.0, 1.0))[2], ∅)
6060
@test isapprox(log10_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], Interval(0.00999999, 0.100001))
61-
@test log10_rev(interval(1.0, 1.0), entireinterval(Float64))[2] == Interval(10.0, 10.0)
62-
@test log10_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(0.0, Inf)
63-
@test log10_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == Interval(0.0, 1.0)
61+
@test isequal_interval(log10_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(10.0, 10.0))
62+
@test isequal_interval(log10_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(0.0, Inf))
63+
@test isequal_interval(log10_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], Interval(0.0, 1.0))
6464
end
6565

6666
@testset "log1p_rev_test" begin
67-
@test log1p_rev(∅, entireinterval(Float64))[2] == ∅
68-
@test log1p_rev(interval(0.0, 1.0), ∅)[2] == ∅
69-
@test log1p_rev(∅, interval(0.0, 1.0))[2] == ∅
67+
@test isequal_interval(log1p_rev(∅, entireinterval(Float64))[2], ∅)
68+
@test isequal_interval(log1p_rev(interval(0.0, 1.0), ∅)[2], ∅)
69+
@test isequal_interval(log1p_rev(∅, interval(0.0, 1.0))[2], ∅)
7070
@test isapprox(log1p_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], Interval(-0.864665, -0.63212))
7171
@test isapprox(log1p_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(1.71828, 1.71829))
72-
@test log1p_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-1.0, Inf)
73-
@test log1p_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == Interval(-1.0, 0.0)
72+
@test isequal_interval(log1p_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-1.0, Inf))
73+
@test isequal_interval(log1p_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], Interval(-1.0, 0.0))
7474
end

‎test/Non1788tests/extrema.jl

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -13,21 +13,21 @@ import Base.isapprox
1313
isapprox(x::Interval,y::Interval) = isapprox(inf(x),inf(y),atol=1E-4) && isapprox(sup(x),sup(y),atol=1E-4)
1414

1515
@testset "max_rev_test" begin
16-
@test max_rev(∅, entireinterval(Float64),entireinterval(Float64))[2] == interval(-∞, ∞)
17-
@test max_rev(interval(0.0, 1.0), ∅,Interval(-2.0, -1.0))[2] == ∅
18-
@test max_rev(∅, interval(0.0, 1.0),Interval(-2.0, -1.0))[2] == ∅
19-
@test max_rev(interval(-2.0, -1.0), entireinterval(Float64),Interval(-3.0, -2.0))[2] == Interval(-∞, -1.0)
16+
@test isequal_interval(max_rev(∅, entireinterval(Float64),entireinterval(Float64))[2], interval(-∞, ∞))
17+
@test isequal_interval(max_rev(interval(0.0, 1.0), ∅,Interval(-2.0, -1.0))[2], ∅)
18+
@test isequal_interval(max_rev(∅, interval(0.0, 1.0),Interval(-2.0, -1.0))[2], ∅)
19+
@test isequal_interval(max_rev(interval(-2.0, -1.0), entireinterval(Float64),Interval(-3.0, -2.0))[2], Interval(-∞, -1.0))
2020
@test isapprox(max_rev(interval(1.0, 1.0), entireinterval(Float64),Interval(-2.0, -1.0))[2], Interval(-∞, 1))
21-
@test max_rev(entireinterval(Float64), interval(-2.0, -1.0), Interval(-3.0, -2.0))[2] == Interval(-2.0, -1.0)
22-
@test max_rev(interval(-Inf, 0.0), entireinterval(Float64),Interval(-3.0, -2.0))[2] == Interval(-∞, 0.0)
21+
@test isequal_interval(max_rev(entireinterval(Float64), interval(-2.0, -1.0), Interval(-3.0, -2.0))[2], Interval(-2.0, -1.0))
22+
@test isequal_interval(max_rev(interval(-Inf, 0.0), entireinterval(Float64),Interval(-3.0, -2.0))[2], Interval(-∞, 0.0))
2323
end
2424

2525
@testset "min_rev_test" begin
26-
@test min_rev(∅, entireinterval(Float64),entireinterval(Float64))[2] == interval(-∞, ∞)
27-
@test min_rev(interval(0.0, 1.0), ∅,Interval(-2.0, -1.0))[2] == ∅ # should return empty?
28-
@test min_rev(∅, interval(0.0, 1.0),Interval(-2.0, -1.0))[2] == ∅
29-
@test min_rev(interval(-2.0, -1.0), entireinterval(Float64),Interval(-3.0, -2.0))[2] == Interval(-∞, -2.0)
26+
@test isequal_interval(min_rev(∅, entireinterval(Float64),entireinterval(Float64))[2], interval(-∞, ∞))
27+
@test isequal_interval(min_rev(interval(0.0, 1.0), ∅,Interval(-2.0, -1.0))[2], ∅ # should return empty?)
28+
@test isequal_interval(min_rev(∅, interval(0.0, 1.0),Interval(-2.0, -1.0))[2], ∅)
29+
@test isequal_interval(min_rev(interval(-2.0, -1.0), entireinterval(Float64),Interval(-3.0, -2.0))[2], Interval(-∞, -2.0))
3030
@test isapprox(min_rev(interval(1.0, 1.0), entireinterval(Float64),Interval(-2.0, -1.0))[2], Interval(-∞, -1.0))
31-
@test min_rev(entireinterval(Float64), interval(-2.0, -1.0), Interval(-3.0, -2.0))[2] == Interval(-3.0, -2.0)
32-
@test min_rev(interval(-Inf, 0.0), entireinterval(Float64),Interval(-3.0, -2.0))[2] == Interval(-∞, -2.0)
31+
@test isequal_interval(min_rev(entireinterval(Float64), interval(-2.0, -1.0), Interval(-3.0, -2.0))[2], Interval(-3.0, -2.0))
32+
@test isequal_interval(min_rev(interval(-Inf, 0.0), entireinterval(Float64),Interval(-3.0, -2.0))[2], Interval(-∞, -2.0))
3333
end

‎test/Non1788tests/hyperbolic.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,8 @@ isapprox(x::Interval,y::Interval) = isapprox(inf(x),inf(y),atol=1E-4) && isappro
2525
end
2626

2727
@testset "tanh_rev_test" begin
28-
@test tanh_rev(∅, -∞..∞)[2] == ∅
29-
@test tanh_rev(interval(-10.0, -1.0), -∞..∞)[2] == ∅
28+
@test isequal_interval(tanh_rev(∅, -∞..∞)[2], ∅)
29+
@test isequal_interval(tanh_rev(interval(-10.0, -1.0), -∞..∞)[2], ∅)
3030
@test isapprox(tanh_rev(interval(0.0, Inf), -∞..∞)[2], Interval(0.0, ∞))
3131
@test isapprox(tanh_rev(interval(0.0, 1.0), -∞..∞)[2], Interval(0.0, ∞))
3232
@test isapprox(tanh_rev(interval(-0.5, 1.0), -∞..∞)[2], Interval(-0.549307, ∞))

‎test/Non1788tests/inv_hyperbolic.jl

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -14,28 +14,28 @@ import Base.isapprox
1414
isapprox(x::Interval,y::Interval) = isapprox(inf(x),inf(y),atol=1E-4) && isapprox(sup(x),sup(y),atol=1E-4)
1515

1616
@testset "asinh_rev_test" begin
17-
@test asinh_rev(∅, -∞..∞)[2] == ∅
17+
@test isequal_interval(asinh_rev(∅, -∞..∞)[2], ∅)
1818
@test isapprox(asinh_rev(interval(0.0, Inf), -∞..∞)[2], Interval(0.0, ∞))
1919
@test isapprox(asinh_rev(interval(0.0, 1.0), -∞..∞)[2], Interval(0, 1.17521))
2020
@test isapprox(asinh_rev(interval(-0.5, 1.0), -∞..∞)[2], Interval(-0.521096, 1.17521))
2121
@test isapprox(asinh_rev(interval(-1000.0, 1.0), -∞..∞)[2], Interval(-∞, 1.17521))
2222
end
2323

2424
@testset "acosh_rev_test" begin
25-
@test acosh_rev(∅, -∞..∞)[2] == ∅
26-
@test acosh_rev(interval(0.0, Inf), -∞..∞)[2] == Interval(1.0, ∞)
25+
@test isequal_interval(acosh_rev(∅, -∞..∞)[2], ∅)
26+
@test isequal_interval(acosh_rev(interval(0.0, Inf), -∞..∞)[2], Interval(1.0, ∞))
2727
@test isapprox(acosh_rev(interval(0.0, 1.0), -∞..∞)[2], Interval(1.0, 1.54309))
2828
@test isapprox(acosh_rev(interval(-0.5, 1.0), -∞..∞)[2], Interval(1.0, 1.54309))
29-
@test acosh_rev(interval(-1000.0, 1.0), -∞..∞)[2] == Interval(1.0, ∞)
29+
@test isequal_interval(acosh_rev(interval(-1000.0, 1.0), -∞..∞)[2], Interval(1.0, ∞))
3030
end
3131

3232
@testset "atanh_rev_test" begin
33-
@test atanh_rev(∅, -∞..∞)[2] == ∅
33+
@test isequal_interval(atanh_rev(∅, -∞..∞)[2], ∅)
3434
@test isapprox(atanh_rev(interval(-10.0, -1.0), -∞..∞)[2], Interval(-1, -0.761594))
35-
@test atanh_rev(interval(0.0, Inf), -∞..∞)[2] == Interval(0, 1)
35+
@test isequal_interval(atanh_rev(interval(0.0, Inf), -∞..∞)[2], Interval(0, 1))
3636
@test isapprox(atanh_rev(interval(0.0, 1.0), -∞..∞)[2], Interval(0, 0.761595))
3737
@test isapprox(atanh_rev(interval(-0.5, 1.0), -∞..∞)[2], Interval(-0.462118, 0.761595))
3838
@test isapprox(atanh_rev(interval(-1000.0, 1.0), -∞..∞)[2], Interval(-1, 0.761595))
39-
@test atanh_rev(interval(0.0, 25.0), -∞..∞)[2] == Interval(0, 1)
39+
@test isequal_interval(atanh_rev(interval(0.0, 25.0), -∞..∞)[2], Interval(0, 1))
4040
@test isapprox(atanh_rev(interval(-1.0, 25.0), -∞..∞)[2], Interval(-0.761595, 1))
4141
end

‎test/Non1788tests/inv_rev.jl

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -15,11 +15,11 @@ import Base.isapprox
1515
isapprox(x::Interval,y::Interval) = isapprox(inf(x),inf(y),atol=1E-4) && isapprox(sup(x),sup(y),atol=1E-4)
1616

1717
@testset "inv_rev_test" begin
18-
@test inv_rev(∅, entireinterval(Float64))[2] == ∅
19-
@test inv_rev(interval(0.0, 1.0), ∅)[2] == ∅
20-
@test inv_rev(∅, interval(0.0, 1.0))[2] == ∅
21-
@test inv_rev(interval(-2.0, -1.0), entireinterval(Float64))[2] == Interval(-1.0, -0.5)
22-
@test inv_rev(interval(1.0, 1.0), entireinterval(Float64))[2] == Interval(1.0, 1.0)
23-
@test inv_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-∞, ∞)
24-
@test inv_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == Interval(-∞, 0.0)
18+
@test isequal_interval(inv_rev(∅, entireinterval(Float64))[2], ∅)
19+
@test isequal_interval(inv_rev(interval(0.0, 1.0), ∅)[2], ∅)
20+
@test isequal_interval(inv_rev(∅, interval(0.0, 1.0))[2], ∅)
21+
@test isequal_interval(inv_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], Interval(-1.0, -0.5))
22+
@test isequal_interval(inv_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(1.0, 1.0))
23+
@test isequal_interval(inv_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-∞, ∞))
24+
@test isequal_interval(inv_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], Interval(-∞, 0.0))
2525
end

‎test/Non1788tests/inv_trig.jl

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -15,20 +15,20 @@ import Base.isapprox
1515
isapprox(x::Interval,y::Interval) = isapprox(inf(x),inf(y),atol=1E-4) && isapprox(sup(x),sup(y),atol=1E-4)
1616

1717
@testset "acos_rev_test" begin
18-
@test acos_rev(∅, entireinterval(Float64))[2] == ∅
19-
@test acos_rev(interval(0.0, 1.0), ∅)[2] == ∅
20-
@test acos_rev(∅, interval(0.0, 1.0))[2] == ∅
21-
@test acos_rev(interval(-2.0, -1.0), entireinterval(Float64))[2] == ∅
18+
@test isequal_interval(acos_rev(∅, entireinterval(Float64))[2], ∅)
19+
@test isequal_interval(acos_rev(interval(0.0, 1.0), ∅)[2], ∅)
20+
@test isequal_interval(acos_rev(∅, interval(0.0, 1.0))[2], ∅)
21+
@test isequal_interval(acos_rev(interval(-2.0, -1.0), entireinterval(Float64))[2], ∅)
2222
@test isapprox(acos_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(0.540302, 0.540303))
23-
@test acos_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-1.0, 1.0)
24-
@test acos_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == Interval(1.0, 1.0)
23+
@test isequal_interval(acos_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-1.0, 1.0))
24+
@test isequal_interval(acos_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], Interval(1.0, 1.0))
2525
end
2626

2727
@testset "atan_rev_test" begin
28-
@test atan_rev(∅, entireinterval(Float64))[2] == ∅
29-
@test atan_rev(interval(0.0, 1.0), ∅)[2] == ∅
30-
@test atan_rev(∅, interval(0.0, 1.0))[2] == ∅
28+
@test isequal_interval(atan_rev(∅, entireinterval(Float64))[2], ∅)
29+
@test isequal_interval(atan_rev(interval(0.0, 1.0), ∅)[2], ∅)
30+
@test isequal_interval(atan_rev(∅, interval(0.0, 1.0))[2], ∅)
3131
@test isapprox(atan_rev(interval(1.0, 1.0), entireinterval(Float64))[2], Interval(1.5574, 1.55741))
32-
@test atan_rev(entireinterval(Float64), entireinterval(Float64))[2] == interval(-∞, ∞)
33-
@test atan_rev(interval(-Inf, 0.0), entireinterval(Float64))[2] == Interval(-∞, ∞)
32+
@test isequal_interval(atan_rev(entireinterval(Float64), entireinterval(Float64))[2], interval(-∞, ∞))
33+
@test isequal_interval(atan_rev(interval(-Inf, 0.0), entireinterval(Float64))[2], Interval(-∞, ∞))
3434
end

0 commit comments

Comments
 (0)