sbplib_julia: test/testSbpOperators.jl annotate

annotate test/testSbpOperators.jl @ 572:64f1b269e9fc feature/boundary_ops

Implement apply_transpose for different regions and remove boundschecks to simplify

author	Jonatan Werpers <jonatan@werpers.com>
date	Tue, 01 Dec 2020 16:02:44 +0100
parents	a8fe91861116
children	4e2490f568aa

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
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	7
338 2b0c9b30ea3b Add test sets for each submodule to make the test output nicer Jonatan Werpers <jonatan@werpers.com> parents: 335 diff changeset	8 @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	9
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	10 # @testset "apply_quadrature" begin
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	11 # op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	12 # 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	13 #
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	14 # @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	15 #
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	16 # 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	17 # 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	18 # 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	19 # @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	20 #
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	21 # 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	22 # @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	23 # 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	24 #
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	25 # 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	26 # 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	27 # @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	28 # 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	29 # 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	30
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	31 @testset "SecondDerivative" begin
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	32 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	33 L = 3.5
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	34 g = EquidistantGrid(101, 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	35 Dₓₓ = SecondDerivative(g,op.innerStencil,op.closureStencils)
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	36
396 9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	37 f0(x) = 1.
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	38 f1(x) = x
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	39 f2(x) = 1/2*x^2
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	40 f3(x) = 1/6*x^3
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	41 f4(x) = 1/24*x^4
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	42 f5(x) = sin(x)
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	43 f5ₓₓ(x) = -f5(x)
314 accb0876da12 Move tests for Laplace from DiffOps/test to SbpOperators/test and add test for Secondderivative Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 254 diff changeset	44
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	45 v0 = evalOn(g,f0)
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	46 v1 = evalOn(g,f1)
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	47 v2 = evalOn(g,f2)
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	48 v3 = evalOn(g,f3)
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	49 v4 = evalOn(g,f4)
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	50 v5 = evalOn(g,f5)
219 69a6049e14d9 Create package SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: diff changeset	51
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	52 @test Dₓₓ isa TensorMapping{T,1,1} where T
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	53 @test Dₓₓ' isa TensorMapping{T,1,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	54
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	55 # 4th order interior stencil, 2nd order boundary stencil,
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	56 # implies that L*v should be exact for v - monomial up to order 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	57 # Exact differentiation is measured point-wise. For other grid functions
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	58 # the error is measured in the l2-norm.
395 737e597e0e6d Rewrite broken tests as testing that the norm is zero Jonatan Werpers <jonatan@werpers.com> parents: 389 diff changeset	59 @test norm(Dₓₓ*v0) ≈ 0.0 atol=5e-10
737e597e0e6d Rewrite broken tests as testing that the norm is zero Jonatan Werpers <jonatan@werpers.com> parents: 389 diff changeset	60 @test norm(Dₓₓ*v1) ≈ 0.0 atol=5e-10
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	61 @test Dₓₓ*v2 ≈ v0 atol=5e-11
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	62 @test Dₓₓ*v3 ≈ v1 atol=5e-11
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	63
5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	64 h = spacing(g)[1];
389 0433ab553d13 Rewrite l2 norm comparison to use the norm key word of isapprox Jonatan Werpers <jonatan@werpers.com> parents: 388 diff changeset	65 l2(v) = sqrt(h*sum(v.^2))
0433ab553d13 Rewrite l2 norm comparison to use the norm key word of isapprox Jonatan Werpers <jonatan@werpers.com> parents: 388 diff changeset	66 @test Dₓₓ*v4 ≈ v2 atol=5e-4 norm=l2
0433ab553d13 Rewrite l2 norm comparison to use the norm key word of isapprox Jonatan Werpers <jonatan@werpers.com> parents: 388 diff changeset	67 @test Dₓₓ*v5 ≈ -v5 atol=5e-4 norm=l2
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	68 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	69
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	70
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	71 @testset "Laplace2D" begin
254 4ca3794fffef Add apply_quadrature to SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: 219 diff changeset	72 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	73 Lx = 1.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	74 Ly = 3.2
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	75 g = EquidistantGrid((102,131), (0.0, 0.0), (Lx,Ly))
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	76 L = Laplace(g, op.innerStencil, op.closureStencils)
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	77
254 4ca3794fffef Add apply_quadrature to SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: 219 diff changeset	78
396 9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	79 f0(x,y) = 2.
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	80 f1(x,y) = x+y
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	81 f2(x,y) = 1/2x^2 + 1/2y^2
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	82 f3(x,y) = 1/6x^3 + 1/6y^3
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	83 f4(x,y) = 1/24x^4 + 1/24y^4
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	84 f5(x,y) = sin(x) + cos(y)
9aff09ca0052 Remove some type annotations Jonatan Werpers <jonatan@werpers.com> parents: 395 diff changeset	85 f5ₓₓ(x,y) = -f5(x,y)
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	86
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	87 v0 = evalOn(g,f0)
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	88 v1 = evalOn(g,f1)
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	89 v2 = evalOn(g,f2)
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	90 v3 = evalOn(g,f3)
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	91 v4 = evalOn(g,f4)
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	92 v5 = evalOn(g,f5)
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	93 v5ₓₓ = evalOn(g,f5ₓₓ)
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	94
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	95 @test L isa TensorMapping{T,2,2} where T
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	96 @test L' isa TensorMapping{T,2,2} where T
254 4ca3794fffef Add apply_quadrature to SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: 219 diff changeset	97
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	98 # 4th order interior stencil, 2nd order boundary stencil,
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	99 # implies that L*v should be exact for v - monomial up to order 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	100 # Exact differentiation is measured point-wise. For other grid functions
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	101 # the error is measured in the H-norm.
395 737e597e0e6d Rewrite broken tests as testing that the norm is zero Jonatan Werpers <jonatan@werpers.com> parents: 389 diff changeset	102 @test norm(L*v0) ≈ 0 atol=5e-10
737e597e0e6d Rewrite broken tests as testing that the norm is zero Jonatan Werpers <jonatan@werpers.com> parents: 389 diff changeset	103 @test norm(L*v1) ≈ 0 atol=5e-10
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	104 @test L*v2 ≈ v0 # Seems to be more accurate
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	105 @test L*v3 ≈ v1 atol=5e-10
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	106
0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	107 h = spacing(g)
389 0433ab553d13 Rewrite l2 norm comparison to use the norm key word of isapprox Jonatan Werpers <jonatan@werpers.com> parents: 388 diff changeset	108 l2(v) = sqrt(prod(h)*sum(v.^2))
0433ab553d13 Rewrite l2 norm comparison to use the norm key word of isapprox Jonatan Werpers <jonatan@werpers.com> parents: 388 diff changeset	109 @test L*v4 ≈ v2 atol=5e-4 norm=l2
0433ab553d13 Rewrite l2 norm comparison to use the norm key word of isapprox Jonatan Werpers <jonatan@werpers.com> parents: 388 diff changeset	110 @test L*v5 ≈ v5ₓₓ atol=5e-4 norm=l2
254 4ca3794fffef Add apply_quadrature to SbpOperators Jonatan Werpers <jonatan@werpers.com> parents: 219 diff changeset	111 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	112
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	113 @testset "DiagonalInnerProduct" begin
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	114 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	115 L = 2.3
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	116 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	117 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	118 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	119
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	120 @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	121 @test H' isa TensorMapping{T,1,1} where T
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	122 @test sum(H*v) ≈ L
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	123 @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	124 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	125
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	126 @testset "Quadrature" begin
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	127 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	128 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	129 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	130 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	131
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	132 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	133
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	134 @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	135 @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	136
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	137 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	138 @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	139
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	140 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	141 @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	142
5c10cd0ed1fe testSbpOperators.jl: Add a test for Quadrature and mark some tests broken Jonatan Werpers <jonatan@werpers.com> parents: 379 diff changeset	143 @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	144 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	145
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	146 @testset "InverseDiagonalInnerProduct" begin
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	147 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	148 L = 2.3
388 5223872485cd Clean up grid creation Jonatan Werpers <jonatan@werpers.com> parents: 387 diff changeset	149 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	150 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	151 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	152 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	153
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	154 @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	155 @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	156 @test HiHv ≈ v
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	157 @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	158 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	159
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	160 @testset "InverseQuadrature" begin
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	161 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	162 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	163 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	164 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	165
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	166 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	167 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	168 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	169
356 0844069ab5ff Reinclude SbpOperators and fix most of the code and tests there. Jonatan Werpers <jonatan@werpers.com> parents: 338 diff changeset	170 @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	171 @test Qinv' isa TensorMapping{T,2,2} where T
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	172 @test_broken Qinv(Qv) ≈ v
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	173 @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	174 end
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	175
547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	176 @testset "BoundaryRestrictrion" begin
547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	177 op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	178 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	179 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	180
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	181 @testset "Constructors" begin
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	182 # 1D
570 a8fe91861116 Change order of type parameters R and N to allow skipping N Jonatan Werpers <jonatan@werpers.com> parents: 568 diff changeset	183 e_l = BoundaryRestriction{Float64,Lower,4}(op.eClosure,size(g_1D)[1])
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	184 @test e_l == BoundaryRestriction(g_1D,op.eClosure,Lower())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	185 @test e_l == boundary_restriction(g_1D,op.eClosure,CartesianBoundary{1,Lower}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	186 @test e_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	187
570 a8fe91861116 Change order of type parameters R and N to allow skipping N Jonatan Werpers <jonatan@werpers.com> parents: 568 diff changeset	188 e_r = BoundaryRestriction{Float64,Upper,4}(op.eClosure,size(g_1D)[1])
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	189 @test e_r == BoundaryRestriction(g_1D,op.eClosure,Upper())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	190 @test e_r == boundary_restriction(g_1D,op.eClosure,CartesianBoundary{1,Upper}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	191 @test e_r 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	192
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	193 # 2D
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	194 e_w = boundary_restriction(g_2D,op.eClosure,CartesianBoundary{1,Upper}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	195 @test e_w isa InflatedTensorMapping
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	196 @test e_w isa TensorMapping{T,1,2} where T
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	197 end
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	198
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	199 e_l = boundary_restriction(g_1D, op.eClosure, CartesianBoundary{1,Lower}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	200 e_r = boundary_restriction(g_1D, op.eClosure, CartesianBoundary{1,Upper}())
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	201
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	202 e_w = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{1,Lower}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	203 e_e = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{1,Upper}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	204 e_s = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{2,Lower}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	205 e_n = boundary_restriction(g_2D, op.eClosure, CartesianBoundary{2,Upper}())
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	206
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	207 @testset "Sizes" begin
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	208 # 1D
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	209 @test domain_size(e_l) == (11,)
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	210 @test domain_size(e_r) == (11,)
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	211
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	212 @test range_size(e_l) == ()
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	213 @test range_size(e_r) == ()
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	214
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	215 # 2D
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	216 @test domain_size(e_w) == (11,15)
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	217 @test domain_size(e_e) == (11,15)
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	218 @test domain_size(e_s) == (11,15)
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	219 @test domain_size(e_n) == (11,15)
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	220
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	221 @test range_size(e_w) == (15,)
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	222 @test range_size(e_e) == (15,)
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	223 @test range_size(e_s) == (11,)
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	224 @test range_size(e_n) == (11,)
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	225 end
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	226
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	227
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	228 @testset "Application" begin
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	229 # 1D
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	230 v = evalOn(g_1D,x->1+x^2)
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	231 u = fill(3.124)
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	232 @test (e_l*v)[] == v[1]
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	233 @test (e_r*v)[] == v[end]
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	234 @test (e_r*v)[1] == v[end]
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	235 @test e_l'*u == [u[]; zeros(10)]
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	236 @test e_r'*u == [zeros(10); u[]]
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	237
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	238 # 2D
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	239 v = rand(11, 15)
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	240
566 fe026b4f99ec Simplify tests abit Jonatan Werpers <jonatan@werpers.com> parents: 565 diff changeset	241 @test e_w*v == v[1,:]
fe026b4f99ec Simplify tests abit Jonatan Werpers <jonatan@werpers.com> parents: 565 diff changeset	242 @test e_e*v == v[end,:]
fe026b4f99ec Simplify tests abit Jonatan Werpers <jonatan@werpers.com> parents: 565 diff changeset	243 @test e_s*v == v[:,1]
fe026b4f99ec Simplify tests abit Jonatan Werpers <jonatan@werpers.com> parents: 565 diff changeset	244 @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	245
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	246
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	247 g_x = rand(11)
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	248 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	249
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	250 G_w = zeros(Float64, (11,15))
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	251 G_w[1,:] = g_y
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	252
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	253 G_e = zeros(Float64, (11,15))
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	254 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	255
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	256 G_s = zeros(Float64, (11,15))
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	257 G_s[:,1] = g_x
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	258
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	259 G_n = zeros(Float64, (11,15))
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	260 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	261
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	262 @test e_w'*g_y == G_w
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	263 @test e_e'*g_y == G_e
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	264 @test e_s'*g_x == G_s
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	265 @test e_n'*g_x == G_n
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	266 end
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	267
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	268 @testset "Inferred" begin
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	269 # # 1D
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	270 v = ones(Float64, 11)
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	271 u = fill(1.)
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	272 @inferred (e_l*v)[] == 1
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	273 @inferred (e_r*v)[] == 1
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	274 @inferred e_l'*u == [1.; zeros(10)]
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	275 @inferred e_r'*u == [zeros(10); 1.]
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	276
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	277 # # 2D
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	278 v = ones(Float64, 11, 15)
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	279 @inferred e_w*v == ones(Float64, 15)
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	280 @inferred e_e*v == ones(Float64, 15)
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	281 @inferred e_s*v == ones(Float64, 11)
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	282 @inferred e_n*v == ones(Float64, 11)
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	283
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	284 g_x = ones(Float64,11)
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	285 g_y = ones(Float64,15)
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	286
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	287 G_w = zeros(Float64, (11,15))
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	288 G_w[1,:] = g_y
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	289
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	290 G_e = zeros(Float64, (11,15))
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	291 G_e[4,:] = g_y
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	292
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	293 G_s = zeros(Float64, (11,15))
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	294 G_s[:,1] = g_x
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	295
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	296 G_n = zeros(Float64, (11,15))
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	297 G_n[:,5] = g_x
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	298
565 15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	299 @inferred e_w'*g_y == G_w
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	300 @inferred e_e'*g_y == G_e
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	301 @inferred e_s'*g_x == G_s
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	302 @inferred e_n'*g_x == G_n
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	303 end
15423a868d28 Restructure and extend tests for BoundaryRestriction Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 562 diff changeset	304
513 547639572208 Get some kind of tested working implementation. Vidar Stiernström <vidar.stiernstrom@it.uu.se> parents: 397 diff changeset	305 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	306 #
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	307 # @testset "NormalDerivative" begin
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	308 # op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	309 # g = EquidistantGrid((5,6), (0.0, 0.0), (4.0,5.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	310 #
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 # d_w = NormalDerivative(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	312 # d_e = NormalDerivative(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	313 # d_s = NormalDerivative(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	314 # d_n = NormalDerivative(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	315 #
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	316 #
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	317 # 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	318 # v∂x = evalOn(g, (x,y)-> 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	319 # v∂y = evalOn(g, (x,y)-> 2*(y-1) + x)
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	320 #
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	321 # @test d_w isa TensorMapping{T,2,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	322 # @test d_w' isa TensorMapping{T,1,2} 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	323 #
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	324 # @test domain_size(d_w, (3,2)) == (2,)
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	325 # @test domain_size(d_e, (3,2)) == (2,)
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	326 # @test domain_size(d_s, (3,2)) == (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	327 # @test domain_size(d_n, (3,2)) == (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	328 #
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	329 # @test size(d_w'*v) == (6,)
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	330 # @test size(d_e'*v) == (6,)
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	331 # @test size(d_s'*v) == (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	332 # @test size(d_n'*v) == (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	333 #
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	334 # @test d_w'*v .≈ v∂x[1,:]
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	335 # @test d_e'*v .≈ v∂x[5,:]
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	336 # @test d_s'*v .≈ v∂y[:,1]
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	337 # @test d_n'*v .≈ v∂y[:,6]
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	338 #
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	339 #
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	340 # d_x_l = zeros(Float64, 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	341 # d_x_u = zeros(Float64, 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	342 # for i ∈ eachindex(d_x_l)
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	343 # d_x_l[i] = op.dClosure[i-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	344 # d_x_u[i] = -op.dClosure[length(d_x_u)-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	345 # 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	346 #
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 # d_y_l = zeros(Float64, 6)
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	348 # d_y_u = zeros(Float64, 6)
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	349 # for i ∈ eachindex(d_y_l)
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	350 # d_y_l[i] = op.dClosure[i-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	351 # d_y_u[i] = -op.dClosure[length(d_y_u)-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	352 # 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	353 #
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	354 # function prod_matrix(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	355 # G = zeros(Float64, length(x), length(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	356 # for I ∈ CartesianIndices(G)
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	357 # G[I] = x[I[1]]*y[I[2]]
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	358 # 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	359 #
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	360 # return G
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	361 # 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	362 #
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	363 # g_x = [1,2,3,4.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	364 # g_y = [5,4,3,2,1.0,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	365 #
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	366 # G_w = prod_matrix(d_x_l, g_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	367 # G_e = prod_matrix(d_x_u, g_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	368 # G_s = prod_matrix(g_x, d_y_l)
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	369 # G_n = prod_matrix(g_x, d_y_u)
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 #
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	371 #
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	372 # @test size(d_w*g_y) == (UnknownDim,6)
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	373 # @test size(d_e*g_y) == (UnknownDim,6)
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	374 # @test size(d_s*g_x) == (5,UnknownDim)
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	375 # @test size(d_n*g_x) == (5,UnknownDim)
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	376 #
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	377 # # These tests should be moved to where they are possible (i.e we know what the grid should be)
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	378 # @test_broken d_w*g_y .≈ G_w
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	379 # @test_broken d_e*g_y .≈ G_e
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	380 # @test_broken d_s*g_x .≈ G_s
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	381 # @test_broken d_n*g_x .≈ G_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	382 # 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	383 #
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	384 # @testset "BoundaryQuadrature" begin
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	385 # op = readOperator(sbp_operators_path()"d2_4th.txt",sbp_operators_path()"h_4th.txt")
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	386 # 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	387 #
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	388 # 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	389 # 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	390 # 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	391 # 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	392 #
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	393 # 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	394 #
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	395 # 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	396 # 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	397 # 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	398 # @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	399 # 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	400 # 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	401 #
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	402 # 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	403 # 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	404 # 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	405 # 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	406 #
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	407 # 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	408 # 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	409 #
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	410 # @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	411 #
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	412 # @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	413 # @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	414 #
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	415 # @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	416 # @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	417 #
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	418 # @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	419 # @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	420 # @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	421 # @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	422 #
387 4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	423 # @test H_wv_w .≈ q_y.v_w
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	424 # @test H_ev_e .≈ q_y.v_e
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	425 # @test H_sv_s .≈ q_x.v_s
4686c3509b54 Switch to using isapprox operator Jonatan Werpers <jonatan@werpers.com> parents: 385 diff changeset	426 # @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	427 #
383 aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	428 # @test H_w'v_w == H_w'v_w
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	429 # @test H_e'v_e == H_e'v_e
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	430 # @test H_s'v_s == H_s'v_s
aaf8e331cb80 Remove collects around TensorMappingApplications Jonatan Werpers <jonatan@werpers.com> parents: 382 diff changeset	431 # @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	432 # end
338 2b0c9b30ea3b Add test sets for each submodule to make the test output nicer Jonatan Werpers <jonatan@werpers.com> parents: 335 diff changeset	433
2b0c9b30ea3b Add test sets for each submodule to make the test output nicer Jonatan Werpers <jonatan@werpers.com> parents: 335 diff changeset	434 end

Mercurial > repos > public > sbplib_julia

annotate test/testSbpOperators.jl @ 572:64f1b269e9fc feature/boundary_ops