annotate test/SbpOperators/boundaryops/boundary_restriction_test.jl @ 827:beae513ef8b3 operator_storage_array_of_table

Fix bug in boundary_restriction when grids and stencil does not have matching type
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 12 Jan 2022 07:45:38 +0100
parents bea2feebbeca
children 47425442bbc5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 using Test
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3 using Sbplib.SbpOperators
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
4 using Sbplib.Grids
732
6114274447f5 Add missing using and imports in test files
Jonatan Werpers <jonatan@werpers.com>
parents: 728
diff changeset
5 using Sbplib.RegionIndices
6114274447f5 Add missing using and imports in test files
Jonatan Werpers <jonatan@werpers.com>
parents: 728
diff changeset
6 using Sbplib.LazyTensors
6114274447f5 Add missing using and imports in test files
Jonatan Werpers <jonatan@werpers.com>
parents: 728
diff changeset
7
6114274447f5 Add missing using and imports in test files
Jonatan Werpers <jonatan@werpers.com>
parents: 728
diff changeset
8 import Sbplib.SbpOperators.BoundaryOperator
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10 @testset "boundary_restriction" begin
772
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
11 stencil_set = read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order = 4)
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
12 e_closure = parse_stencil(stencil_set["e"]["closure"])
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
13 g_1D = EquidistantGrid(11, 0.0, 1.0)
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14 g_2D = EquidistantGrid((11,15), (0.0, 0.0), (1.0,1.0))
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
15
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
16 @testset "boundary_restriction" begin
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
17 @testset "1D" begin
772
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
18 e_l = boundary_restriction(g_1D,e_closure,Lower())
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
19 @test e_l == boundary_restriction(g_1D,e_closure,CartesianBoundary{1,Lower}())
827
beae513ef8b3 Fix bug in boundary_restriction when grids and stencil does not have matching type
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
20 @test e_l == BoundaryOperator(g_1D,Stencil{Float64}(e_closure),Lower())
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
21 @test e_l isa BoundaryOperator{T,Lower} where T
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
22 @test e_l isa TensorMapping{T,0,1} where T
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
23
772
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
24 e_r = boundary_restriction(g_1D,e_closure,Upper())
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
25 @test e_r == boundary_restriction(g_1D,e_closure,CartesianBoundary{1,Upper}())
827
beae513ef8b3 Fix bug in boundary_restriction when grids and stencil does not have matching type
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
26 @test e_r == BoundaryOperator(g_1D,Stencil{Float64}(e_closure),Upper())
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
27 @test e_r isa BoundaryOperator{T,Upper} where T
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
28 @test e_r isa TensorMapping{T,0,1} where T
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
29 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
30
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
31 @testset "2D" begin
772
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
32 e_w = boundary_restriction(g_2D,e_closure,CartesianBoundary{1,Upper}())
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
33 @test e_w isa InflatedTensorMapping
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34 @test e_w isa TensorMapping{T,1,2} where T
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
35 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
36 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
37
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
38 @testset "Application" begin
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
39 @testset "1D" begin
772
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
40 e_l = boundary_restriction(g_1D, e_closure, CartesianBoundary{1,Lower}())
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
41 e_r = boundary_restriction(g_1D, e_closure, CartesianBoundary{1,Upper}())
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
42
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
43 v = evalOn(g_1D,x->1+x^2)
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
44 u = fill(3.124)
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
45
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
46 @test (e_l*v)[] == v[1]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
47 @test (e_r*v)[] == v[end]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
48 @test (e_r*v)[1] == v[end]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
49 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
50
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
51 @testset "2D" begin
772
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
52 e_w = boundary_restriction(g_2D, e_closure, CartesianBoundary{1,Lower}())
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
53 e_e = boundary_restriction(g_2D, e_closure, CartesianBoundary{1,Upper}())
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
54 e_s = boundary_restriction(g_2D, e_closure, CartesianBoundary{2,Lower}())
bea2feebbeca Fix boundaryops tests
Jonatan Werpers <jonatan@werpers.com>
parents: 732
diff changeset
55 e_n = boundary_restriction(g_2D, e_closure, CartesianBoundary{2,Upper}())
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
56
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
57 v = rand(11, 15)
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
58 u = fill(3.124)
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
59
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
60 @test e_w*v == v[1,:]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
61 @test e_e*v == v[end,:]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
62 @test e_s*v == v[:,1]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
63 @test e_n*v == v[:,end]
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
64 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
65 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
66 end