annotate src/Grids/parameter_space.jl @ 1991:7ead7a87af18 feature/grids/parameter_spaces/in

Add documentation stub
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 24 Apr 2025 09:05:30 +0200
parents 8cf1764ba124
children ca6d898d3a38
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 """
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2 ParameterSpace{D}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3
1904
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
4 A space of parameters of dimension `D`.
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
5
1904
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
6 Common parameter spaces are created using functions for unit sized spaces
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
7 * [`unitinterval`](@ref)
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
8 * [`unitsquare`](@ref)
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
9 * [`unitcube`](@ref)
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
10 * [`unithyperbox`](@ref)
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
11 * [`unittriangle`](@ref)
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
12 * [`unittetrahedron`](@ref)
e54fed6a9ada Improve documentation for ParameterSpace
Jonatan Werpers <jonatan@werpers.com>
parents: 1902
diff changeset
13 * [`unitsimplex`](@ref)
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14
1907
09c4fda8779d Fix some errors in docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1906
diff changeset
15 See also: [`Interval`](@ref), [`HyperBox`](@ref),
09c4fda8779d Fix some errors in docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1906
diff changeset
16 [`Simplex`](@ref).
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
17 """
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
18 abstract type ParameterSpace{D} end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
19 Base.ndims(::ParameterSpace{D}) where D = D
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
20
1991
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
21
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
22 @doc """
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
23 in(x, S::ParameterSpace)
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
24 ∈(x, S::ParameterSpace)
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
25
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
26 # TODO
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
27 """ Base.in(x,::ParameterSpace)
7ead7a87af18 Add documentation stub
Jonatan Werpers <jonatan@werpers.com>
parents: 1990
diff changeset
28
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
29 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
30 Interval{T} <: ParameterSpace{1}
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
31
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
32 A `ParameterSpace` representing an interval.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
33 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34 struct Interval{T} <: ParameterSpace{1}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
35 a::T
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
36 b::T
1906
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
37 end
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
38
1906
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
39 """
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
40 Interval(a,b)
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
41
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
42 An interval with limits `a` and `b`.
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
43 """
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
44 function Interval(a,b)
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
45 a, b = promote(a, b)
447ea06bfa07 Make promoting constructor for Interval an outer constructor
Jonatan Werpers <jonatan@werpers.com>
parents: 1905
diff changeset
46 Interval{typeof(a)}(a,b)
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
47 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
48
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
49 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
50 limits(i::Interval)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
51
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
52 The limits of the interval.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
53 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
54 limits(i::Interval) = (i.a, i.b)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
55
1910
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
56 boundary_identifiers(::Interval) = (LowerBoundary(), UpperBoundary())
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
57
1989
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1911
diff changeset
58 Base.in(x, i::Interval) = i.a <= x <= i.b
77ff0a2acbe5 Add Base.in for Interval
Jonatan Werpers <jonatan@werpers.com>
parents: 1911
diff changeset
59
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
60 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
61 unitinterval(T=Float64)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
62
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
63 The interval ``(0,1)``.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
64 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
65 unitinterval(T=Float64) = Interval(zero(T), one(T))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
66
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
67
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
68 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
69 HyperBox{T,D} <: ParameterSpace{D}
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
70
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
71 A `ParameterSpace` representing a hyper box.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
72 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
73 struct HyperBox{T,D} <: ParameterSpace{D}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
74 a::SVector{D,T}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
75 b::SVector{D,T}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
76 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
77
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
78 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
79 HyperBox(a,b)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
80
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
81 A `HyperBox` with lower limits `a` and upper limits `b` for each dimension.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
82 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
83 function HyperBox(a,b)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
84 ET = promote_type(eltype(a),eltype(b))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
85 T = SVector{length(a),ET}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
86 HyperBox(convert(T,a), convert(T,b))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
87 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
88
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
89 Rectangle{T} = HyperBox{T,2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
90 Box{T} = HyperBox{T,3}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
91
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
92 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
93 limits(box::HyperBox, d)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
94
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
95 Limits of `box` along dimension `d`.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
96 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
97 limits(box::HyperBox, d) = (box.a[d], box.b[d])
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
98
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
99 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
100 limits(box::HyperBox)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
101
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
102 The lower and upper limits of `box` as tuples.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
103 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
104 limits(box::HyperBox) = (box.a, box.b)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
105
1910
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
106 function boundary_identifiers(box::HyperBox)
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
107 mapreduce(vcat, 1:ndims(box)) do d
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
108 [
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
109 CartesianBoundary{d, LowerBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
110 CartesianBoundary{d, UpperBoundary}(),
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
111 ]
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
112 end
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
113 end
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
114
1990
8cf1764ba124 Implement Base.in(x, ::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1989
diff changeset
115 function Base.in(x, box::HyperBox)
8cf1764ba124 Implement Base.in(x, ::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1989
diff changeset
116 return all(eachindex(x)) do i
8cf1764ba124 Implement Base.in(x, ::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1989
diff changeset
117 box.a[i] <= x[i] <= box.b[i]
8cf1764ba124 Implement Base.in(x, ::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1989
diff changeset
118 end
8cf1764ba124 Implement Base.in(x, ::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1989
diff changeset
119 end
1910
15be190a40cd Add boundary_intifiers(::Interval) and boundary_identifiers(::HyperBox)
Jonatan Werpers <jonatan@werpers.com>
parents: 1907
diff changeset
120
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
121 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
122 unitsquare(T=Float64)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
123
1911
449cce897da9 Update some docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
124 The square limited by 0 and 1 in each dimension.
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
125 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
126 unitsquare(T=Float64) = unithyperbox(T,2)
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
127
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
128 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
129 unitcube(T=Float64)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
130
1911
449cce897da9 Update some docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
131 The cube limited by 0 and 1 in each dimension.
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
132 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
133 unitcube(T=Float64) = unithyperbox(T,3)
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
134
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
135 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
136 unithyperbox(T=Float64, D)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
137
1911
449cce897da9 Update some docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
138 The hypercube limited by 0 and 1 in each dimension.
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
139 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
140 unithyperbox(T, D) = HyperBox((@SVector zeros(T,D)), (@SVector ones(T,D)))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
141 unithyperbox(D) = unithyperbox(Float64,D)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
142
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
143
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
144 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
145 Simplex{T,D,NV} <: ParameterSpace{D}
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
146
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
147 A `ParameterSpace` representing a simplex.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
148 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
149 struct Simplex{T,D,NV} <: ParameterSpace{D}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
150 verticies::NTuple{NV,SVector{D,T}}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
151
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
152 Simplex(verticies::Tuple{SVector{D,T}, Vararg{SVector{D,T},N}}) where {T,D,N} = new{T,D,N+1}(verticies)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
153 Simplex(::Tuple{}) = throw(ArgumentError("Must provide at least one vertex."))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
154 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
155
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
156 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
157 Simplex(verticies...)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
158
1911
449cce897da9 Update some docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1910
diff changeset
159 A simplex with the given verticies.
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
160 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
161 function Simplex(verticies::Vararg{AbstractArray})
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
162 ET = mapreduce(eltype,promote_type,verticies)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
163 T = SVector{length(verticies[1]),ET}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
164
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
165 return Simplex(Tuple(convert(T,v) for v ∈ verticies))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
166 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
167
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
168 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
169 verticies(s::Simplex)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
170
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
171 Verticies of `s`.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
172 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
173 verticies(s::Simplex) = s.verticies
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
174
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
175 Triangle{T} = Simplex{T,2}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
176 Tetrahedron{T} = Simplex{T,3}
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
177
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
178 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
179 unittriangle(T=Float64)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
180
1907
09c4fda8779d Fix some errors in docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1906
diff changeset
181 The simplex with verticies ``(0,0)``, ``(1,0)``, and ``(0,1)``.
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
182 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
183 unittriangle(T=Float64) = unitsimplex(T,2)
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
184
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
185 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
186 unittetrahedron(T=Float64)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
187
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
188 The simplex with verticies ``(0,0,0)``, ``(1,0,0)``, ``(0,1,0)``, and ``(0,0,1)``.
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
189 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
190 unittetrahedron(T=Float64) = unitsimplex(T,3)
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
191
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
192 """
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
193 unitsimplex(T=Float64,D)
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
194
1907
09c4fda8779d Fix some errors in docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1906
diff changeset
195 The unit simplex in dimension `D` with verticies ``(0,0,0,...)``, ``(1,0,0,...)``, ``(0,1,0,...)``, ``(0,0,1,...)``...
1905
238ef43fe92a Add a bunch of docstrings
Jonatan Werpers <jonatan@werpers.com>
parents: 1904
diff changeset
196 """
1902
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
197 function unitsimplex(T,D)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
198 z = @SVector zeros(T,D)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
199 unitelement = one(eltype(z))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
200 verticies = ntuple(i->setindex(z, unitelement, i), D)
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
201 return Simplex((z,verticies...))
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
202 end
f93ba5832146 Copy changes related to ParameterSpace from feature/grids/manifolds
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
203 unitsimplex(D) = unitsimplex(Float64, D)