sbplib_julia: test/testSbpOperators.jl annotate

annotate test/testSbpOperators.jl @ 631:fb915bce2228 feature/volume_and_boundary_operators

Fix indentation

author	Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date	Thu, 31 Dec 2020 08:28:06 +0100
parents	9f0f1ace5101
children	bf8b66c596f7

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
628 316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	14 import Sbplib.SbpOperators.Parity
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	15
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	16
338 2b0c9b30ea3b Add test sets for each submodule to make the test output nicer Jonatan Werpers <jonatan@werpers.com> parents: 335 diff changeset	17 @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	18
584 4aa7fe13a984 Add scale() and eltype() methods for stencils Jonatan Werpers <jonatan@werpers.com> parents: 397 diff changeset	19 @testset "Stencil" begin
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	20 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	21 @test s isa Stencil{Float64, 5}
584 4aa7fe13a984 Add scale() and eltype() methods for stencils Jonatan Werpers <jonatan@werpers.com> parents: 397 diff changeset	22
4aa7fe13a984 Add scale() and eltype() methods for stencils Jonatan Werpers <jonatan@werpers.com> parents: 397 diff changeset	23 @test eltype(s) == Float64
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	24 @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	25
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	26 @test Stencil((1,2,3,4), center=1) == Stencil((0, 3),(1,2,3,4))
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	27 @test Stencil((1,2,3,4), center=2) == Stencil((-1, 2),(1,2,3,4))
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	28 @test Stencil((1,2,3,4), center=4) == Stencil((-3, 0),(1,2,3,4))
584 4aa7fe13a984 Add scale() and eltype() methods for stencils Jonatan Werpers <jonatan@werpers.com> parents: 397 diff changeset	29 end
4aa7fe13a984 Add scale() and eltype() methods for stencils Jonatan Werpers <jonatan@werpers.com> parents: 397 diff changeset	30
603 fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	31 @testset "parse_rational" begin
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	32 @test SbpOperators.parse_rational("1") isa Rational
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	33 @test SbpOperators.parse_rational("1") == 1//1
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	34 @test SbpOperators.parse_rational("1/2") isa Rational
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	35 @test SbpOperators.parse_rational("1/2") == 1//2
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	36 @test SbpOperators.parse_rational("37/13") isa Rational
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	37 @test SbpOperators.parse_rational("37/13") == 37//13
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	38 end
fbff4009c08a Add tests for parse_rational() Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	39
604 6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	40 @testset "readoperator" begin
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	41 toml_str = """
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	42 [meta]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	43 type = "equidistant"
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	44
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	45 [order2]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	46 H.inner = ["1"]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	47
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	48 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	49 D1.closure_stencils = [
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	50 ["-1", "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
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	53 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	54
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	55 [order4]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	56 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	57
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	58 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	59 D2.closure_stencils = [
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	60 [ "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	61 [ "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	62 [ "-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	63 [ "-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	64 ]
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	65 """
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	66
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	67 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	68 @testset "get_stencil" begin
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	69 @test get_stencil(parsed_toml, "order2", "D1", "inner_stencil") == Stencil((-1/2, 0., 1/2), center=2)
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	70 @test get_stencil(parsed_toml, "order2", "D1", "inner_stencil", center=1) == Stencil((-1/2, 0., 1/2); center=1)
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	71 @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	72
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	73 @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	74
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	75 @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	76 @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	77 end
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 @testset "get_stencils" begin
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	80 @test get_stencils(parsed_toml, "order2", "D1", "closure_stencils", centers=(1,)) == (Stencil((-1., 1.), center=1),)
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	81 @test get_stencils(parsed_toml, "order2", "D1", "closure_stencils", centers=(2,)) == (Stencil((-1., 1.), center=2),)
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	82 @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	83
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	84 @test get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=[1,1,1,1]) == (
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	85 Stencil(( 2., -5., 4., -1., 0., 0.), center=1),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	86 Stencil(( 1., -2., 1., 0., 0., 0.), center=1),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	87 Stencil(( -4/43, 59/43, -110/43, 59/43, -4/43, 0.), center=1),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	88 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	89 )
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	90
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	91 @test get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=(4,2,3,1)) == (
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	92 Stencil(( 2., -5., 4., -1., 0., 0.), center=4),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	93 Stencil(( 1., -2., 1., 0., 0., 0.), center=2),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	94 Stencil(( -4/43, 59/43, -110/43, 59/43, -4/43, 0.), center=3),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	95 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	96 )
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	97
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	98 @test get_stencils(parsed_toml, "order4", "D2", "closure_stencils",centers=1:4) == (
613 eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	99 Stencil(( 2., -5., 4., -1., 0., 0.), center=1),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	100 Stencil(( 1., -2., 1., 0., 0., 0.), center=2),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	101 Stencil(( -4/43, 59/43, -110/43, 59/43, -4/43, 0.), center=3),
eaa8c852ddf2 Import Stecil in tests to make it less verbose Jonatan Werpers <jonatan@werpers.com> parents: 605 diff changeset	102 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	103 )
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	104
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	105 @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	106 @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	107 @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	108 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	109
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	110 @testset "get_tuple" begin
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	111 @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	112
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	113 @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	114 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	115 end
6901d5375311 Add tests for get_stencil, get_stencils and get_tuple Jonatan Werpers <jonatan@werpers.com> parents: 595 diff changeset	116
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	117 # @testset "apply_quadrature" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	118 # op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
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	119 # h = 0.5
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	120 #
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	121 # @test apply_quadrature(op, h, 1.0, 10, 100) == h
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	122 #
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	123 # N = 10
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	124 # qc = op.quadratureClosure
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	125 # q = h.(qc..., ones(N-2closuresize(op))..., reverse(qc)...)
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	126 # @assert length(q) == N
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	127 #
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	128 # for i ∈ 1:N
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	129 # @test apply_quadrature(op, h, 1.0, i, N) == q[i]
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	130 # 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	131 #
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	132 # v = [2.,3.,2.,4.,5.,4.,3.,4.,5.,4.5]
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	133 # for i ∈ 1:N
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	134 # @test apply_quadrature(op, h, v[i], i, N) == q[i]*v[i]
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	135 # 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	136 # 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	137
628 316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	138 @testset "VolumeOperator" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	139 inner_stencil = Stencil(1/4 .* (1.,2.,1.),center=2)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	140 closure_stencils = (Stencil(1/2 .* (1.,1.),center=1),Stencil((0.,1.),center=2))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	141 g_1D = EquidistantGrid(11,0.,1.)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	142 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	143 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	144 @testset "Constructors" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	145 #TODO: How are even and odd in SbpOperators.Parity exposed? Currently constructing even as Parity(1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	146 @testset "1D" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	147 op = VolumeOperator(inner_stencil,closure_stencils,(11,),Parity(1))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	148 @test op == VolumeOperator(g_1D,inner_stencil,closure_stencils,Parity(1))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	149 @test op == volume_operator(g_1D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	150 @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	151 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	152 @testset "2D" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	153 op_x = volume_operator(g_2D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	154 op_y = volume_operator(g_2D,inner_stencil,closure_stencils,Parity(1),2)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	155 Ix = IdentityMapping{Float64}((11,))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	156 Iy = IdentityMapping{Float64}((12,))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	157 @test op_x == VolumeOperator(inner_stencil,closure_stencils,(11,),Parity(1))⊗Iy
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	158 @test op_y == Ix⊗VolumeOperator(inner_stencil,closure_stencils,(12,),Parity(1))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	159 @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	160 @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	161 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	162 @testset "3D" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	163 op_x = volume_operator(g_3D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	164 op_y = volume_operator(g_3D,inner_stencil,closure_stencils,Parity(1),2)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	165 op_z = volume_operator(g_3D,inner_stencil,closure_stencils,Parity(1),3)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	166 Ix = IdentityMapping{Float64}((11,))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	167 Iy = IdentityMapping{Float64}((12,))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	168 Iz = IdentityMapping{Float64}((10,))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	169 @test op_x == VolumeOperator(inner_stencil,closure_stencils,(11,),Parity(1))⊗Iy⊗Iz
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	170 @test op_y == Ix⊗VolumeOperator(inner_stencil,closure_stencils,(12,),Parity(1))⊗Iz
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	171 @test op_z == Ix⊗Iy⊗VolumeOperator(inner_stencil,closure_stencils,(10,),Parity(1))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	172 @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	173 @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	174 @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	175 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	176 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	177
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	178 @testset "Sizes" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	179 @testset "1D" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	180 op = volume_operator(g_1D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	181 @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	182 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	183
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	184 @testset "2D" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	185 op_x = volume_operator(g_2D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	186 op_y = volume_operator(g_2D,inner_stencil,closure_stencils,Parity(1),2)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	187 @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	188 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	189 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	190 @testset "3D" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	191 op_x = volume_operator(g_3D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	192 op_y = volume_operator(g_3D,inner_stencil,closure_stencils,Parity(1),2)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	193 op_z = volume_operator(g_3D,inner_stencil,closure_stencils,Parity(1),3)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	194 @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	195 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	196 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	197 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	198 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	199
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	200 # TODO: Test for other dimensions?
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	201 op_x = volume_operator(g_2D,inner_stencil,closure_stencils,Parity(1),1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	202 op_y = volume_operator(g_2D,inner_stencil,closure_stencils,Parity(1),2)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	203 v = zeros(size(g_2D))
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	204 Nx = size(g_2D)[1]
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	205 for i = 1:Nx
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	206 v[i,:] .= i
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	207 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	208 rx = copy(v)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	209 rx[1,:] .= 1.5
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	210 rx[end,:] .= (2*Nx-1)/2
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	211 ry = copy(v)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	212
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	213 @testset "Application" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	214 @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	215 @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	216 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	217
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	218 # TODO: Test for other dimensions?
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	219 @testset "Regions" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	220 @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	221 @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	222 @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	223 @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	224 @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	225
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	226 @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	227 @test_throws BoundsError (op_x*v)[Index(9,Upper),Index(3,Interior)]
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	228
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	229 @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	230 @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	231 @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	232 @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	233 @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	234
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	235 @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	236 @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	237 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	238
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	239 # TODO: Test for other dimensions?
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	240 @testset "Inferred" begin
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	241 @inferred apply(op_x, v,1,1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	242 @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	243 @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	244 @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	245
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	246 @inferred apply(op_y, v,1,1)
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	247 @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	248 @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	249 @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	250 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	251
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	252 end
316dbfd31d35 Add tests for VolumeOperator Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 622 diff changeset	253
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	254 @testset "SecondDerivative" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	255 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	256 Lx = 3.5
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	257 Ly = 3.
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	258 g_1D = EquidistantGrid(121, 0.0, Lx)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	259 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	260
629 22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	261 # TODO: These areant really constructors. Better name?
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	262 @testset "Constructors" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	263 @testset "1D" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	264 Dₓₓ = SecondDerivative(g_1D,op.innerStencil,op.closureStencils)
629 22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	265 @test Dₓₓ == SecondDerivative(g_1D,op.innerStencil,op.closureStencils,1)
22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	266 @test Dₓₓ isa VolumeOperator
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	267 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	268 @testset "2D" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	269 Dₓₓ = SecondDerivative(g_2D,op.innerStencil,op.closureStencils,1)
629 22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	270 D2 = SecondDerivative(g_1D,op.innerStencil,op.closureStencils)
22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	271 I = IdentityMapping{Float64}(size(g_2D)[2])
22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	272 @test Dₓₓ == D2⊗I
22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	273 @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	274 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	275 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	276
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	277 @testset "Accuracy" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	278 @testset "1D" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	279 monomials = ()
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	280 maxOrder = 4;
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	281 for i = 0:maxOrder-1
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	282 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	283 monomials = (monomials...,evalOn(g_1D,f_i))
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	284 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	285 l2(v) = sqrt(spacing(g_1D)[1]*sum(v.^2));
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	286
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	287 #TODO: Error when reading second order stencil!
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	288 # @testset "2nd order" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	289 # op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	290 # Dₓₓ = SecondDerivative(g_1D,op.innerStencil,op.closureStencils)
629 22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	291 # @test Dₓₓ*monomials[1] ≈ zeros(Float64,size(g_1D)...) atol = 5e-13
22a0971f7f84 Add tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 628 diff changeset	292 # @test Dₓₓ*monomials[2] ≈ zeros(Float64,size(g_1D)...) atol = 5e-13
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	293 # 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	294
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	295 # 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	296 # 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	297 # Exact differentiation is measured point-wise. For other grid functions
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	298 # the error is measured in the l2-norm.
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	299 @testset "4th order" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	300 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	301 Dₓₓ = SecondDerivative(g_1D,op.innerStencil,op.closureStencils)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	302 # TODO: high tolerances for checking the "exact" differentiation
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	303 # 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	304 @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	305 @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	306 @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	307 @test Dₓₓ*monomials[4] ≈ monomials[2] atol = 5e-10
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	308 @test Dₓₓ*evalOn(g_1D,x -> sin(x)) ≈ evalOn(g_1D,x -> -sin(x)) rtol = 5e-4 norm = l2
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	309 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	310 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	311
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	312 @testset "2D" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	313 binomials = ()
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	314 maxOrder = 4;
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	315 for i = 0:maxOrder-1
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	316 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	317 binomials = (binomials...,evalOn(g_2D,f_i))
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	318 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	319 l2(v) = sqrt(prod(spacing(g_2D))*sum(v.^2));
622 f799678357df Move comment Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 621 diff changeset	320
f799678357df Move comment Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 621 diff changeset	321 #TODO: Error when reading second order stencil!
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	322 # @testset "2nd order" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	323 # op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	324 # Dyy = SecondDerivative(g_2D,op.innerStencil,op.closureStencils,2)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	325 # @test Dyy*binomials[1] ≈ evalOn(g_2D,(x,y)->0.) atol = 5e-12
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	326 # @test Dyy*binomials[2] ≈ evalOn(g_2D,(x,y)->0.) atol = 5e-12
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	327 # end
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	328
621 60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	329 # 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	330 # 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	331 # Exact differentiation is measured point-wise. For other grid functions
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	332 # the error is measured in the l2-norm.
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	333 @testset "4th order" begin
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	334 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	335 Dyy = SecondDerivative(g_2D,op.innerStencil,op.closureStencils,2)
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	336 # TODO: high tolerances for checking the "exact" differentiation
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	337 # 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	338 @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	339 @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	340 @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	341 @test Dyy*binomials[4] ≈ evalOn(g_2D,(x,y)->y) atol = 5e-9
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	342 @test Dyy*evalOn(g_2D, (x,y) -> sin(x)+cos(y)) ≈ evalOn(g_2D,(x,y) -> -cos(y)) rtol = 5e-4 norm = l2
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	343 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	344 end
60d7c1752cfa Restructure tests for SecondDerivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 620 diff changeset	345 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	346 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	347
630 9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	348 @testset "Laplace" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	349 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	350 g_1D = EquidistantGrid(101, 0.0, 1.)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	351 #TODO: It's nice to verify that 3D works somewhere at least, but perhaps should keep 3D tests to a minimum to avoid
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	352 # long run time for test?
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	353 g_3D = EquidistantGrid((51,101,52), (0.0, -1.0, 0.0), (1., 1., 1.))
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	354 # TODO: These areant really constructors. Better name?
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	355 @testset "Constructors" begin
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	356 @testset "1D" begin
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	357 L = Laplace(g_1D, op.innerStencil, op.closureStencils)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	358 @test L == SecondDerivative(g_1D, op.innerStencil, op.closureStencils)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	359 @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	360 end
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	361 @testset "3D" begin
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	362 L = Laplace(g_3D, op.innerStencil, op.closureStencils)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	363 @test L isa TensorMapping{T,3,3} where T
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	364 Dxx = SecondDerivative(g_3D, op.innerStencil, op.closureStencils,1)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	365 Dyy = SecondDerivative(g_3D, op.innerStencil, op.closureStencils,2)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	366 Dzz = SecondDerivative(g_3D, op.innerStencil, op.closureStencils,3)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	367 @test L == Dxx + Dyy + Dzz
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	368 end
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	369 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	370
630 9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	371 @testset "Accuracy" begin
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	372 polynomials = ()
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	373 maxOrder = 4;
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	374 for i = 0:maxOrder-1
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	375 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	376 polynomials = (polynomials...,evalOn(g_3D,f_i))
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	377 end
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	378 l2(v) = sqrt(prod(spacing(g_3D))*sum(v.^2));
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	379
630 9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	380 #TODO: Error when reading second order stencil!
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	381 # @testset "2nd order" begin
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	382 # op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=2)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	383 # Dyy = SecondDerivative(g_2D,op.innerStencil,op.closureStencils,2)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	384 # @test Dyy*binomials[1] ≈ evalOn(g_2D,(x,y)->0.) atol = 5e-12
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	385 # @test Dyy*binomials[2] ≈ evalOn(g_2D,(x,y)->0.) atol = 5e-12
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	386 # end
254 4ca3794fffef Add apply_quadrature to SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: 219 diff changeset	387
630 9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	388 # 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	389 # 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	390 # Exact differentiation is measured point-wise. For other grid functions
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	391 # the error is measured in the l2-norm.
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	392 @testset "4th order" begin
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	393 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	394 L = Laplace(g_3D,op.innerStencil,op.closureStencils)
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	395 # TODO: high tolerances for checking the "exact" differentiation
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	396 # 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	397 @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	398 @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	399 @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	400 @test L*polynomials[4] ≈ polynomials[2] atol = 5e-9
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	401 @test L*evalOn(g_3D, (x,y,z) -> sin(x) + cos(y) + exp(z)) ≈ evalOn(g_3D,(x,y,z) -> -sin(x)-cos(y) + exp(z)) rtol = 5e-4 norm = l2
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	402 end
9f0f1ace5101 Add tests for Laplace Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 629 diff changeset	403 end
254 4ca3794fffef Add apply_quadrature to SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: 219 diff changeset	404 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	405
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	406 @testset "DiagonalInnerProduct" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	407 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
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	408 L = 2.3
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	409 g = EquidistantGrid(77, 0.0, L)
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	410 H = DiagonalInnerProduct(g,op.quadratureClosure)
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	411 v = ones(Float64, size(g))
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	412
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	413 @test H isa TensorMapping{T,1,1} where T
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	414 @test H' isa TensorMapping{T,1,1} where T
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	415 @test sum(H*v) ≈ L
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	416 @test Hv == H'v
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	417 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	418
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	419 @testset "Quadrature" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	420 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
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	421 Lx = 2.3
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	422 Ly = 5.2
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	423 g = EquidistantGrid((77,66), (0.0, 0.0), (Lx,Ly))
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	424
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	425 Q = Quadrature(g, op.quadratureClosure)
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	426
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	427 @test Q isa TensorMapping{T,2,2} where T
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	428 @test Q' isa TensorMapping{T,2,2} where T
382 5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	429
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	430 v = ones(Float64, size(g))
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	431 @test sum(Qv) ≈ LxLy
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	432
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	433 v = 2*ones(Float64, size(g))
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	434 @test_broken sum(Qv) ≈ 2Lx*Ly
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	435
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	436 @test Qv == Q'v
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	437 end
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	438
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	439 @testset "InverseDiagonalInnerProduct" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	440 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	441 L = 2.3
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	442 g = EquidistantGrid(77, 0.0, L)
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	443 H = DiagonalInnerProduct(g, op.quadratureClosure)
0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	444 Hi = InverseDiagonalInnerProduct(g,op.quadratureClosure)
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	445 v = evalOn(g, x->sin(x))
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	446
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	447 @test Hi isa TensorMapping{T,1,1} where T
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	448 @test Hi' isa TensorMapping{T,1,1} where T
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	449 @test HiHv ≈ v
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	450 @test Hiv == Hi'v
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	451 end
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	452
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	453 @testset "InverseQuadrature" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	454 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	455 Lx = 7.3
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	456 Ly = 8.2
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	457 g = EquidistantGrid((77,66), (0.0, 0.0), (Lx,Ly))
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	458
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	459 Q = Quadrature(g, op.quadratureClosure)
0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	460 Qinv = InverseQuadrature(g, op.quadratureClosure)
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	461 v = evalOn(g, (x,y)-> x^2 + (y-1)^2 + x*y)
408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	462
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	463 @test Qinv isa TensorMapping{T,2,2} where T
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	464 @test Qinv' isa TensorMapping{T,2,2} where T
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	465 @test_broken Qinv(Qv) ≈ v
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	466 @test Qinvv == Qinv'v
329 408c37b295c2 Refactor 1D tensor mapping in inverse quadrature to separate file, InverseDiagonalNorm. Add tests Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 328 diff changeset	467 end
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	468
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	469 @testset "BoundaryOperator" begin
617 f59e1732eacc Merge with default Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 612 613 diff changeset	470 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	471 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	472 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	473
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	474 @testset "Constructors" begin
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	475 @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	476 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	477 @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	478 @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	479 @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	480
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	481 op_r = BoundaryOperator{Upper}(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	482 @test op_r == BoundaryRestriction(g_1D,closure_stencil,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	483 @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	484 @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	485 end
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	486
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	487 @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	488 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	489 @test e_w isa InflatedTensorMapping
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	490 @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	491 end
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	492 end
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	493
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	494 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	495 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	496
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	497 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	498 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	499 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	500 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	501
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	502 @testset "Sizes" begin
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	503 @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	504 @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	505 @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	506
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	507 @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	508 @test range_size(op_r) == ()
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	509 end
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	510
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	511 @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	512 @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	513 @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	514 @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	515 @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	516
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	517 @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	518 @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	519 @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	520 @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	521 end
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	522 end
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	523
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	524 @testset "Application" begin
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	525 @testset "1D" begin
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	526 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	527 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	528 @test (op_lv)[] == 2v[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	529 @test (op_rv)[] == 2v[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	530 @test (op_rv)[1] == 2v[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	531 @test op_l'u == [2u[]; 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	532 @test op_r'u == [zeros(8); 3u[]; 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	533 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	534
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	535 @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	536 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	537 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	538 @test op_wv ≈ 2v[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	539 @test op_ev ≈ 2v[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	540 @test op_sv ≈ 2v[:,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	541 @test op_nv ≈ 2v[:,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	542
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	543
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	544 g_x = rand(size(g_2D)[1])
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	545 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	546
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	547 G_w = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	548 G_w[1,:] = 2*g_y
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	549 G_w[2,:] = g_y
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	550 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	551
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	552 G_e = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	553 G_e[end,:] = 2*g_y
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	554 G_e[end-1,:] = g_y
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	555 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	556
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	557 G_s = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	558 G_s[:,1] = 2*g_x
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	559 G_s[:,2] = g_x
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	560 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	561
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	562 G_n = zeros(Float64, size(g_2D)...)
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	563 G_n[:,end] = 2*g_x
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	564 G_n[:,end-1] = g_x
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	565 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	566
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	567 @test op_w'*g_y == G_w
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	568 @test op_e'*g_y == G_e
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	569 @test op_s'*g_x == G_s
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	570 @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	571 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	572
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	573 @testset "Regions" begin
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	574 u = fill(3.124)
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	575 @test (op_l'u)[Index(1,Lower)] == 2u[]
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	576 @test (op_l'*u)[Index(2,Lower)] == u[]
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	577 @test (op_l'*u)[Index(6,Interior)] == 0
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	578 @test (op_l'*u)[Index(10,Upper)] == 0
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	579 @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	580
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	581 @test (op_r'*u)[Index(1,Lower)] == 0
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	582 @test (op_r'*u)[Index(2,Lower)] == 0
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	583 @test (op_r'*u)[Index(6,Interior)] == 0
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	584 @test (op_r'*u)[Index(10,Upper)] == u[]
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	585 @test (op_r'u)[Index(11,Upper)] == 2u[]
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	586 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	587 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	588
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	589 @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	590 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	591 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	592
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	593 @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	594 @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	595
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	596 @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	597 @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	598 @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	599 @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	600 @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	601 @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	602
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	603 @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	604 @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	605 @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	606 @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	607 @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	608 @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	609 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	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	611 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	612
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	613 @testset "BoundaryRestriction" begin
617 f59e1732eacc Merge with default Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 612 613 diff changeset	614 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	615 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	616 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	617
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	618 # TODO: These areant really constructors. Better name?
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	619 @testset "Constructors" 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	620 @testset "1D" 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	621 e_l = BoundaryRestriction(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	622 @test e_l == BoundaryRestriction(g_1D,op.eClosure,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	623 @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	624 @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	625 @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	626
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	627 e_r = BoundaryRestriction(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	628 @test e_r == BoundaryRestriction(g_1D,op.eClosure,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	629 @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	630 @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	631 @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	632 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	633
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	634 @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	635 e_w = BoundaryRestriction(g_2D,op.eClosure,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	636 @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	637 @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	638 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	639 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	640
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	641 @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	642 @testset "1D" 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	643 e_l = BoundaryRestriction(g_1D, op.eClosure, 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	644 e_r = BoundaryRestriction(g_1D, op.eClosure, 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	645
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	646 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	647 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	648
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	649 @test (e_l*v)[] == v[1]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	650 @test (e_r*v)[] == v[end]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	651 @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	652 @test e_l'*u == [u[]; zeros(10)]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	653 @test e_r'*u == [zeros(10); u[]]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	654 end
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	655
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	656 @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	657 e_w = BoundaryRestriction(g_2D, op.eClosure, 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	658 e_e = BoundaryRestriction(g_2D, op.eClosure, 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	659 e_s = BoundaryRestriction(g_2D, op.eClosure, 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	660 e_n = BoundaryRestriction(g_2D, op.eClosure, CartesianBoundary{2,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	661
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	662 v = rand(11, 15)
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	663 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	664
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	665 @test e_w*v == v[1,:]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	666 @test e_e*v == v[end,:]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	667 @test e_s*v == v[:,1]
1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	668 @test e_n*v == v[:,end]
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	669
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	670
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	671 g_x = rand(11)
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	672 g_y = rand(15)
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	673
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	674 G_w = zeros(Float64, (11,15))
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	675 G_w[1,:] = g_y
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	676
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	677 G_e = zeros(Float64, (11,15))
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	678 G_e[end,:] = g_y
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	679
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	680 G_s = zeros(Float64, (11,15))
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	681 G_s[:,1] = g_x
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	682
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	683 G_n = zeros(Float64, (11,15))
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	684 G_n[:,end] = g_x
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	685
631 fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	686 @test e_w'*g_y == G_w
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	687 @test e_e'*g_y == G_e
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	688 @test e_s'*g_x == G_s
fb915bce2228 Fix indentation Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 630 diff changeset	689 @test e_n'*g_x == G_n
576 1d4417ced79f Put test sets around 1d and 2d tests Jonatan Werpers <jonatan@werpers.com> parents: 575 diff changeset	690 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	691 end
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	692 end
620 bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	693
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	694 @testset "NormalDerivative" begin
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	695 op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	696 g = EquidistantGrid((5,6), (0.0, 0.0), (4.0,5.0))
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	697
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	698 d_w = NormalDerivative(g, op.dClosure, CartesianBoundary{1,Lower}())
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	699 d_e = NormalDerivative(g, op.dClosure, CartesianBoundary{1,Upper}())
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	700 d_s = NormalDerivative(g, op.dClosure, CartesianBoundary{2,Lower}())
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	701 d_n = NormalDerivative(g, op.dClosure, CartesianBoundary{2,Upper}())
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	702
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	703
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	704 v = evalOn(g, (x,y)-> x^2 + (y-1)^2 + x*y)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	705 v∂x = evalOn(g, (x,y)-> 2*x + y)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	706 v∂y = evalOn(g, (x,y)-> 2*(y-1) + x)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	707
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	708 @test d_w isa TensorMapping{T,1,2} where T
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	709
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	710 @test d_w*v ≈ v∂x[1,:]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	711 @test d_e*v ≈ -v∂x[end,:]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	712 @test d_s*v ≈ v∂y[:,1]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	713 @test d_n*v ≈ -v∂y[:,end]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	714
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	715
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	716 d_x_l = zeros(Float64, size(g)[1])
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	717 d_x_u = zeros(Float64, size(g)[1])
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	718 for i ∈ eachindex(d_x_l)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	719 d_x_l[i] = op.dClosure[i-1]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	720 d_x_u[i] = op.dClosure[length(d_x_u)-i]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	721 end
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	722
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	723 d_y_l = zeros(Float64, size(g)[2])
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	724 d_y_u = zeros(Float64, size(g)[2])
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	725 for i ∈ eachindex(d_y_l)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	726 d_y_l[i] = op.dClosure[i-1]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	727 d_y_u[i] = op.dClosure[length(d_y_u)-i]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	728 end
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	729
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	730 function prod_matrix(x,y)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	731 G = zeros(Float64, length(x), length(y))
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	732 for I ∈ CartesianIndices(G)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	733 G[I] = x[I[1]]*y[I[2]]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	734 end
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	735
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	736 return G
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	737 end
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	738
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	739 g_x = [1,2,3,4.0,5]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	740 g_y = [5,4,3,2,1.0,11]
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	741
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	742 G_w = prod_matrix(d_x_l, g_y)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	743 G_e = prod_matrix(d_x_u, g_y)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	744 G_s = prod_matrix(g_x, d_y_l)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	745 G_n = prod_matrix(g_x, d_y_u)
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	746
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	747 @test d_w'*g_y ≈ G_w
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	748 @test_broken d_e'*g_y ≈ G_e
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	749 @test d_s'*g_x ≈ G_s
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	750 @test_broken d_n'*g_x ≈ G_n
bfc893d03cbf Add NormalDerivative as a BoundaryOperator and reintroduce tests. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 619 diff changeset	751 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	752 #
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	753 # @testset "BoundaryQuadrature" begin
594 cc86b920531a Change the readoperator function to use the .toml format Jonatan Werpers <jonatan@werpers.com> parents: 586 diff changeset	754 # op = read_D2_operator(sbp_operators_path()*"standard_diagonal.toml"; order=4)
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	755 # g = EquidistantGrid((10,11), (0.0, 0.0), (1.0,1.0))
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	756 #
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	757 # H_w = BoundaryQuadrature(op, g, CartesianBoundary{1,Lower}())
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	758 # H_e = BoundaryQuadrature(op, g, CartesianBoundary{1,Upper}())
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	759 # H_s = BoundaryQuadrature(op, g, CartesianBoundary{2,Lower}())
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	760 # H_n = BoundaryQuadrature(op, g, CartesianBoundary{2,Upper}())
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	761 #
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	762 # v = evalOn(g, (x,y)-> x^2 + (y-1)^2 + x*y)
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	763 #
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	764 # function get_quadrature(N)
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	765 # qc = op.quadratureClosure
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	766 # q = (qc..., ones(N-2*closuresize(op))..., reverse(qc)...)
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	767 # @assert length(q) == N
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	768 # return q
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	769 # 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	770 #
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	771 # v_w = v[1,:]
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	772 # v_e = v[10,:]
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	773 # v_s = v[:,1]
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	774 # v_n = v[:,11]
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	775 #
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	776 # q_x = spacing(g)[1].*get_quadrature(10)
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	777 # q_y = spacing(g)[2].*get_quadrature(11)
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	778 #
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	779 # @test H_w isa TensorOperator{T,1} where T
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	780 #
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	781 # @test domain_size(H_w, (3,)) == (3,)
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	782 # @test domain_size(H_n, (3,)) == (3,)
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	783 #
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	784 # @test range_size(H_w, (3,)) == (3,)
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	785 # @test range_size(H_n, (3,)) == (3,)
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	786 #
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	787 # @test size(H_w*v_w) == (11,)
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	788 # @test size(H_e*v_e) == (11,)
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	789 # @test size(H_s*v_s) == (10,)
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	790 # @test size(H_n*v_n) == (10,)
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	791 #
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	792 # @test H_wv_w .≈ q_y.v_w
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	793 # @test H_ev_e .≈ q_y.v_e
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	794 # @test H_sv_s .≈ q_x.v_s
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	795 # @test H_nv_n .≈ q_x.v_n
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	796 #
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	797 # @test H_w'v_w == H_w'v_w
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	798 # @test H_e'v_e == H_e'v_e
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	799 # @test H_s'v_s == H_s'v_s
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	800 # @test H_n'v_n == H_n'v_n
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	801 # end
338 2b0c9b30ea3b Add test sets for each submodule to make the test output nicer Jonatan Werpers <jonatan@werpers.com> parents: 335 diff changeset	802
2b0c9b30ea3b Add test sets for each submodule to make the test output nicer Jonatan Werpers <jonatan@werpers.com> parents: 335 diff changeset	803 end

Mercurial > repos > public > sbplib_julia

annotate test/testSbpOperators.jl @ 631:fb915bce2228 feature/volume_and_boundary_operators