Mercurial > repos > public > sbplib_julia

annotate test/LazyTensors/tuple_manipulation_test.jl @ 1228:73f262a0a384 refactor/LazyTensors/tuple_manipulation

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add @inline to definition of split_tuple
author Jonatan Werpers <jonatan@werpers.com>
date Sun, 19 Feb 2023 11:41:40 +0100
parents 06b983f0d236
children 8f4259fbd39c
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
271aa6ae1055 Split out a file for tensor types
Jonatan Werpers <jonatan@werpers.com>
parents: 997
diff changeset
2 using Sbplib.LazyTensors
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
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
5 @test LazyTensors.split_index(Val(2),Val(1),Val(2),Val(2),1,2,3,4,5,6) == ((1,2,:,5,6),(3,4))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
6 @test LazyTensors.split_index(Val(2),Val(3),Val(2),Val(2),1,2,3,4,5,6) == ((1,2,:,:,:,5,6),(3,4))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 @test LazyTensors.split_index(Val(3),Val(1),Val(1),Val(2),1,2,3,4,5,6) == ((1,2,3,:,5,6),(4,))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8 @test LazyTensors.split_index(Val(3),Val(2),Val(1),Val(2),1,2,3,4,5,6) == ((1,2,3,:,:,5,6),(4,))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9 @test LazyTensors.split_index(Val(1),Val(1),Val(2),Val(3),1,2,3,4,5,6) == ((1,:,4,5,6),(2,3))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10 @test LazyTensors.split_index(Val(1),Val(2),Val(2),Val(3),1,2,3,4,5,6) == ((1,:,:,4,5,6),(2,3))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12 @test LazyTensors.split_index(Val(0),Val(1),Val(3),Val(3),1,2,3,4,5,6) == ((:,4,5,6),(1,2,3))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
13 @test LazyTensors.split_index(Val(3),Val(1),Val(3),Val(0),1,2,3,4,5,6) == ((1,2,3,:),(4,5,6))
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
15 @inferred LazyTensors.split_index(Val(2),Val(3),Val(2),Val(2),1,2,3,2,2,4)
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
16 end
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
17
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
18 @testset "split_tuple" begin
1223
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
19 @testset "general" begin
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
20 @test LazyTensors.split_tuple((),()) == ()
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
21 @test LazyTensors.split_tuple((),(0,)) == ((),)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
22 @test LazyTensors.split_tuple((1,), (1,)) == tuple((1,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
23 @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
24 @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
25 @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
26 @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
27 @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
28
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
29 err_msg = "length(t) must equal sum(szs)"
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
30 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((), (2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
31 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((2,), ())
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
32 @test_throws ArgumentError(err_msg) LazyTensors.split_tuple((1,), (2,))
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
33 @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
34 @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
35
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
36
1228
73f262a0a384 Add @inline to definition of split_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1227
diff changeset
37 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
38
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
39 @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
40 @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
41 @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
42 @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
43 @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
44 end
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
45 end
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
46
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
47 @testset "sizes_to_ranges" begin
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
48 @test LazyTensors.sizes_to_ranges((1,)) == (1:1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
49 @test LazyTensors.sizes_to_ranges((2,)) == (1:2,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
50 @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
51 @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
52 @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
53 @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
54 @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
55 end
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
56
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
57 @testset "concatenate_tuples" begin
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
58 @test LazyTensors.concatenate_tuples(()) == ()
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
59 @test LazyTensors.concatenate_tuples((1,)) == (1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
60 @test LazyTensors.concatenate_tuples((1,), ()) == (1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
61 @test LazyTensors.concatenate_tuples((),(1,)) == (1,)
5bfb182e24dc Start adding simpler code
Jonatan Werpers <jonatan@werpers.com>
parents: 1031
diff changeset
62 @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
63 @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
64 end
20c376dffe84 Move tuple functions to their own file
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
65
1031
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
66 @testset "left_pad_tuple" begin
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
67 @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
68 @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
69 @test LazyTensors.left_pad_tuple((3,2), 1, 6) == (1,1,1,1,3,2)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
70
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
71 @test_throws DomainError(0, "Can't pad tuple of length 2 to 0 elements") LazyTensors.left_pad_tuple((1,2), 0, 0) == (1,2)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
72 end
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
73
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
74 @testset "right_pad_tuple" begin
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
75 @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
76 @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
77 @test LazyTensors.right_pad_tuple((3,2), 1, 6) == (3,2,1,1,1,1)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
78
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
79 @test_throws DomainError(0, "Can't pad tuple of length 2 to 0 elements") LazyTensors.right_pad_tuple((1,2), 0, 0) == (1,2)
0905cec43d2e Add left and right pad functions for tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 1002
diff changeset
80 end