annotate test/LazyTensors/tuple_manipulation_test.jl @ 1871:b1eb33e62d1e refactor/grids/iterable_boundary_indices

Remove unneded type paramter name
author Jonatan Werpers <jonatan@werpers.com>
date Mon, 27 Jan 2025 09:17:54 +0100
parents 471a948cd2b2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1002
271aa6ae1055 Split out a file for tensor types
Jonatan Werpers <jonatan@werpers.com>
parents: 997
diff changeset
1 using Test
1726
471a948cd2b2 Rename project from Sbplib to Diffinitive
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1237
diff changeset
2 using Diffinitive.LazyTensors
1002
271aa6ae1055 Split out a file for tensor types
Jonatan Werpers <jonatan@werpers.com>
parents: 997
diff changeset
3
997
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
4 @testset "split_index" begin
1229
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
5 @test LazyTensors.split_index(2,1,2,2, 1,2,3,4,5,6) == ((1,2,:,5,6),(3,4))
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
6 @test LazyTensors.split_index(2,3,2,2, 1,2,3,4,5,6) == ((1,2,:,:,:,5,6),(3,4))
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
7 @test LazyTensors.split_index(3,1,1,2, 1,2,3,4,5,6) == ((1,2,3,:,5,6),(4,))
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
8 @test LazyTensors.split_index(3,2,1,2, 1,2,3,4,5,6) == ((1,2,3,:,:,5,6),(4,))
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
9 @test LazyTensors.split_index(1,1,2,3, 1,2,3,4,5,6) == ((1,:,4,5,6),(2,3))
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
10 @test LazyTensors.split_index(1,2,2,3, 1,2,3,4,5,6) == ((1,:,:,4,5,6),(2,3))
997
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11
1229
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
12 @test LazyTensors.split_index(0,1,3,3, 1,2,3,4,5,6) == ((:,4,5,6),(1,2,3))
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
13 @test LazyTensors.split_index(3,1,3,0, 1,2,3,4,5,6) == ((1,2,3,:),(4,5,6))
997
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14
1237
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
15 split_index_static(::Val{dim_before},
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
16 ::Val{dim_view},
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
17 ::Val{dim_index},
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
18 ::Val{dim_after}, I...) where {dim_before,dim_view,dim_index,dim_after} =
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
19 LazyTensors.split_index(dim_before, dim_view, dim_index, dim_after, I...)
1229
8f4259fbd39c Simplify split_index
Jonatan Werpers <jonatan@werpers.com>
parents: 1228
diff changeset
20 @inferred split_index_static(Val(2),Val(3),Val(2),Val(2),1,2,3,2,2,4)
997
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
21 end
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
22
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
23 @testset "split_tuple" begin
1223
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
24 @testset "general" begin
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
25 @test LazyTensors.split_tuple((),()) == ()
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
26 @test LazyTensors.split_tuple((),(0,)) == ((),)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
27 @test LazyTensors.split_tuple((1,), (1,)) == tuple((1,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
28 @test LazyTensors.split_tuple((1,2), (1,1)) == tuple((1,),(2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
29 @test LazyTensors.split_tuple((1,2), (0,1,1)) == tuple((),(1,),(2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
30 @test LazyTensors.split_tuple((1,2), (1,0,1)) == tuple((1,),(),(2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
31 @test LazyTensors.split_tuple((1,2), (1,1,0)) == tuple((1,),(2,),())
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
32 @test LazyTensors.split_tuple((1,2,3,4), (2,0,1,1)) == tuple((1,2),(),(3,),(4,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
33
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
34 err_msg = "length(t) must equal sum(szs)"
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
35 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((), (2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
36 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((2,), ())
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
37 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((1,), (2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
38 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((1,2), (1,2))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
39 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((1,2), (1))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
40
1228
73f262a0a384 Add @inline to definition of split_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1227
diff changeset
41 split_tuple_static(t, ::Val{SZS}) where {SZS} = LazyTensors.split_tuple(t,SZS)
1223
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
42 @inferred split_tuple_static((1,2,3,4,5,6), Val((3,1,2)))
1227
06b983f0d236 Delete complicated versions of split_tuple and slice_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1225
diff changeset
43 @inferred split_tuple_static((1,2,3,4),Val((3,1)))
06b983f0d236 Delete complicated versions of split_tuple and slice_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1225
diff changeset
44 @inferred split_tuple_static((1,2,true,4),Val((3,1)))
06b983f0d236 Delete complicated versions of split_tuple and slice_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1225
diff changeset
45 @inferred split_tuple_static((1,2,3,4,5,6),Val((3,2,1)))
06b983f0d236 Delete complicated versions of split_tuple and slice_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1225
diff changeset
46 @inferred split_tuple_static((1,true,3),Val((1,1,1)))
1223
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
47 end
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
48 end
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
49
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
50 @testset "sizes_to_ranges" begin
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
51 @test LazyTensors.sizes_to_ranges((1,)) == (1:1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
52 @test LazyTensors.sizes_to_ranges((2,)) == (1:2,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
53 @test LazyTensors.sizes_to_ranges((2,3)) == (1:2,3:5)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
54 @test LazyTensors.sizes_to_ranges((3,2,4)) == (1:3,4:5,6:9)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
55 @test LazyTensors.sizes_to_ranges((0,2)) == (1:0,1:2)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
56 @test LazyTensors.sizes_to_ranges((2,0)) == (1:2,2:1)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
57 @test LazyTensors.sizes_to_ranges((2,0,3)) == (1:2,2:1,3:5)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
58 end
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
59
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
60 @testset "concatenate_tuples" begin
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
61 @test LazyTensors.concatenate_tuples(()) == ()
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
62 @test LazyTensors.concatenate_tuples((1,)) == (1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
63 @test LazyTensors.concatenate_tuples((1,), ()) == (1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
64 @test LazyTensors.concatenate_tuples((),(1,)) == (1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
65 @test LazyTensors.concatenate_tuples((1,2,3),(4,5)) == (1,2,3,4,5)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
66 @test LazyTensors.concatenate_tuples((1,2,3),(4,5),(6,7)) == (1,2,3,4,5,6,7)
997
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
67 end
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
68
1031
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
69 @testset "left_pad_tuple" begin
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
70 @test LazyTensors.left_pad_tuple((1,2), 0, 2) == (1,2)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
71 @test LazyTensors.left_pad_tuple((1,2), 0, 3) == (0,1,2)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
72 @test LazyTensors.left_pad_tuple((3,2), 1, 6) == (1,1,1,1,3,2)
1237
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
73 err_msg = "Can't pad tuple of length 2 to 0 elements"
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
74 @test_throws DomainError(0, err_msg) LazyTensors.left_pad_tuple((1,2), 0, 0) == (1,2)
1031
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
75 end
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
76
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
77 @testset "right_pad_tuple" begin
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
78 @test LazyTensors.right_pad_tuple((1,2), 0, 2) == (1,2)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
79 @test LazyTensors.right_pad_tuple((1,2), 0, 3) == (1,2,0)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
80 @test LazyTensors.right_pad_tuple((3,2), 1, 6) == (3,2,1,1,1,1)
1237
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
81 err_msg = "Can't pad tuple of length 2 to 0 elements"
66012b95fa7b Improve readability
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 1231
diff changeset
82 @test_throws DomainError(0,err_msg) LazyTensors.right_pad_tuple((1,2), 0, 0) == (1,2)
1031
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
83 end