Mercurial > repos > public > sbplib_julia

annotate LazyTensors/test/runtests.jl @ 206:7b0650021b36 boundary_conditions

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove implementations of elementwise operation for * and /
author Jonatan Werpers <jonatan@werpers.com>
date Mon, 24 Jun 2019 14:57:17 +0200
parents 70e1f3401d82
children f85a0b38f3ff
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 using Test
184
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
2 using LazyTensors
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
4 @testset "Generic Mapping methods" begin
186
715ff09bb2ce Rename and export types in LazyTensors follow julia conventions
Jonatan Werpers <jonatan@werpers.com>
parents: 184
diff changeset
5 struct DummyMapping{T,R,D} <: TensorMapping{T,R,D} end
184
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
6 LazyTensors.apply(m::DummyMapping{T,R,D}, v, i) where {T,R,D} = :apply
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 @test range_dim(DummyMapping{Int,2,3}()) == 2
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8 @test domain_dim(DummyMapping{Int,2,3}()) == 3
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9 @test apply(DummyMapping{Int,2,3}(), zeros(Int, (0,0,0)),0) == :apply
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10 end
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12 @testset "Generic Operator methods" begin
186
715ff09bb2ce Rename and export types in LazyTensors follow julia conventions
Jonatan Werpers <jonatan@werpers.com>
parents: 184
diff changeset
13 struct DummyOperator{T,D} <: TensorOperator{T,D} end
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14 @test range_size(DummyOperator{Int,2}(), (3,5)) == (3,5)
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
15 @test domain_size(DummyOperator{Float64, 3}(), (3,3,1)) == (3,3,1)
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
16 end
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
17
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
18 @testset "Mapping transpose" begin
186
715ff09bb2ce Rename and export types in LazyTensors follow julia conventions
Jonatan Werpers <jonatan@werpers.com>
parents: 184
diff changeset
19 struct DummyMapping{T,R,D} <: TensorMapping{T,R,D} end
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
20
184
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
21 LazyTensors.apply(m::DummyMapping{T,R,D}, v, i) where {T,R,D} = :apply
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
22 LazyTensors.apply_transpose(m::DummyMapping{T,R,D}, v, i) where {T,R,D} = :apply_transpose
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
23
184
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
24 LazyTensors.range_size(m::DummyMapping{T,R,D}, domain_size) where {T,R,D} = :range_size
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
25 LazyTensors.domain_size(m::DummyMapping{T,R,D}, range_size) where {T,R,D} = :domain_size
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
26
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
27 m = DummyMapping{Float64,2,3}()
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
28 @test m'' == m
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
29 @test apply(m',zeros(Float64,(0,0)),0) == :apply_transpose
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
30 @test apply(m'',zeros(Float64,(0,0,0)),0) == :apply
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
31 @test apply_transpose(m', zeros(Float64,(0,0,0)),0) == :apply
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
32
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
33 @test range_size(m', (0,0)) == :domain_size
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34 @test domain_size(m', (0,0,0)) == :range_size
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
35 end
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
36
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
37 @testset "TensorApplication" begin
186
715ff09bb2ce Rename and export types in LazyTensors follow julia conventions
Jonatan Werpers <jonatan@werpers.com>
parents: 184
diff changeset
38 struct DummyMapping{T,R,D} <: TensorMapping{T,R,D} end
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
39
184
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
40 LazyTensors.apply(m::DummyMapping{T,R,D}, v, i) where {T,R,D} = (:apply,v,i)
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
41 LazyTensors.apply_transpose(m::DummyMapping{T,R,D}, v, i) where {T,R,D} = :apply_transpose
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
42
184
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
43 LazyTensors.range_size(m::DummyMapping{T,R,D}, domain_size) where {T,R,D} = 2 .* domain_size
6945c15a6a7a Rename package LazyTensor to LazyTensors
Jonatan Werpers <jonatan@werpers.com>
parents: 180
diff changeset
44 LazyTensors.domain_size(m::DummyMapping{T,R,D}, range_size) where {T,R,D} = range_size.÷2
180
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
45
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
46
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
47 m = DummyMapping{Int, 1, 1}()
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
48 v = [0,1,2]
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
49 @test m*v isa AbstractVector{Int}
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
50 @test size(m*v) == 2 .*size(v)
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
51 @test (m*v)[0] == (:apply,v,0)
b7397ae8afaf Move tensor mappings to a package LazyTensor
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
52 @test m*m*v isa AbstractVector{Int}
191
25d2ef206fe9 Add a few test cases for TensorApplication
Jonatan Werpers <jonatan@werpers.com>
parents: 186
diff changeset
53 @test (m*m*v)[1] == (:apply,m*v,1)
25d2ef206fe9 Add a few test cases for TensorApplication
Jonatan Werpers <jonatan@werpers.com>
parents: 186
diff changeset
54 @test (m*m*v)[3] == (:apply,m*v,3)
25d2ef206fe9 Add a few test cases for TensorApplication
Jonatan Werpers <jonatan@werpers.com>
parents: 186
diff changeset
55 @test (m*m*v)[6] == (:apply,m*v,6)
25d2ef206fe9 Add a few test cases for TensorApplication
Jonatan Werpers <jonatan@werpers.com>
parents: 186
diff changeset
56 @test_broken BoundsError == (m*m*v)[0]
25d2ef206fe9 Add a few test cases for TensorApplication
Jonatan Werpers <jonatan@werpers.com>
parents: 186
diff changeset
57 @test_broken BoundsError == (m*m*v)[7]
198
b5c9be7f391c Fix up some formatting
Jonatan Werpers <jonatan@werpers.com>
parents: 191
diff changeset
58 end
200
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
59
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
60 @testset "LazyArray" begin
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
61 struct DummyArray{T,D, T1<:AbstractArray{T,D}} <: LazyArray{T,D}
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
62 data::T1
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
63 end
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
64 Base.size(v::DummyArray) = size(v.data)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
65 Base.getindex(v::DummyArray, I...) = v.data[I...]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
66
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
67 # Test lazy operations
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
68 v1 = [1, 2.3, 4]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
69 v2 = [1., 2, 3]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
70 r_add = v1 .+ v2
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
71 r_sub = v1 .- v2
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
72 r_times = v1 .* v2
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
73 r_div = v1 ./ v2
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
74 @test isa(v1 +̃ v2, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
75 @test isa(v1 -̃ v2, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
76 @test isa(v1 *̃ v2, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
77 @test isa(v1 /̃ v2, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
78 for i ∈ eachindex(v1)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
79 @test (v1 +̃ v2)[i] == r_add[i]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
80 @test (v1 -̃ v2)[i] == r_sub[i]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
81 @test (v1 *̃ v2)[i] == r_times[i]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
82 @test (v1 /̃ v2)[i] == r_div[i]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
83 end
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
84 @test_throws BoundsError (v1 +̃ v2)[4]
201
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
85 v2 = [1., 2, 3, 4]
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
86 # Test that size of arrays is asserted when not specified inbounds
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
87 @test_throws AssertionError v1 +̃ v2
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
88 # Test that no error checking is performed when specified inbounds
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
89 res = (v1,v2) -> (@inbounds (v1 +̃ v2)[1] == 2)
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
90 @test res(v1,v2)
200
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
91
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
92 # Test operations on LazyArray
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
93 v1 = DummyArray([1, 2.3, 4])
201
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
94 v2 = [1., 2, 3]
200
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
95 @test isa(v1 + v2, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
96 @test isa(v2 + v1, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
97 @test isa(v1 - v2, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
98 @test isa(v2 - v1, LazyArray)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
99 for i ∈ eachindex(v2)
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
100 @test (v1 + v2)[i] == (v2 + v1)[i] == r_add[i]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
101 @test (v1 - v2)[i] == -(v2 - v1)[i] == r_sub[i]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
102 end
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
103 @test_throws BoundsError (v1 + v2)[4]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
104 v2 = [1., 2, 3, 4]
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
105 # Test that size of arrays is asserted when not specified inbounds
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
106 @test_throws AssertionError v1 + v2
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
107 # Test that no error checking is performed when specified inbounds
201
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
108 res = (v1,v2) -> (@inbounds (v1 + v2)[1] == 2)
6b7019f2cd41 Add/fix test checking that no size assertion is performed when lazy operations and operations on lazy arrays are decorated using @inbounds
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 200
diff changeset
109 @test res(v1,v2)
200
c19bfad0e836 Add tests for LazyArrays and lazy operations
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 198
diff changeset
110 end