annotate test/SbpOperators/boundaryops/normal_derivative_test.jl @ 2015:5c2448d6a201 feature/grids/geometry_functions tip

Structure tests a bit more
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 09 May 2025 15:57:38 +0200
parents 471a948cd2b2
children f3d7e2d7a43f
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
1726
471a948cd2b2 Rename project from Sbplib to Diffinitive
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1672
diff changeset
3 using Diffinitive.SbpOperators
471a948cd2b2 Rename project from Sbplib to Diffinitive
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1672
diff changeset
4 using Diffinitive.Grids
471a948cd2b2 Rename project from Sbplib to Diffinitive
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1672
diff changeset
5 using Diffinitive.LazyTensors
471a948cd2b2 Rename project from Sbplib to Diffinitive
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1672
diff changeset
6 using Diffinitive.RegionIndices
471a948cd2b2 Rename project from Sbplib to Diffinitive
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1672
diff changeset
7 import Diffinitive.SbpOperators.BoundaryOperator
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9 @testset "normal_derivative" begin
1529
43aaf710463e Change to signature of equidistant_grid to same style as many array methods.
Jonatan Werpers <jonatan@werpers.com>
parents: 1283
diff changeset
10 g_1D = equidistant_grid(0.0, 1.0, 11)
43aaf710463e Change to signature of equidistant_grid to same style as many array methods.
Jonatan Werpers <jonatan@werpers.com>
parents: 1283
diff changeset
11 g_2D = equidistant_grid((0.0, 0.0), (1.0,1.0), 11, 12)
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12 @testset "normal_derivative" begin
1018
5ec49dd2c7c4 Reintroduce read_stencil_set
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 989
diff changeset
13 stencil_set = read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order=4)
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14 @testset "1D" begin
1672
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
15 d_l = normal_derivative(g_1D, stencil_set, LowerBoundary())
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
16 @test d_l == normal_derivative(g_1D, stencil_set, LowerBoundary())
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
17 @test d_l isa BoundaryOperator{T,LowerBoundary} where T
995
1ba8a398af9c Rename types
Jonatan Werpers <jonatan@werpers.com>
parents: 961
diff changeset
18 @test d_l isa LazyTensor{T,0,1} where T
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
19 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
20 @testset "2D" begin
1672
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
21 d_w = normal_derivative(g_2D, stencil_set, CartesianBoundary{1,LowerBoundary}())
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
22 d_n = normal_derivative(g_2D, stencil_set, CartesianBoundary{2,UpperBoundary}())
995
1ba8a398af9c Rename types
Jonatan Werpers <jonatan@werpers.com>
parents: 961
diff changeset
23 Ix = IdentityTensor{Float64}((size(g_2D)[1],))
1ba8a398af9c Rename types
Jonatan Werpers <jonatan@werpers.com>
parents: 961
diff changeset
24 Iy = IdentityTensor{Float64}((size(g_2D)[2],))
1672
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
25 d_l = normal_derivative(g_2D.grids[1], stencil_set, LowerBoundary())
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
26 d_r = normal_derivative(g_2D.grids[2], stencil_set, UpperBoundary())
3714a391545a Make the boundary identifiers for EquidistantGrid subtype BoundaryIdentifer
Vidar Stiernström <vidar.stiernstrom@gmail.com>
parents: 1529
diff changeset
27 @test d_w == normal_derivative(g_2D, stencil_set, CartesianBoundary{1,LowerBoundary}())
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
28 @test d_w == d_l⊗Iy
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
29 @test d_n == Ix⊗d_r
995
1ba8a398af9c Rename types
Jonatan Werpers <jonatan@werpers.com>
parents: 961
diff changeset
30 @test d_w isa LazyTensor{T,1,2} where T
1ba8a398af9c Rename types
Jonatan Werpers <jonatan@werpers.com>
parents: 961
diff changeset
31 @test d_n isa LazyTensor{T,1,2} where T
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
32 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
33 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34 @testset "Accuracy" begin
1283
54c3ed752730 Make tests for normal_derivative work
Jonatan Werpers <jonatan@werpers.com>
parents: 1040
diff changeset
35 v = eval_on(g_2D, (x,y)-> x^2 + (y-1)^2 + x*y)
54c3ed752730 Make tests for normal_derivative work
Jonatan Werpers <jonatan@werpers.com>
parents: 1040
diff changeset
36 v∂x = eval_on(g_2D, (x,y)-> 2*x + y)
54c3ed752730 Make tests for normal_derivative work
Jonatan Werpers <jonatan@werpers.com>
parents: 1040
diff changeset
37 v∂y = eval_on(g_2D, (x,y)-> 2*(y-1) + x)
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
38 # TODO: Test for higher order polynomials?
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
39 @testset "2nd order" begin
1018
5ec49dd2c7c4 Reintroduce read_stencil_set
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 989
diff changeset
40 stencil_set = read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order=2)
1283
54c3ed752730 Make tests for normal_derivative work
Jonatan Werpers <jonatan@werpers.com>
parents: 1040
diff changeset
41 d_w, d_e, d_s, d_n = normal_derivative.(Ref(g_2D), Ref(stencil_set), boundary_identifiers(g_2D))
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
42
918
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
43 @test d_w*v ≈ -v∂x[1,:] atol = 1e-13
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
44 @test d_e*v ≈ v∂x[end,:] atol = 1e-13
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
45 @test d_s*v ≈ -v∂y[:,1] atol = 1e-13
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
46 @test d_n*v ≈ v∂y[:,end] atol = 1e-13
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
47 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
48
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
49 @testset "4th order" begin
1018
5ec49dd2c7c4 Reintroduce read_stencil_set
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 989
diff changeset
50 stencil_set = read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order=4)
1283
54c3ed752730 Make tests for normal_derivative work
Jonatan Werpers <jonatan@werpers.com>
parents: 1040
diff changeset
51 d_w, d_e, d_s, d_n = normal_derivative.(Ref(g_2D), Ref(stencil_set), boundary_identifiers(g_2D))
961
775d5513da8f Review: Fix boundary operator tests according to review comments
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 950
diff changeset
52
918
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
53 @test d_w*v ≈ -v∂x[1,:] atol = 1e-13
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
54 @test d_e*v ≈ v∂x[end,:] atol = 1e-13
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
55 @test d_s*v ≈ -v∂y[:,1] atol = 1e-13
35be8253de89 Change the sign of normal derivatives
Jonatan Werpers <jonatan@werpers.com>
parents: 772
diff changeset
56 @test d_n*v ≈ v∂y[:,end] atol = 1e-13
728
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
57 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
58 end
45966c77cb20 Split tests for SbpOperators over several files
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
59 end