Mercurial > repos > public > sbplib_julia

annotate test/testSbpOperators.jl @ 707:ee1808820929 feature/laplace_opset

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove obsolete opset from tests
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Mon, 15 Feb 2021 17:59:51 +0100
parents 19301615b340
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
1 using Test
335
f4e3e71a4ff4 Fix `using` commands to refer to local modules within the Sbplib package/module
Jonatan Werpers <jonatan@werpers.com>
parents: 333
diff changeset
2 using Sbplib.SbpOperators
f4e3e71a4ff4 Fix `using` commands to refer to local modules within the Sbplib package/module
Jonatan Werpers <jonatan@werpers.com>
parents: 333
diff changeset
3 using Sbplib.Grids
f4e3e71a4ff4 Fix `using` commands to refer to local modules within the Sbplib package/module
Jonatan Werpers <jonatan@werpers.com>
parents: 333
diff changeset
4 using Sbplib.RegionIndices
f4e3e71a4ff4 Fix `using` commands to refer to local modules within the Sbplib package/module
Jonatan Werpers <jonatan@werpers.com>
parents: 333
diff changeset
5 using Sbplib.LazyTensors
395
737e597e0e6d Rewrite broken tests as testing that the norm is zero
Jonatan Werpers <jonatan@werpers.com>
parents: 389
diff changeset
6 using LinearAlgebra
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
7 using TOML
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
8
613
eaa8c852ddf2 Import Stecil in tests to make it less verbose
Jonatan Werpers <jonatan@werpers.com>
parents: 605
diff changeset
9 import Sbplib.SbpOperators.Stencil
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
10 import Sbplib.SbpOperators.VolumeOperator
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
11 import Sbplib.SbpOperators.volume_operator
619
332f65c1abf3 Remove export of BoundaryOperator and VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 617
diff changeset
12 import Sbplib.SbpOperators.BoundaryOperator
332f65c1abf3 Remove export of BoundaryOperator and VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 617
diff changeset
13 import Sbplib.SbpOperators.boundary_operator
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
14 import Sbplib.SbpOperators.even
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
15 import Sbplib.SbpOperators.odd
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
16
613
eaa8c852ddf2 Import Stecil in tests to make it less verbose
Jonatan Werpers <jonatan@werpers.com>
parents: 605
diff changeset
17
338
2b0c9b30ea3b Add test sets for each submodule to make the test output nicer
Jonatan Werpers <jonatan@werpers.com>
parents: 335
diff changeset
18 @testset "SbpOperators" begin
2b0c9b30ea3b Add test sets for each submodule to make the test output nicer
Jonatan Werpers <jonatan@werpers.com>
parents: 335
diff changeset
19
584
4aa7fe13a984 Add scale() and eltype() methods for stencils
Jonatan Werpers <jonatan@werpers.com>
parents: 397
diff changeset
20 @testset "Stencil" begin
613
eaa8c852ddf2 Import Stecil in tests to make it less verbose
Jonatan Werpers <jonatan@werpers.com>
parents: 605
diff changeset
21 s = Stencil((-2,2), (1.,2.,2.,3.,4.))
eaa8c852ddf2 Import Stecil in tests to make it less verbose
Jonatan Werpers <jonatan@werpers.com>
parents: 605
diff changeset
22 @test s isa Stencil{Float64, 5}
584
4aa7fe13a984 Add scale() and eltype() methods for stencils
Jonatan Werpers <jonatan@werpers.com>
parents: 397
diff changeset
23
4aa7fe13a984 Add scale() and eltype() methods for stencils
Jonatan Werpers <jonatan@werpers.com>
parents: 397
diff changeset
24 @test eltype(s) == Float64
613
eaa8c852ddf2 Import Stecil in tests to make it less verbose
Jonatan Werpers <jonatan@werpers.com>
parents: 605
diff changeset
25 @test SbpOperators.scale(s, 2) == Stencil((-2,2), (2.,4.,4.,6.,8.))
595
03ef4d4740ab Add a constructor for Stencil where you can specify the center of the stencil
Jonatan Werpers <jonatan@werpers.com>
parents: 594
diff changeset
26
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
27 @test Stencil(1,2,3,4; center=1) == Stencil((0, 3),(1,2,3,4))
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
28 @test Stencil(1,2,3,4; center=2) == Stencil((-1, 2),(1,2,3,4))
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
29 @test Stencil(1,2,3,4; center=4) == Stencil((-3, 0),(1,2,3,4))
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
30
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
31 @test CenteredStencil(1,2,3,4,5) == Stencil((-2, 2), (1,2,3,4,5))
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
32 @test_throws ArgumentError CenteredStencil(1,2,3,4)
584
4aa7fe13a984 Add scale() and eltype() methods for stencils
Jonatan Werpers <jonatan@werpers.com>
parents: 397
diff changeset
33 end
4aa7fe13a984 Add scale() and eltype() methods for stencils
Jonatan Werpers <jonatan@werpers.com>
parents: 397
diff changeset
34
603
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
35 @testset "parse_rational" begin
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
36 @test SbpOperators.parse_rational("1") isa Rational
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
37 @test SbpOperators.parse_rational("1") == 1//1
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
38 @test SbpOperators.parse_rational("1/2") isa Rational
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
39 @test SbpOperators.parse_rational("1/2") == 1//2
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
40 @test SbpOperators.parse_rational("37/13") isa Rational
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
41 @test SbpOperators.parse_rational("37/13") == 37//13
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
42 end
fbff4009c08a Add tests for parse_rational()
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
43
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
44 @testset "readoperator" begin
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
45 toml_str = """
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
46 [meta]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
47 type = "equidistant"
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
48
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
49 [order2]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
50 H.inner = ["1"]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
51
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
52 D1.inner_stencil = ["-1/2", "0", "1/2"]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
53 D1.closure_stencils = [
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
54 ["-1", "1"],
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
55 ]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
56
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
57 d1.closure = ["-3/2", "2", "-1/2"]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
58
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
59 [order4]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
60 H.closure = ["17/48", "59/48", "43/48", "49/48"]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
61
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
62 D2.inner_stencil = ["-1/12","4/3","-5/2","4/3","-1/12"]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
63 D2.closure_stencils = [
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
64 [ "2", "-5", "4", "-1", "0", "0"],
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
65 [ "1", "-2", "1", "0", "0", "0"],
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
66 [ "-4/43", "59/43", "-110/43", "59/43", "-4/43", "0"],
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
67 [ "-1/49", "0", "59/49", "-118/49", "64/49", "-4/49"],
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
68 ]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
69 """
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
70
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
71 parsed_toml = TOML.parse(toml_str)
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
72 @testset "get_stencil" begin
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
73 @test get_stencil(parsed_toml, "order2", "D1", "inner_stencil") == Stencil(-1/2, 0., 1/2, center=2)
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
74 @test get_stencil(parsed_toml, "order2", "D1", "inner_stencil", center=1) == Stencil(-1/2, 0., 1/2; center=1)
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
75 @test get_stencil(parsed_toml, "order2", "D1", "inner_stencil", center=3) == Stencil(-1/2, 0., 1/2; center=3)
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
76
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
77 @test get_stencil(parsed_toml, "order2", "H", "inner") == Stencil(1.; center=1)
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
78
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
79 @test_throws AssertionError get_stencil(parsed_toml, "meta", "type")
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
80 @test_throws AssertionError get_stencil(parsed_toml, "order2", "D1", "closure_stencils")
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
81 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
82
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
83 @testset "get_stencils" begin
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
84 @test get_stencils(parsed_toml, "order2", "D1", "closure_stencils", centers=(1,)) == (Stencil(-1., 1., center=1),)
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
85 @test get_stencils(parsed_toml, "order2", "D1", "closure_stencils", centers=(2,)) == (Stencil(-1., 1., center=2),)
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
86 @test get_stencils(parsed_toml, "order2", "D1", "closure_stencils", centers=[2]) == (Stencil(-1., 1., center=2),)
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
87
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
88 @test get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=[1,1,1,1]) == (
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
89 Stencil( 2., -5., 4., -1., 0., 0., center=1),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
90 Stencil( 1., -2., 1., 0., 0., 0., center=1),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
91 Stencil( -4/43, 59/43, -110/43, 59/43, -4/43, 0., center=1),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
92 Stencil( -1/49, 0., 59/49, -118/49, 64/49, -4/49, center=1),
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
93 )
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
94
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
95 @test get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=(4,2,3,1)) == (
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
96 Stencil( 2., -5., 4., -1., 0., 0., center=4),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
97 Stencil( 1., -2., 1., 0., 0., 0., center=2),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
98 Stencil( -4/43, 59/43, -110/43, 59/43, -4/43, 0., center=3),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
99 Stencil( -1/49, 0., 59/49, -118/49, 64/49, -4/49, center=1),
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
100 )
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
101
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
102 @test get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=1:4) == (
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
103 Stencil( 2., -5., 4., -1., 0., 0., center=1),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
104 Stencil( 1., -2., 1., 0., 0., 0., center=2),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
105 Stencil( -4/43, 59/43, -110/43, 59/43, -4/43, 0., center=3),
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
106 Stencil( -1/49, 0., 59/49, -118/49, 64/49, -4/49, center=4),
604
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
107 )
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
108
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
109 @test_throws AssertionError get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=(1,2,3))
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
110 @test_throws AssertionError get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=(1,2,3,5,4))
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
111 @test_throws AssertionError get_stencils(parsed_toml, "order4", "D2", "inner_stencil",centers=(1,2))
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
112 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
113
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
114 @testset "get_tuple" begin
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
115 @test get_tuple(parsed_toml, "order2", "d1", "closure") == (-3/2, 2, -1/2)
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
116
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
117 @test_throws AssertionError get_tuple(parsed_toml, "meta", "type")
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
118 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
119 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple
Jonatan Werpers <jonatan@werpers.com>
parents: 595
diff changeset
120
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
121 @testset "VolumeOperator" begin
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
122 inner_stencil = CenteredStencil(1/4, 2/4, 1/4)
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
123 closure_stencils = (Stencil(1/2, 1/2; center=1), Stencil(0.,1.; center=2))
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
124 g_1D = EquidistantGrid(11,0.,1.)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
125 g_2D = EquidistantGrid((11,12),(0.,0.),(1.,1.))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
126 g_3D = EquidistantGrid((11,12,10),(0.,0.,0.),(1.,1.,1.))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
127 @testset "Constructors" begin
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
128 @testset "1D" begin
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
129 op = VolumeOperator(inner_stencil,closure_stencils,(11,),even)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
130 @test op == VolumeOperator(g_1D,inner_stencil,closure_stencils,even)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
131 @test op == volume_operator(g_1D,inner_stencil,closure_stencils,even,1)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
132 @test op isa TensorMapping{T,1,1} where T
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
133 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
134 @testset "2D" begin
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
135 op_x = volume_operator(g_2D,inner_stencil,closure_stencils,even,1)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
136 op_y = volume_operator(g_2D,inner_stencil,closure_stencils,even,2)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
137 Ix = IdentityMapping{Float64}((11,))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
138 Iy = IdentityMapping{Float64}((12,))
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
139 @test op_x == VolumeOperator(inner_stencil,closure_stencils,(11,),even)⊗Iy
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
140 @test op_y == Ix⊗VolumeOperator(inner_stencil,closure_stencils,(12,),even)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
141 @test op_x isa TensorMapping{T,2,2} where T
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
142 @test op_y isa TensorMapping{T,2,2} where T
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
143 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
144 @testset "3D" begin
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
145 op_x = volume_operator(g_3D,inner_stencil,closure_stencils,even,1)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
146 op_y = volume_operator(g_3D,inner_stencil,closure_stencils,even,2)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
147 op_z = volume_operator(g_3D,inner_stencil,closure_stencils,even,3)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
148 Ix = IdentityMapping{Float64}((11,))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
149 Iy = IdentityMapping{Float64}((12,))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
150 Iz = IdentityMapping{Float64}((10,))
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
151 @test op_x == VolumeOperator(inner_stencil,closure_stencils,(11,),even)⊗Iy⊗Iz
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
152 @test op_y == Ix⊗VolumeOperator(inner_stencil,closure_stencils,(12,),even)⊗Iz
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
153 @test op_z == Ix⊗Iy⊗VolumeOperator(inner_stencil,closure_stencils,(10,),even)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
154 @test op_x isa TensorMapping{T,3,3} where T
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
155 @test op_y isa TensorMapping{T,3,3} where T
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
156 @test op_z isa TensorMapping{T,3,3} where T
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
157 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
158 end
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
159
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
160 @testset "Sizes" begin
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
161 @testset "1D" begin
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
162 op = volume_operator(g_1D,inner_stencil,closure_stencils,even,1)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
163 @test range_size(op) == domain_size(op) == size(g_1D)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
164 end
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
165
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
166 @testset "2D" begin
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
167 op_x = volume_operator(g_2D,inner_stencil,closure_stencils,even,1)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
168 op_y = volume_operator(g_2D,inner_stencil,closure_stencils,even,2)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
169 @test range_size(op_y) == domain_size(op_y) ==
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
170 range_size(op_x) == domain_size(op_x) == size(g_2D)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
171 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
172 @testset "3D" begin
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
173 op_x = volume_operator(g_3D,inner_stencil,closure_stencils,even,1)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
174 op_y = volume_operator(g_3D,inner_stencil,closure_stencils,even,2)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
175 op_z = volume_operator(g_3D,inner_stencil,closure_stencils,even,3)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
176 @test range_size(op_z) == domain_size(op_z) ==
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
177 range_size(op_y) == domain_size(op_y) ==
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
178 range_size(op_x) == domain_size(op_x) == size(g_3D)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
179 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
180 end
219
69a6049e14d9 Create package SbpOperators
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
181
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
182 op_x = volume_operator(g_2D,inner_stencil,closure_stencils,even,1)
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
183 op_y = volume_operator(g_2D,inner_stencil,closure_stencils,odd,2)
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
184 v = zeros(size(g_2D))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
185 Nx = size(g_2D)[1]
632
bf8b66c596f7 Use operator with odd parity in test for VolumeOpertors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 631
diff changeset
186 Ny = size(g_2D)[2]
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
187 for i = 1:Nx
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
188 v[i,:] .= i
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
189 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
190 rx = copy(v)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
191 rx[1,:] .= 1.5
632
bf8b66c596f7 Use operator with odd parity in test for VolumeOpertors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 631
diff changeset
192 rx[Nx,:] .= (2*Nx-1)/2
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
193 ry = copy(v)
632
bf8b66c596f7 Use operator with odd parity in test for VolumeOpertors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 631
diff changeset
194 ry[:,Ny-1:Ny] = -v[:,Ny-1:Ny]
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
195
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
196 @testset "Application" begin
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
197 @test op_x*v ≈ rx rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
198 @test op_y*v ≈ ry rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
199 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
200
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
201 @testset "Regions" begin
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
202 @test (op_x*v)[Index(1,Lower),Index(3,Interior)] ≈ rx[1,3] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
203 @test (op_x*v)[Index(2,Lower),Index(3,Interior)] ≈ rx[2,3] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
204 @test (op_x*v)[Index(6,Interior),Index(3,Interior)] ≈ rx[6,3] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
205 @test (op_x*v)[Index(10,Upper),Index(3,Interior)] ≈ rx[10,3] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
206 @test (op_x*v)[Index(11,Upper),Index(3,Interior)] ≈ rx[11,3] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
207
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
208 @test_throws BoundsError (op_x*v)[Index(3,Lower),Index(3,Interior)]
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
209 @test_throws BoundsError (op_x*v)[Index(9,Upper),Index(3,Interior)]
388
5223872485cd Clean up grid creation
Jonatan Werpers <jonatan@werpers.com>
parents: 387
diff changeset
210
628
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
211 @test (op_y*v)[Index(3,Interior),Index(1,Lower)] ≈ ry[3,1] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
212 @test (op_y*v)[Index(3,Interior),Index(2,Lower)] ≈ ry[3,2] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
213 @test (op_y*v)[Index(3,Interior),Index(6,Interior)] ≈ ry[3,6] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
214 @test (op_y*v)[Index(3,Interior),Index(11,Upper)] ≈ ry[3,11] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
215 @test (op_y*v)[Index(3,Interior),Index(12,Upper)] ≈ ry[3,12] rtol = 1e-14
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
216
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
217 @test_throws BoundsError (op_y*v)[Index(3,Interior),Index(10,Upper)]
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
218 @test_throws BoundsError (op_y*v)[Index(3,Interior),Index(3,Lower)]
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
219 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
220
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
221 @testset "Inferred" begin
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
222 @inferred apply(op_x, v,1,1)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
223 @inferred apply(op_x, v, Index(1,Lower),Index(1,Lower))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
224 @inferred apply(op_x, v, Index(6,Interior),Index(1,Lower))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
225 @inferred apply(op_x, v, Index(11,Upper),Index(1,Lower))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
226
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
227 @inferred apply(op_y, v,1,1)
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
228 @inferred apply(op_y, v, Index(1,Lower),Index(1,Lower))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
229 @inferred apply(op_y, v, Index(1,Lower),Index(6,Interior))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
230 @inferred apply(op_y, v, Index(1,Lower),Index(11,Upper))
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
231 end
316dbfd31d35 Add tests for VolumeOperator
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 622
diff changeset
232
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
233 end
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
234
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
235 @testset "SecondDerivative" begin
594
cc86b920531a Change the readoperator function to use the .toml format
Jonatan Werpers <jonatan@werpers.com>
parents: 586
diff changeset
236 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
237 Lx = 3.5
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
238 Ly = 3.
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
239 g_1D = EquidistantGrid(121, 0.0, Lx)
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
240 g_2D = EquidistantGrid((121,123), (0.0, 0.0), (Lx, Ly))
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
241
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
242 @testset "Constructors" begin
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
243 @testset "1D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
244 Dₓₓ = second_derivative(g_1D,op.innerStencil,op.closureStencils)
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
245 @test Dₓₓ == second_derivative(g_1D,op.innerStencil,op.closureStencils,1)
629
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
246 @test Dₓₓ isa VolumeOperator
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
247 end
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
248 @testset "2D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
249 Dₓₓ = second_derivative(g_2D,op.innerStencil,op.closureStencils,1)
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
250 D2 = second_derivative(g_1D,op.innerStencil,op.closureStencils)
629
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
251 I = IdentityMapping{Float64}(size(g_2D)[2])
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
252 @test Dₓₓ == D2⊗I
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
253 @test Dₓₓ isa TensorMapping{T,2,2} where T
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
254 end
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
255 end
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
256
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
257 # Exact differentiation is measured point-wise. In other cases
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
258 # the error is measured in the l2-norm.
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
259 @testset "Accuracy" begin
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
260 @testset "1D" begin
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
261 l2(v) = sqrt(spacing(g_1D)[1]*sum(v.^2));
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
262 monomials = ()
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
263 maxOrder = 4;
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
264 for i = 0:maxOrder-1
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
265 f_i(x) = 1/factorial(i)*x^i
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
266 monomials = (monomials...,evalOn(g_1D,f_i))
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
267 end
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
268 v = evalOn(g_1D,x -> sin(x))
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
269 vₓₓ = evalOn(g_1D,x -> -sin(x))
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
270
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
271 # 2nd order interior stencil, 1nd order boundary stencil,
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
272 # implies that L*v should be exact for monomials up to order 2.
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
273 @testset "2nd order" begin
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
274 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
275 Dₓₓ = second_derivative(g_1D,op.innerStencil,op.closureStencils)
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
276 @test Dₓₓ*monomials[1] ≈ zeros(Float64,size(g_1D)...) atol = 5e-10
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
277 @test Dₓₓ*monomials[2] ≈ zeros(Float64,size(g_1D)...) atol = 5e-10
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
278 @test Dₓₓ*monomials[3] ≈ monomials[1] atol = 5e-10
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
279 @test Dₓₓ*v ≈ vₓₓ rtol = 5e-2 norm = l2
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
280 end
254
4ca3794fffef Add apply_quadrature to SbpOperators
Jonatan Werpers <jonatan@werpers.com>
parents: 219
diff changeset
281
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
282 # 4th order interior stencil, 2nd order boundary stencil,
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
283 # implies that L*v should be exact for monomials up to order 3.
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
284 @testset "4th order" begin
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
285 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
286 Dₓₓ = second_derivative(g_1D,op.innerStencil,op.closureStencils)
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
287 # NOTE: high tolerances for checking the "exact" differentiation
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
288 # due to accumulation of round-off errors/cancellation errors?
629
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
289 @test Dₓₓ*monomials[1] ≈ zeros(Float64,size(g_1D)...) atol = 5e-10
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
290 @test Dₓₓ*monomials[2] ≈ zeros(Float64,size(g_1D)...) atol = 5e-10
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
291 @test Dₓₓ*monomials[3] ≈ monomials[1] atol = 5e-10
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
292 @test Dₓₓ*monomials[4] ≈ monomials[2] atol = 5e-10
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
293 @test Dₓₓ*v ≈ vₓₓ rtol = 5e-4 norm = l2
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
294 end
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
295 end
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
296
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
297 @testset "2D" begin
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
298 l2(v) = sqrt(prod(spacing(g_2D))*sum(v.^2));
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
299 binomials = ()
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
300 maxOrder = 4;
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
301 for i = 0:maxOrder-1
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
302 f_i(x,y) = 1/factorial(i)*y^i + x^i
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
303 binomials = (binomials...,evalOn(g_2D,f_i))
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
304 end
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
305 v = evalOn(g_2D, (x,y) -> sin(x)+cos(y))
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
306 v_yy = evalOn(g_2D,(x,y) -> -cos(y))
622
f799678357df Move comment
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 621
diff changeset
307
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
308 # 2nd order interior stencil, 1st order boundary stencil,
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
309 # implies that L*v should be exact for binomials up to order 2.
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
310 @testset "2nd order" begin
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
311 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
312 Dyy = second_derivative(g_2D,op.innerStencil,op.closureStencils,2)
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
313 @test Dyy*binomials[1] ≈ zeros(Float64,size(g_2D)...) atol = 5e-9
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
314 @test Dyy*binomials[2] ≈ zeros(Float64,size(g_2D)...) atol = 5e-9
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
315 @test Dyy*binomials[3] ≈ evalOn(g_2D,(x,y)->1.) atol = 5e-9
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
316 @test Dyy*v ≈ v_yy rtol = 5e-2 norm = l2
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
317 end
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
318
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
319 # 4th order interior stencil, 2nd order boundary stencil,
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
320 # implies that L*v should be exact for binomials up to order 3.
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
321 @testset "4th order" begin
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
322 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
323 Dyy = second_derivative(g_2D,op.innerStencil,op.closureStencils,2)
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
324 # NOTE: high tolerances for checking the "exact" differentiation
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
325 # due to accumulation of round-off errors/cancellation errors?
629
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
326 @test Dyy*binomials[1] ≈ zeros(Float64,size(g_2D)...) atol = 5e-9
22a0971f7f84 Add tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 628
diff changeset
327 @test Dyy*binomials[2] ≈ zeros(Float64,size(g_2D)...) atol = 5e-9
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
328 @test Dyy*binomials[3] ≈ evalOn(g_2D,(x,y)->1.) atol = 5e-9
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
329 @test Dyy*binomials[4] ≈ evalOn(g_2D,(x,y)->y) atol = 5e-9
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
330 @test Dyy*v ≈ v_yy rtol = 5e-4 norm = l2
621
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
331 end
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
332 end
60d7c1752cfa Restructure tests for SecondDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 620
diff changeset
333 end
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
334 end
254
4ca3794fffef Add apply_quadrature to SbpOperators
Jonatan Werpers <jonatan@werpers.com>
parents: 219
diff changeset
335
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
336 @testset "Laplace" begin
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
337 g_1D = EquidistantGrid(101, 0.0, 1.)
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
338 g_3D = EquidistantGrid((51,101,52), (0.0, -1.0, 0.0), (1., 1., 1.))
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
339 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
340 @testset "Constructors" begin
705
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
341
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
342 @testset "1D" begin
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
343 # Create all tensor mappings included in Laplace
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
344 Δ = laplace(g_1D, op.innerStencil, op.closureStencils)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
345 H = inner_product(g_1D, op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
346 Hi = inverse_inner_product(g_1D, op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
347
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
348 (id_l, id_r) = boundary_identifiers(g_1D)
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
349
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
350 e_l = boundary_restriction(g_1D,op.eClosure,id_l)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
351 e_r = boundary_restriction(g_1D,op.eClosure,id_r)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
352 e_dict = Dict(Pair(id_l,e_l),Pair(id_r,e_r))
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
353
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
354 d_l = normal_derivative(g_1D,op.dClosure,id_l)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
355 d_r = normal_derivative(g_1D,op.dClosure,id_r)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
356 d_dict = Dict(Pair(id_l,d_l),Pair(id_r,d_r))
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
357
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
358 H_l = inner_product(boundary_grid(g_1D,id_l),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
359 H_r = inner_product(boundary_grid(g_1D,id_r),op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
360 Hb_dict = Dict(Pair(id_l,H_l),Pair(id_r,H_r))
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
361
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
362 L = Laplace(g_1D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
703
988e9cfcd58d Add function for == comparison of the fields for a struct, and apply to Laplace tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 702
diff changeset
363 @test cmp_fields(L,Laplace(Δ,H,Hi,e_dict,d_dict,Hb_dict))
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
364 @test L isa TensorMapping{T,1,1} where T
679
54ce3f9771e5 Add inferred tests to standard constructor
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 678
diff changeset
365 @inferred Laplace(Δ,H,Hi,e_dict,d_dict,Hb_dict)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
366 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
367 @testset "3D" begin
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
368 # Create all tensor mappings included in Laplace
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
369 Δ = laplace(g_3D, op.innerStencil, op.closureStencils)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
370 H = inner_product(g_3D, op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
371 Hi = inverse_inner_product(g_3D, op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
372
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
373 (id_l, id_r, id_s, id_n, id_b, id_t) = boundary_identifiers(g_3D)
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
374
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
375 e_l = boundary_restriction(g_3D,op.eClosure,id_l)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
376 e_r = boundary_restriction(g_3D,op.eClosure,id_r)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
377 e_s = boundary_restriction(g_3D,op.eClosure,id_s)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
378 e_n = boundary_restriction(g_3D,op.eClosure,id_n)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
379 e_b = boundary_restriction(g_3D,op.eClosure,id_b)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
380 e_t = boundary_restriction(g_3D,op.eClosure,id_t)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
381 e_dict = Dict(Pair(id_l,e_l),Pair(id_r,e_r),
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
382 Pair(id_s,e_s),Pair(id_n,e_n),
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
383 Pair(id_b,e_b),Pair(id_t,e_t))
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
384
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
385 d_l = normal_derivative(g_3D,op.dClosure,id_l)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
386 d_r = normal_derivative(g_3D,op.dClosure,id_r)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
387 d_s = normal_derivative(g_3D,op.dClosure,id_s)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
388 d_n = normal_derivative(g_3D,op.dClosure,id_n)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
389 d_b = normal_derivative(g_3D,op.dClosure,id_b)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
390 d_t = normal_derivative(g_3D,op.dClosure,id_t)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
391 d_dict = Dict(Pair(id_l,d_l),Pair(id_r,d_r),
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
392 Pair(id_s,d_s),Pair(id_n,d_n),
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
393 Pair(id_b,d_b),Pair(id_t,d_t))
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
394
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
395 H_l = inner_product(boundary_grid(g_3D,id_l),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
396 H_r = inner_product(boundary_grid(g_3D,id_r),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
397 H_s = inner_product(boundary_grid(g_3D,id_s),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
398 H_n = inner_product(boundary_grid(g_3D,id_n),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
399 H_b = inner_product(boundary_grid(g_3D,id_b),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
400 H_t = inner_product(boundary_grid(g_3D,id_t),op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
401 Hb_dict = Dict(Pair(id_l,H_l),Pair(id_r,H_r),
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
402 Pair(id_s,H_s),Pair(id_n,H_n),
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
403 Pair(id_b,H_b),Pair(id_t,H_t))
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
404
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
405 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
703
988e9cfcd58d Add function for == comparison of the fields for a struct, and apply to Laplace tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 702
diff changeset
406 @test cmp_fields(L,Laplace(Δ,H,Hi,e_dict,d_dict,Hb_dict))
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
407 @test L isa TensorMapping{T,3,3} where T
679
54ce3f9771e5 Add inferred tests to standard constructor
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 678
diff changeset
408 @inferred Laplace(Δ,H,Hi,e_dict,d_dict,Hb_dict)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
409 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
410 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
411
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
412 @testset "laplace" begin
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
413 @testset "1D" begin
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
414 L = laplace(g_1D, op.innerStencil, op.closureStencils)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
415 @test L == second_derivative(g_1D, op.innerStencil, op.closureStencils)
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
416 @test L isa TensorMapping{T,1,1} where T
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
417 end
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
418 @testset "3D" begin
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
419 L = laplace(g_3D, op.innerStencil, op.closureStencils)
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
420 @test L isa TensorMapping{T,3,3} where T
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
421 Dxx = second_derivative(g_3D, op.innerStencil, op.closureStencils,1)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
422 Dyy = second_derivative(g_3D, op.innerStencil, op.closureStencils,2)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
423 Dzz = second_derivative(g_3D, op.innerStencil, op.closureStencils,3)
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
424 @test L == Dxx + Dyy + Dzz
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
425 @test L isa TensorMapping{T,3,3} where T
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
426 end
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
427 end
356
0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there.
Jonatan Werpers <jonatan@werpers.com>
parents: 338
diff changeset
428
705
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
429 @testset "inner_product" begin
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
430 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
431 @test inner_product(L) == inner_product(g_3D,op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
432 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
433
705
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
434 @testset "inverse_inner_product" begin
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
435 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
436 @test inverse_inner_product(L) == inverse_inner_product(g_3D,op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
437 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
438
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
439 @testset "boundary_restriction" begin
705
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
440 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
441 id_l = CartesianBoundary{1,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
442 id_r = CartesianBoundary{1,Upper}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
443 id_s = CartesianBoundary{2,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
444 id_n = CartesianBoundary{2,Upper}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
445 id_b = CartesianBoundary{3,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
446 id_t = CartesianBoundary{3,Upper}()
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
447 @test boundary_restriction(L,id_l) == boundary_restriction(g_3D,op.eClosure,id_l)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
448 @test boundary_restriction(L,id_r) == boundary_restriction(g_3D,op.eClosure,id_r)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
449 @test boundary_restriction(L,id_s) == boundary_restriction(g_3D,op.eClosure,id_s)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
450 @test boundary_restriction(L,id_n) == boundary_restriction(g_3D,op.eClosure,id_n)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
451 @test boundary_restriction(L,id_b) == boundary_restriction(g_3D,op.eClosure,id_b)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
452 @test boundary_restriction(L,id_t) == boundary_restriction(g_3D,op.eClosure,id_t)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
453 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
454
705
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
455 @testset "normal_derivative" begin
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
456 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
457 id_l = CartesianBoundary{1,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
458 id_r = CartesianBoundary{1,Upper}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
459 id_s = CartesianBoundary{2,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
460 id_n = CartesianBoundary{2,Upper}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
461 id_b = CartesianBoundary{3,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
462 id_t = CartesianBoundary{3,Upper}()
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
463 @test normal_derivative(L,id_l) == normal_derivative(g_3D,op.dClosure,id_l)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
464 @test normal_derivative(L,id_r) == normal_derivative(g_3D,op.dClosure,id_r)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
465 @test normal_derivative(L,id_s) == normal_derivative(g_3D,op.dClosure,id_s)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
466 @test normal_derivative(L,id_n) == normal_derivative(g_3D,op.dClosure,id_n)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
467 @test normal_derivative(L,id_b) == normal_derivative(g_3D,op.dClosure,id_b)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
468 @test normal_derivative(L,id_t) == normal_derivative(g_3D,op.dClosure,id_t)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
469 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
470
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
471 @testset "boundary_quadrature" begin
705
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
472 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
473 id_l = CartesianBoundary{1,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
474 id_r = CartesianBoundary{1,Upper}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
475 id_s = CartesianBoundary{2,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
476 id_n = CartesianBoundary{2,Upper}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
477 id_b = CartesianBoundary{3,Lower}()
bf1387f867b8 Add tests for Laplace field getter functions
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 703
diff changeset
478 id_t = CartesianBoundary{3,Upper}()
707
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
479 @test boundary_quadrature(L,id_l) == inner_product(boundary_grid(g_3D,id_l),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
480 @test boundary_quadrature(L,id_r) == inner_product(boundary_grid(g_3D,id_r),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
481 @test boundary_quadrature(L,id_s) == inner_product(boundary_grid(g_3D,id_s),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
482 @test boundary_quadrature(L,id_n) == inner_product(boundary_grid(g_3D,id_n),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
483 @test boundary_quadrature(L,id_b) == inner_product(boundary_grid(g_3D,id_b),op.quadratureClosure)
ee1808820929 Remove obsolete opset from tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 706
diff changeset
484 @test boundary_quadrature(L,id_t) == inner_product(boundary_grid(g_3D,id_t),op.quadratureClosure)
678
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
485 end
730565f7cc2e Update constructor tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 670
diff changeset
486
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
487 # Exact differentiation is measured point-wise. In other cases
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
488 # the error is measured in the l2-norm.
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
489 @testset "Accuracy" begin
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
490 l2(v) = sqrt(prod(spacing(g_3D))*sum(v.^2));
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
491 polynomials = ()
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
492 maxOrder = 4;
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
493 for i = 0:maxOrder-1
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
494 f_i(x,y,z) = 1/factorial(i)*(y^i + x^i + z^i)
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
495 polynomials = (polynomials...,evalOn(g_3D,f_i))
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
496 end
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
497 v = evalOn(g_3D, (x,y,z) -> sin(x) + cos(y) + exp(z))
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
498 Δv = evalOn(g_3D,(x,y,z) -> -sin(x) - cos(y) + exp(z))
314
accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 254
diff changeset
499
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
500 # 2nd order interior stencil, 1st order boundary stencil,
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
501 # implies that L*v should be exact for binomials up to order 2.
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
502 @testset "2nd order" begin
706
19301615b340 Use the Laplace struct in tests for accuracy
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 705
diff changeset
503 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=2)
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
504 @test L*polynomials[1] ≈ zeros(Float64, size(g_3D)...) atol = 5e-9
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
505 @test L*polynomials[2] ≈ zeros(Float64, size(g_3D)...) atol = 5e-9
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
506 @test L*polynomials[3] ≈ polynomials[1] atol = 5e-9
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
507 @test L*v ≈ Δv rtol = 5e-2 norm = l2
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
508 end
254
4ca3794fffef Add apply_quadrature to SbpOperators
Jonatan Werpers <jonatan@werpers.com>
parents: 219
diff changeset
509
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
510 # 4th order interior stencil, 2nd order boundary stencil,
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
511 # implies that L*v should be exact for binomials up to order 3.
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
512 @testset "4th order" begin
706
19301615b340 Use the Laplace struct in tests for accuracy
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 705
diff changeset
513 L = Laplace(g_3D, sbp_operators_path()*"standard_diagonal.toml"; order=4)
649
351937390162 Clean up testSbpOperators (remove some redundat tests, remove todos and fix use of Parity)
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 646
diff changeset
514 # NOTE: high tolerances for checking the "exact" differentiation
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
515 # due to accumulation of round-off errors/cancellation errors?
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
516 @test L*polynomials[1] ≈ zeros(Float64, size(g_3D)...) atol = 5e-9
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
517 @test L*polynomials[2] ≈ zeros(Float64, size(g_3D)...) atol = 5e-9
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
518 @test L*polynomials[3] ≈ polynomials[1] atol = 5e-9
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
519 @test L*polynomials[4] ≈ polynomials[2] atol = 5e-9
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
520 @test L*v ≈ Δv rtol = 5e-4 norm = l2
630
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
521 end
9f0f1ace5101 Add tests for Laplace
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 629
diff changeset
522 end
254
4ca3794fffef Add apply_quadrature to SbpOperators
Jonatan Werpers <jonatan@werpers.com>
parents: 219
diff changeset
523 end
328
9cc5d1498b2d Refactor 1D diagonal inner product in quadrature.jl to separate file. Write tests for quadratures. Clean up laplace and secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 314
diff changeset
524
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
525 @testset "Diagonal-stencil inner_product" begin
551
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
526 Lx = π/2.
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
527 Ly = Float64(π)
670
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
528 Lz = 1.
551
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
529 g_1D = EquidistantGrid(77, 0.0, Lx)
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
530 g_2D = EquidistantGrid((77,66), (0.0, 0.0), (Lx,Ly))
670
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
531 g_3D = EquidistantGrid((10,10, 10), (0.0, 0.0, 0.0), (Lx,Ly,Lz))
553
d5c45785d318 Add test of accuracy conditions for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 552
diff changeset
532 integral(H,v) = sum(H*v)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
533 @testset "inner_product" begin
670
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
534 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
681
43cf58c69f91 Remove methods boundary_quadrature, and instead specialize quadrature on a zero-dimensional grid to return the IdentityMapping
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 675
diff changeset
535 @testset "0D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
536 H = inner_product(EquidistantGrid{Float64}(),op.quadratureClosure)
681
43cf58c69f91 Remove methods boundary_quadrature, and instead specialize quadrature on a zero-dimensional grid to return the IdentityMapping
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 675
diff changeset
537 @test H == IdentityMapping{Float64}()
43cf58c69f91 Remove methods boundary_quadrature, and instead specialize quadrature on a zero-dimensional grid to return the IdentityMapping
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 675
diff changeset
538 @test H isa TensorMapping{T,0,0} where T
43cf58c69f91 Remove methods boundary_quadrature, and instead specialize quadrature on a zero-dimensional grid to return the IdentityMapping
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 675
diff changeset
539 end
670
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
540 @testset "1D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
541 H = inner_product(g_1D,op.quadratureClosure)
675
1ce3a104afc8 Merge in default
Jonatan Werpers <jonatan@werpers.com>
parents: 670 671
diff changeset
542 inner_stencil = CenteredStencil(1.)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
543 @test H == inner_product(g_1D,op.quadratureClosure,inner_stencil)
670
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
544 @test H isa TensorMapping{T,1,1} where T
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
545 end
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
546 @testset "2D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
547 H = inner_product(g_2D,op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
548 H_x = inner_product(restrict(g_2D,1),op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
549 H_y = inner_product(restrict(g_2D,2),op.quadratureClosure)
670
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
550 @test H == H_x⊗H_y
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
551 @test H isa TensorMapping{T,2,2} where T
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
552 end
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
553 end
538ccbaeb1f8 Update quadrature tests
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 649
diff changeset
554
551
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
555 @testset "Sizes" begin
643
0928bbc3ee8b Add tests for SecondDerivative and Laplace for 2nd order accurate case
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 642
diff changeset
556 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
638
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
557 @testset "1D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
558 H = inner_product(g_1D,op.quadratureClosure)
638
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
559 @test domain_size(H) == size(g_1D)
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
560 @test range_size(H) == size(g_1D)
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
561 end
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
562 @testset "2D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
563 H = inner_product(g_2D,op.quadratureClosure)
638
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
564 @test domain_size(H) == size(g_2D)
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
565 @test range_size(H) == size(g_2D)
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
566 end
551
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
567 end
328
9cc5d1498b2d Refactor 1D diagonal inner product in quadrature.jl to separate file. Write tests for quadratures. Clean up laplace and secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 314
diff changeset
568
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
569 @testset "Accuracy" begin
638
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
570 @testset "1D" begin
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
571 v = ()
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
572 for i = 0:4
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
573 f_i(x) = 1/factorial(i)*x^i
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
574 v = (v...,evalOn(g_1D,f_i))
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
575 end
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
576 u = evalOn(g_1D,x->sin(x))
382
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken
Jonatan Werpers <jonatan@werpers.com>
parents: 379
diff changeset
577
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
578 @testset "2nd order" begin
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
579 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
580 H = inner_product(g_1D,op.quadratureClosure)
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
581 for i = 1:2
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
582 @test integral(H,v[i]) ≈ v[i+1][end] - v[i+1][1] rtol = 1e-14
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
583 end
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
584 @test integral(H,u) ≈ 1. rtol = 1e-4
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
585 end
553
d5c45785d318 Add test of accuracy conditions for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 552
diff changeset
586
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
587 @testset "4th order" begin
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
588 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
589 H = inner_product(g_1D,op.quadratureClosure)
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
590 for i = 1:4
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
591 @test integral(H,v[i]) ≈ v[i+1][end] - v[i+1][1] rtol = 1e-14
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
592 end
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
593 @test integral(H,u) ≈ 1. rtol = 1e-8
638
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
594 end
553
d5c45785d318 Add test of accuracy conditions for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 552
diff changeset
595 end
d5c45785d318 Add test of accuracy conditions for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 552
diff changeset
596
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
597 @testset "2D" begin
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
598 b = 2.1
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
599 v = b*ones(Float64, size(g_2D))
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
600 u = evalOn(g_2D,(x,y)->sin(x)+cos(y))
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
601 @testset "2nd order" begin
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
602 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
603 H = inner_product(g_2D,op.quadratureClosure)
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
604 @test integral(H,v) ≈ b*Lx*Ly rtol = 1e-13
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
605 @test integral(H,u) ≈ π rtol = 1e-4
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
606 end
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
607 @testset "4th order" begin
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
608 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
609 H = inner_product(g_2D,op.quadratureClosure)
641
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
610 @test integral(H,v) ≈ b*Lx*Ly rtol = 1e-13
5e50e9815732 Merge testsets Accuracy and Application for DiagonalQuadrature, and fix bugs
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 638
diff changeset
611 @test integral(H,u) ≈ π rtol = 1e-8
638
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
612 end
08b2c7a2d063 Implement the Quadrature operator as a VolumeOperator. Make DiagonalQuadrature a special case of the general Quadrature operator. Update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 634
diff changeset
613 end
551
8ac1d0fcba41 Add more tests for DiagonalQuadrature
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 505
diff changeset
614 end
328
9cc5d1498b2d Refactor 1D diagonal inner product in quadrature.jl to separate file. Write tests for quadratures. Clean up laplace and secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 314
diff changeset
615 end
9cc5d1498b2d Refactor 1D diagonal inner product in quadrature.jl to separate file. Write tests for quadratures. Clean up laplace and secondderivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 314
diff changeset
616
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
617 @testset "Diagonal-stencil inverse_inner_product" begin
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
618 Lx = π/2.
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
619 Ly = Float64(π)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
620 g_1D = EquidistantGrid(77, 0.0, Lx)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
621 g_2D = EquidistantGrid((77,66), (0.0, 0.0), (Lx,Ly))
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
622 @testset "inverse_inner_product" begin
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
623 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
698
5ddf28ddee18 Test inverse_inner_product on 0-dimensional grid
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 697
diff changeset
624 @testset "0D" begin
5ddf28ddee18 Test inverse_inner_product on 0-dimensional grid
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 697
diff changeset
625 Hi = inverse_inner_product(EquidistantGrid{Float64}(),op.quadratureClosure)
5ddf28ddee18 Test inverse_inner_product on 0-dimensional grid
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 697
diff changeset
626 @test Hi == IdentityMapping{Float64}()
5ddf28ddee18 Test inverse_inner_product on 0-dimensional grid
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 697
diff changeset
627 @test Hi isa TensorMapping{T,0,0} where T
5ddf28ddee18 Test inverse_inner_product on 0-dimensional grid
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 697
diff changeset
628 end
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
629 @testset "1D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
630 Hi = inverse_inner_product(g_1D, op.quadratureClosure);
671
e14627e79a54 Add stencil constructor for centered stencils and change from tuple to vararg in stencil constructor taking cneter
Jonatan Werpers <jonatan@werpers.com>
parents: 649
diff changeset
631 inner_stencil = CenteredStencil(1.)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
632 closures = ()
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
633 for i = 1:length(op.quadratureClosure)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
634 closures = (closures...,Stencil(op.quadratureClosure[i].range,1.0./op.quadratureClosure[i].weights))
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
635 end
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
636 @test Hi == inverse_inner_product(g_1D,closures,inner_stencil)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
637 @test Hi isa TensorMapping{T,1,1} where T
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
638 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
639 @testset "2D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
640 Hi = inverse_inner_product(g_2D,op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
641 Hi_x = inverse_inner_product(restrict(g_2D,1),op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
642 Hi_y = inverse_inner_product(restrict(g_2D,2),op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
643 @test Hi == Hi_x⊗Hi_y
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
644 @test Hi isa TensorMapping{T,2,2} where T
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
645 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
646 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
647
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
648 @testset "Sizes" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
649 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
650 @testset "1D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
651 Hi = inverse_inner_product(g_1D,op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
652 @test domain_size(Hi) == size(g_1D)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
653 @test range_size(Hi) == size(g_1D)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
654 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
655 @testset "2D" begin
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
656 Hi = inverse_inner_product(g_2D,op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
657 @test domain_size(Hi) == size(g_2D)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
658 @test range_size(Hi) == size(g_2D)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
659 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
660 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
661
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
662 @testset "Accuracy" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
663 @testset "1D" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
664 v = evalOn(g_1D,x->sin(x))
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
665 u = evalOn(g_1D,x->x^3-x^2+1)
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
666 @testset "2nd order" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
667 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
668 H = inner_product(g_1D,op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
669 Hi = inverse_inner_product(g_1D,op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
670 @test Hi*H*v ≈ v rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
671 @test Hi*H*u ≈ u rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
672 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
673 @testset "4th order" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
674 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
675 H = inner_product(g_1D,op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
676 Hi = inverse_inner_product(g_1D,op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
677 @test Hi*H*v ≈ v rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
678 @test Hi*H*u ≈ u rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
679 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
680 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
681 @testset "2D" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
682 v = evalOn(g_2D,(x,y)->sin(x)+cos(y))
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
683 u = evalOn(g_2D,(x,y)->x*y + x^5 - sqrt(y))
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
684 @testset "2nd order" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
685 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
686 H = inner_product(g_2D,op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
687 Hi = inverse_inner_product(g_2D,op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
688 @test Hi*H*v ≈ v rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
689 @test Hi*H*u ≈ u rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
690 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
691 @testset "4th order" begin
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
692 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
697
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
693 H = inner_product(g_2D,op.quadratureClosure)
1b3b8f82349e Update tests for inner_product and inverse_inner_product
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 694
diff changeset
694 Hi = inverse_inner_product(g_2D,op.quadratureClosure)
642
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
695 @test Hi*H*v ≈ v rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
696 @test Hi*H*u ≈ u rtol = 1e-15
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
697 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
698 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
699 end
f4a16b403487 Implement the inverse quadrature operator as a volume operator and update tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 641
diff changeset
700 end
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
701
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
702 @testset "BoundaryOperator" begin
617
f59e1732eacc Merge with default
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 612 613
diff changeset
703 closure_stencil = Stencil((0,2), (2.,1.,3.))
568
34d9e10f0001 Make grid larger in test to make sure there all kinds of regions are represented
Jonatan Werpers <jonatan@werpers.com>
parents: 567
diff changeset
704 g_1D = EquidistantGrid(11, 0.0, 1.0)
34d9e10f0001 Make grid larger in test to make sure there all kinds of regions are represented
Jonatan Werpers <jonatan@werpers.com>
parents: 567
diff changeset
705 g_2D = EquidistantGrid((11,15), (0.0, 0.0), (1.0,1.0))
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
706
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
707 @testset "Constructors" begin
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
708 @testset "1D" begin
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
709 op_l = BoundaryOperator{Lower}(closure_stencil,size(g_1D)[1])
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
710 @test op_l == BoundaryOperator(g_1D,closure_stencil,Lower())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
711 @test op_l == boundary_operator(g_1D,closure_stencil,CartesianBoundary{1,Lower}())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
712 @test op_l isa TensorMapping{T,0,1} where T
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
713
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
714 op_r = BoundaryOperator{Upper}(closure_stencil,size(g_1D)[1])
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
715 @test op_r == BoundaryOperator(g_1D,closure_stencil,Upper())
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
716 @test op_r == boundary_operator(g_1D,closure_stencil,CartesianBoundary{1,Upper}())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
717 @test op_r isa TensorMapping{T,0,1} where T
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
718 end
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
719
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
720 @testset "2D" begin
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
721 e_w = boundary_operator(g_2D,closure_stencil,CartesianBoundary{1,Upper}())
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
722 @test e_w isa InflatedTensorMapping
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
723 @test e_w isa TensorMapping{T,1,2} where T
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
724 end
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
725 end
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
726
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
727 op_l = boundary_operator(g_1D, closure_stencil, CartesianBoundary{1,Lower}())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
728 op_r = boundary_operator(g_1D, closure_stencil, CartesianBoundary{1,Upper}())
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
729
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
730 op_w = boundary_operator(g_2D, closure_stencil, CartesianBoundary{1,Lower}())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
731 op_e = boundary_operator(g_2D, closure_stencil, CartesianBoundary{1,Upper}())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
732 op_s = boundary_operator(g_2D, closure_stencil, CartesianBoundary{2,Lower}())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
733 op_n = boundary_operator(g_2D, closure_stencil, CartesianBoundary{2,Upper}())
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
734
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
735 @testset "Sizes" begin
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
736 @testset "1D" begin
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
737 @test domain_size(op_l) == (11,)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
738 @test domain_size(op_r) == (11,)
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
739
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
740 @test range_size(op_l) == ()
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
741 @test range_size(op_r) == ()
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
742 end
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
743
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
744 @testset "2D" begin
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
745 @test domain_size(op_w) == (11,15)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
746 @test domain_size(op_e) == (11,15)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
747 @test domain_size(op_s) == (11,15)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
748 @test domain_size(op_n) == (11,15)
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
749
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
750 @test range_size(op_w) == (15,)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
751 @test range_size(op_e) == (15,)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
752 @test range_size(op_s) == (11,)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
753 @test range_size(op_n) == (11,)
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
754 end
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
755 end
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
756
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
757 @testset "Application" begin
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
758 @testset "1D" begin
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
759 v = evalOn(g_1D,x->1+x^2)
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
760 u = fill(3.124)
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
761 @test (op_l*v)[] == 2*v[1] + v[2] + 3*v[3]
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
762 @test (op_r*v)[] == 2*v[end] + v[end-1] + 3*v[end-2]
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
763 @test (op_r*v)[1] == 2*v[end] + v[end-1] + 3*v[end-2]
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
764 @test op_l'*u == [2*u[]; u[]; 3*u[]; zeros(8)]
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
765 @test op_r'*u == [zeros(8); 3*u[]; u[]; 2*u[]]
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
766 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
767
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
768 @testset "2D" begin
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
769 v = rand(size(g_2D)...)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
770 u = fill(3.124)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
771 @test op_w*v ≈ 2*v[1,:] + v[2,:] + 3*v[3,:] rtol = 1e-14
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
772 @test op_e*v ≈ 2*v[end,:] + v[end-1,:] + 3*v[end-2,:] rtol = 1e-14
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
773 @test op_s*v ≈ 2*v[:,1] + v[:,2] + 3*v[:,3] rtol = 1e-14
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
774 @test op_n*v ≈ 2*v[:,end] + v[:,end-1] + 3*v[:,end-2] rtol = 1e-14
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
775
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
776
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
777 g_x = rand(size(g_2D)[1])
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
778 g_y = rand(size(g_2D)[2])
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
779
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
780 G_w = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
781 G_w[1,:] = 2*g_y
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
782 G_w[2,:] = g_y
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
783 G_w[3,:] = 3*g_y
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
784
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
785 G_e = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
786 G_e[end,:] = 2*g_y
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
787 G_e[end-1,:] = g_y
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
788 G_e[end-2,:] = 3*g_y
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
789
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
790 G_s = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
791 G_s[:,1] = 2*g_x
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
792 G_s[:,2] = g_x
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
793 G_s[:,3] = 3*g_x
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
794
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
795 G_n = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
796 G_n[:,end] = 2*g_x
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
797 G_n[:,end-1] = g_x
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
798 G_n[:,end-2] = 3*g_x
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
799
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
800 @test op_w'*g_y == G_w
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
801 @test op_e'*g_y == G_e
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
802 @test op_s'*g_x == G_s
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
803 @test op_n'*g_x == G_n
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
804 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
805
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
806 @testset "Regions" begin
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
807 u = fill(3.124)
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
808 @test (op_l'*u)[Index(1,Lower)] == 2*u[]
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
809 @test (op_l'*u)[Index(2,Lower)] == u[]
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
810 @test (op_l'*u)[Index(6,Interior)] == 0
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
811 @test (op_l'*u)[Index(10,Upper)] == 0
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
812 @test (op_l'*u)[Index(11,Upper)] == 0
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
813
631
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
814 @test (op_r'*u)[Index(1,Lower)] == 0
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
815 @test (op_r'*u)[Index(2,Lower)] == 0
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
816 @test (op_r'*u)[Index(6,Interior)] == 0
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
817 @test (op_r'*u)[Index(10,Upper)] == u[]
fb915bce2228 Fix indentation
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 630
diff changeset
818 @test (op_r'*u)[Index(11,Upper)] == 2*u[]
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
819 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
820 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
821
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
822 @testset "Inferred" begin
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
823 v = ones(Float64, 11)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
824 u = fill(1.)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
825
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
826 @inferred apply(op_l, v)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
827 @inferred apply(op_r, v)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
828
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
829 @inferred apply_transpose(op_l, u, 4)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
830 @inferred apply_transpose(op_l, u, Index(1,Lower))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
831 @inferred apply_transpose(op_l, u, Index(2,Lower))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
832 @inferred apply_transpose(op_l, u, Index(6,Interior))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
833 @inferred apply_transpose(op_l, u, Index(10,Upper))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
834 @inferred apply_transpose(op_l, u, Index(11,Upper))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
835
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
836 @inferred apply_transpose(op_r, u, 4)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
837 @inferred apply_transpose(op_r, u, Index(1,Lower))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
838 @inferred apply_transpose(op_r, u, Index(2,Lower))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
839 @inferred apply_transpose(op_r, u, Index(6,Interior))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
840 @inferred apply_transpose(op_r, u, Index(10,Upper))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
841 @inferred apply_transpose(op_r, u, Index(11,Upper))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
842 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
843
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
844 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
845
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
846 @testset "boundary_restriction" begin
617
f59e1732eacc Merge with default
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 612 613
diff changeset
847 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
848 g_1D = EquidistantGrid(11, 0.0, 1.0)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
849 g_2D = EquidistantGrid((11,15), (0.0, 0.0), (1.0,1.0))
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
850
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
851 @testset "boundary_restriction" begin
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
852 @testset "1D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
853 e_l = boundary_restriction(g_1D,op.eClosure,Lower())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
854 @test e_l == boundary_restriction(g_1D,op.eClosure,CartesianBoundary{1,Lower}())
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
855 @test e_l == BoundaryOperator(g_1D,op.eClosure,Lower())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
856 @test e_l isa BoundaryOperator{T,Lower} where T
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
857 @test e_l isa TensorMapping{T,0,1} where T
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
858
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
859 e_r = boundary_restriction(g_1D,op.eClosure,Upper())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
860 @test e_r == boundary_restriction(g_1D,op.eClosure,CartesianBoundary{1,Upper}())
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
861 @test e_r == BoundaryOperator(g_1D,op.eClosure,Upper())
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
862 @test e_r isa BoundaryOperator{T,Upper} where T
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
863 @test e_r isa TensorMapping{T,0,1} where T
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
864 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
865
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
866 @testset "2D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
867 e_w = boundary_restriction(g_2D,op.eClosure,CartesianBoundary{1,Upper}())
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
868 @test e_w isa InflatedTensorMapping
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
869 @test e_w isa TensorMapping{T,1,2} where T
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
870 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
871 end
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
872
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
873 @testset "Application" begin
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
874 @testset "1D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
875 e_l = boundary_restriction(g_1D, op.eClosure, CartesianBoundary{1,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
876 e_r = boundary_restriction(g_1D, op.eClosure, CartesianBoundary{1,Upper}())
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
877
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
878 v = evalOn(g_1D,x->1+x^2)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
879 u = fill(3.124)
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
880
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
881 @test (e_l*v)[] == v[1]
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
882 @test (e_r*v)[] == v[end]
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
883 @test (e_r*v)[1] == v[end]
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
884 end
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
885
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
886 @testset "2D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
887 e_w = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{1,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
888 e_e = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{1,Upper}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
889 e_s = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{2,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
890 e_n = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{2,Upper}())
610
e40e7439d1b4 Add a general boundary operator and make BoundaryRestriction a specialization of it.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 586
diff changeset
891
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
892 v = rand(11, 15)
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
893 u = fill(3.124)
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
894
576
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
895 @test e_w*v == v[1,:]
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
896 @test e_e*v == v[end,:]
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
897 @test e_s*v == v[:,1]
1d4417ced79f Put test sets around 1d and 2d tests
Jonatan Werpers <jonatan@werpers.com>
parents: 575
diff changeset
898 @test e_n*v == v[:,end]
573
4e2490f568aa Add tests for apply_transpose and different regions
Jonatan Werpers <jonatan@werpers.com>
parents: 572
diff changeset
899 end
544
884be64e82d9 Add test case illustrating issue in split_index for region indices.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 519
diff changeset
900 end
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
901 end
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
902
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
903 @testset "normal_derivative" begin
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
904 g_1D = EquidistantGrid(11, 0.0, 1.0)
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
905 g_2D = EquidistantGrid((11,12), (0.0, 0.0), (1.0,1.0))
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
906 @testset "normal_derivative" begin
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
907 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
908 @testset "1D" begin
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
909 d_l = normal_derivative(g_1D, op.dClosure, Lower())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
910 @test d_l == normal_derivative(g_1D, op.dClosure, CartesianBoundary{1,Lower}())
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
911 @test d_l isa BoundaryOperator{T,Lower} where T
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
912 @test d_l isa TensorMapping{T,0,1} where T
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
913 end
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
914 @testset "2D" begin
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
915 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
916 d_w = normal_derivative(g_2D, op.dClosure, CartesianBoundary{1,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
917 d_n = normal_derivative(g_2D, op.dClosure, CartesianBoundary{2,Upper}())
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
918 Ix = IdentityMapping{Float64}((size(g_2D)[1],))
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
919 Iy = IdentityMapping{Float64}((size(g_2D)[2],))
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
920 d_l = normal_derivative(restrict(g_2D,1),op.dClosure,Lower())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
921 d_r = normal_derivative(restrict(g_2D,2),op.dClosure,Upper())
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
922 @test d_w == d_l⊗Iy
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
923 @test d_n == Ix⊗d_r
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
924 @test d_w isa TensorMapping{T,1,2} where T
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
925 @test d_n isa TensorMapping{T,1,2} where T
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
926 end
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
927 end
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
928 @testset "Accuracy" begin
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
929 v = evalOn(g_2D, (x,y)-> x^2 + (y-1)^2 + x*y)
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
930 v∂x = evalOn(g_2D, (x,y)-> 2*x + y)
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
931 v∂y = evalOn(g_2D, (x,y)-> 2*(y-1) + x)
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
932 # TODO: Test for higher order polynomials?
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
933 @testset "2nd order" begin
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
934 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
935 d_w = normal_derivative(g_2D, op.dClosure, CartesianBoundary{1,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
936 d_e = normal_derivative(g_2D, op.dClosure, CartesianBoundary{1,Upper}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
937 d_s = normal_derivative(g_2D, op.dClosure, CartesianBoundary{2,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
938 d_n = normal_derivative(g_2D, op.dClosure, CartesianBoundary{2,Upper}())
620
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 619
diff changeset
939
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
940 @test d_w*v ≈ v∂x[1,:] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
941 @test d_e*v ≈ -v∂x[end,:] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
942 @test d_s*v ≈ v∂y[:,1] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
943 @test d_n*v ≈ -v∂y[:,end] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
944 end
620
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 619
diff changeset
945
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
946 @testset "4th order" begin
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
947 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
690
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
948 d_w = normal_derivative(g_2D, op.dClosure, CartesianBoundary{1,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
949 d_e = normal_derivative(g_2D, op.dClosure, CartesianBoundary{1,Upper}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
950 d_s = normal_derivative(g_2D, op.dClosure, CartesianBoundary{2,Lower}())
1accc3e051d0 Start changing the name of functions creating operators that are not types to lower case. E.g SecondDerivative->second_derivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 671
diff changeset
951 d_n = normal_derivative(g_2D, op.dClosure, CartesianBoundary{2,Upper}())
620
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 619
diff changeset
952
644
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
953 @test d_w*v ≈ v∂x[1,:] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
954 @test d_e*v ≈ -v∂x[end,:] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
955 @test d_s*v ≈ v∂y[:,1] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
956 @test d_n*v ≈ -v∂y[:,end] atol = 1e-13
e3fd4b7aa789 Refactor tests for NormalDerivative
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 643
diff changeset
957 end
565
15423a868d28 Restructure and extend tests for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 562
diff changeset
958 end
513
547639572208 Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents: 397
diff changeset
959 end
338
2b0c9b30ea3b Add test sets for each submodule to make the test output nicer
Jonatan Werpers <jonatan@werpers.com>
parents: 335
diff changeset
960
2b0c9b30ea3b Add test sets for each submodule to make the test output nicer
Jonatan Werpers <jonatan@werpers.com>
parents: 335
diff changeset
961 end