Mercurial > repos > public > sbplib_julia
annotate src/SbpOperators/boundaryops/boundary_restriction.jl @ 514:14e722e8607d feature/boundary_ops
Clean up constructors
author | Vidar Stiernström <vidar.stiernstrom@it.uu.se> |
---|---|
date | Mon, 23 Nov 2020 21:19:08 +0100 |
parents | 547639572208 |
children | d55008f5e2f3 |
rev | line source |
---|---|
514
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
1 function boundary_restriction(grid::EquidistantGrid{1,T}, closureStencil::Stencil{T,M}, boundary::CartesianBoundary{1}) where {T,M} |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
2 r = region(boundary) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
3 return e = BoundaryRestriction(grid, closureStencil, r()) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
4 end |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
5 |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
6 function boundary_restriction(grid::EquidistantGrid{2,T}, closureStencil::Stencil{T,M}, boundary::CartesianBoundary{1}) where {T,M} |
512
5a8cfcc0765d
Sketch on boundary_restriction function in 2D, returning an inflated BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
511
diff
changeset
|
7 r = region(boundary) |
514
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
8 e = BoundaryRestriction(restrict(grid, 1), closureStencil, r()) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
9 I = IdentityMapping{T}(size(restrict(grid,2))) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
10 return e⊗I |
512
5a8cfcc0765d
Sketch on boundary_restriction function in 2D, returning an inflated BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
511
diff
changeset
|
11 end |
514
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
12 |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
13 function boundary_restriction(grid::EquidistantGrid{2,T}, closureStencil::Stencil{T,M}, boundary::CartesianBoundary{2}) where {T,M} |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
14 r = region(boundary) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
15 e = BoundaryRestriction(restrict(grid, 2), closureStencil, r()) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
16 I = IdentityMapping{T}(size(restrict(grid,1))) |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
17 return I⊗e |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
18 end |
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
19 |
512
5a8cfcc0765d
Sketch on boundary_restriction function in 2D, returning an inflated BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
511
diff
changeset
|
20 export boundary_restriction |
5a8cfcc0765d
Sketch on boundary_restriction function in 2D, returning an inflated BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
511
diff
changeset
|
21 |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
22 """ |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
23 BoundaryRestriction{T,N,R} <: TensorMapping{T,1,1} |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
24 |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
25 Implements the boundary operator `e` as a TensorMapping |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
26 """ |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
27 struct BoundaryRestriction{T,M,R<:Region} <: TensorMapping{T,1,1} |
511
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
28 stencil::Stencil{T,M} |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
29 size::NTuple{1,Int} |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
30 end |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
31 export BoundaryRestriction |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
32 |
514
14e722e8607d
Clean up constructors
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
513
diff
changeset
|
33 function BoundaryRestriction(grid::EquidistantGrid{1,T}, closureStencil::Stencil{T,M}, region::Region) where {T,M,R} |
513
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
34 return BoundaryRestriction{T,M,typeof(region)}(closureStencil,size(grid)) |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
35 end |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
36 |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
37 LazyTensors.range_size(e::BoundaryRestriction) = (1,) |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
38 LazyTensors.domain_size(e::BoundaryRestriction) = e.size |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
39 |
511
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
40 " Restricts a grid function v on a grid of size m to the scalar element v[1]" |
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
41 function LazyTensors.apply(e::BoundaryRestriction{T,M,Lower}, v::AbstractVector{T}, i::Index{Lower}) where {T,M} |
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
42 @boundscheck if Int(i)!=1 |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
43 throw(BoundsError()) |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
44 end |
511
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
45 apply_stencil(e.stencil,v,Int(i)) |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
46 end |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
47 |
511
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
48 " Restricts a grid function v on a grid of size m to the scalar element v[m]" |
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
49 function LazyTensors.apply(e::BoundaryRestriction{T,M,Upper}, v::AbstractVector{T}, i::Index{Upper}) where {T,M} |
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
50 @boundscheck if Int(i) != e.size[1] |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
51 throw(BoundsError()) |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
52 end |
511
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
53 apply_stencil_backwards(e.stencil,v,Int(i)) |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
54 end |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
55 |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
56 " Transpose of a restriction is an inflation or prolongation. |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
57 Inflates the scalar (1-element) vector to a vector of size of the grid" |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
58 function LazyTensors.apply_transpose(e::BoundaryRestriction{T,M,Lower}, v::AbstractVector{T}, i) where {T,M} |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
59 @boundscheck if !(0 < Int(i) <= e.size[1]) |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
60 throw(BoundsError()) |
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
61 end |
511
f5f3b832f9c4
Fix boundschecking for BoundaryRestriction
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
510
diff
changeset
|
62 return e.stencil[Int(i)-1]*v[1] |
510
db64cfe4d9de
Start sketching on 1D boundary restriction operators.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff
changeset
|
63 end |
513
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
64 |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
65 " Transpose of a restriction is an inflation or prolongation. |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
66 Inflates the scalar (1-element) vector to a vector of size of the grid" |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
67 function LazyTensors.apply_transpose(e::BoundaryRestriction{T,M,Upper}, v::AbstractVector{T}, i) where {T,M} |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
68 @boundscheck if !(0 < Int(i) <= e.size[1]) |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
69 throw(BoundsError()) |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
70 end |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
71 return e.stencil[e.size[1] - Int(i)]*v[1] |
547639572208
Get some kind of tested working implementation.
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
512
diff
changeset
|
72 end |