The Conley-Morse Graphs Software
p_harvest.h
Go to the documentation of this file.
1/////////////////////////////////////////////////////////////////////////////
2///
3/// @file p_harvest.h
4///
5/// Parameters for a population model with harvesting.
6/// This is a configuration file for the program "cmgraphs.cpp"
7/// which defines the ranges of parameters to scan
8/// and the details of the phase space.
9///
10/// @author Pawel Pilarczyk
11///
12/////////////////////////////////////////////////////////////////////////////
13
14// Copyright (C) 1997-2014 by Pawel Pilarczyk.
15//
16// This file is part of my research software package. This is free software:
17// you can redistribute it and/or modify it under the terms of the GNU
18// General Public License as published by the Free Software Foundation,
19// either version 3 of the License, or (at your option) any later version.
20//
21// This software is distributed in the hope that it will be useful,
22// but WITHOUT ANY WARRANTY; without even the implied warranty of
23// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
24// GNU General Public License for more details.
25//
26// You should have received a copy of the GNU General Public License
27// along with this software; see the file "license.txt". If not,
28// please, see <https://www.gnu.org/licenses/>.
29
30// Started on February 9, 2008. Last revision: July 19, 2011.
31
32
33#ifndef _CMGRAPHS_P_H_
34#define _CMGRAPHS_P_H_
35
36
37namespace custom {
38
39/// Parameters for a population model with harvesting.
40namespace harvesting {
41
42
43// --------------------------------------------------
44// --------- the phase space configuration ----------
45// --------------------------------------------------
46
47/// The dimension of the phase space.
48const int spaceDim = 2;
49
50/// Is space wrapping (a.k.a. periodic boundary conditions)
51/// in effect in the given directions?
52const bool spaceWrapping [spaceDim] = {false, false};
53
54/// The initial depth of subdivisions in the phase space.
55const int initialDepth = 6;
56
57/// The final depth of subdivisions in the phase space.
58const int finalDepth = 10;
59
60
61// --------------------------------------------------
62// ------------ the parameter selection -------------
63// --------------------------------------------------
64
65/// The dimension of the parameter space to iterate. Only those parameters
66/// which are varying are taken into consideration here.
67const int paramDim = 2;
68
69/// The numbers of subintervals in each direction of the parameter space.
70/// The type of these numbers must match "parCoord" in "typedefs.h".
71const short int paramSubdiv [paramDim] = {5 * 100, 5 * 100};
72
73/// The numbers of parameters to subdivide.
74const int paramSelect [paramDim] = {0, 2};
75
76
77// --------------------------------------------------
78// ---------- the parameter space settings ----------
79// --------------------------------------------------
80
81/// The number of all the parameters, both varying and fixed.
82/// 0 - harvesting rate for adults: h_a in [0,1]
83/// 1 - harvesting rate for juveniles: h_j in [0,1]
84/// 2 - survival rate for adults: s_a in [0,1]
85/// 3 - survival rate for juveniles: s_j in [0,1]
86/// 4 - alpha = e^r > 1 (e.g. e^{4} = approx 54.598)
87/// 5 - beta > 0 (e.g. e^{r-1} = 20.086 - phase space scaling factor)
88/// 6 - model restriction bits:
89/// 0x001 for "h_j := 0",
90/// 0x002 for "h_a := 0", [note: select param 1, not 0!]
91/// 0x004 for "h_j := h_a",
92/// 0x010 for "s_j := 1 - s_a",
93/// 0x020 for "s_j := s_a",
94/// 0x100 for "beta := alpha / e".
95const int paramCount = 7;
96
97/// The left bounds on the parameters.
98const double paramLeft [paramCount] = {0.0, 0.0, 0.0, 0.0,
99 54.598150033144236, 20.085536923187668, 0x001 | 0x010 | 0x100};
100
101/// The right bounds on the parameters.
102const double paramRight [paramCount] = {1.0, 1.0, 1.0, 1.0,
103 54.598150033144236, 20.085536923187668, 0x001 | 0x010 | 0x100};
104
105
106// --------------------------------------------------
107// -------------- the phase space size --------------
108// --------------------------------------------------
109
110/// An array which keeps the offset of the rectangular area
111/// in the phase space that contains the invariant sets of interest.
112const double spaceOffset [spaceDim] = {0.0, 0.0};
113
114/// An array which keeps the width of the rectangular area
115/// in the phase space that contains the invariant sets of interest.
116const double spaceWidth [spaceDim] = {1.35, 1.35};
117
118
119// --------------------------------------------------
120// ------------------ refinements -------------------
121// --------------------------------------------------
122
123/// The number of refinements that should be done if a Morse set
124/// with the trivial index is encountered or if the image of a Morse set
125/// sticks out of the rectangular region to which the computations
126/// are restricted. Set to zero for no refinements.
127const int refineDepth = 20;
128
129/// The maximal allowed size of a set of cubes in the phase space
130/// which can be refined at the initial subdivision level.
131/// Set to zero to suppress any refinements.
132const int maxRefineSize0 = 10000;
133
134/// The maximal allowed size of a set of cubes in the phase space
135/// which can be refined at the subsequent subdivision levels.
136/// Set to zero to suppress any refinements.
137const int maxRefineSize1 = 5000;
138
139
140// --------------------------------------------------
141// ------------------- map images -------------------
142// --------------------------------------------------
143
144/// The maximal allowed diameter of the cubical image of a signle box.
145/// This limit is set up in order to prevent a blow-up of the program
146/// in the memory because of accumulating huge images of boxes.
147const int maxImageDiameter = 10000;
148
149/// The maximal allowed volume of the cubical image of a single box.
150/// This limit is set up in order to prevent a blow-up of the program
151/// in the memory because of accumulating huge images of boxes.
152const int maxImageVolume = 100000;
153
154
155// --------------------------------------------------
156// -------------- max index pair size ---------------
157// --------------------------------------------------
158
159/// The maximal allowed size of the index pair. This size is measured
160/// as the total number of cubes in the index pair and its forward image.
161const int maxIndexPairSize = 10000000;
162
163
164// --------------------------------------------------
165// --------------- joining Morse sets ---------------
166// --------------------------------------------------
167
168/// The maximal number of cubes in a trivial Morse set for which an attempt
169/// is made to join this set with another near-by Morse set.
170/// Set to zero to suppress joining.
171const int maxJoinSize = 0;
172
173/// The maximal size of a connecting orbit between two Morse sets
174/// which can be considered for joining.
175const int maxJoinConnection = 1000;
176
177/// The maximal allowed distance between two Morse sets which can be
178/// considered for joining. Note: It doesn't work with space wrapping.
179const int maxJoinDistance = 100;
180
181
182// --------------------------------------------------
183// ----------------- other settings -----------------
184// --------------------------------------------------
185
186/// Should the ordering between the Morse sets be taken into consideration
187/// while determining whether two Morse decompositions
188/// computed for adjacent parameter boxes are in the same class?
189const bool compareMorseOrdering = true;
190
191/// Ignoring the isolation problem while matching Morse decompositions.
192/// If this constant is set to "true" then Morse sets are matched
193/// with each other indepent of whether the Conley index could be computed
194/// for them or not. Otherwise, 'correct' and 'wrong' Morse sets
195/// are matched with their counterparts in the same category only.
197
198/// Ignoring the isolation problem while computing the Conley index.
199/// If the constant is set to "true" then the index pair constructed on the
200/// basis of a combinatorial Morse set with respect to the dynamics
201/// restricted to the rectangular area of interest is also restricted
202/// to that area by means of projecting all the boxes that stick out
203/// of the region onto a single layer of boxes around the boundary.
205
206
207} // namespace harvesting
208} // namespace custom
209
210
211#endif // _CMGRAPHS_P_H_
212
const int paramSelect[paramDim]
The numbers of parameters to subdivide.
Definition: p_harvest.h:74
const bool compareMorseOrdering
Should the ordering between the Morse sets be taken into consideration while determining whether two ...
Definition: p_harvest.h:189
const int maxJoinConnection
The maximal size of a connecting orbit between two Morse sets which can be considered for joining.
Definition: p_harvest.h:175
const short int paramSubdiv[paramDim]
The numbers of subintervals in each direction of the parameter space.
Definition: p_harvest.h:71
const double spaceOffset[spaceDim]
An array which keeps the offset of the rectangular area in the phase space that contains the invarian...
Definition: p_harvest.h:112
const int refineDepth
The number of refinements that should be done if a Morse set with the trivial index is encountered or...
Definition: p_harvest.h:127
const int maxIndexPairSize
The maximal allowed size of the index pair.
Definition: p_harvest.h:161
const int maxRefineSize0
The maximal allowed size of a set of cubes in the phase space which can be refined at the initial sub...
Definition: p_harvest.h:132
const double spaceWidth[spaceDim]
An array which keeps the width of the rectangular area in the phase space that contains the invariant...
Definition: p_harvest.h:116
const int initialDepth
The initial depth of subdivisions in the phase space.
Definition: p_harvest.h:55
const int maxJoinDistance
The maximal allowed distance between two Morse sets which can be considered for joining.
Definition: p_harvest.h:179
const double paramRight[paramCount]
The right bounds on the parameters.
Definition: p_harvest.h:102
const int finalDepth
The final depth of subdivisions in the phase space.
Definition: p_harvest.h:58
const double paramLeft[paramCount]
The left bounds on the parameters.
Definition: p_harvest.h:98
const int maxJoinSize
The maximal number of cubes in a trivial Morse set for which an attempt is made to join this set with...
Definition: p_harvest.h:171
const bool spaceWrapping[spaceDim]
Is space wrapping (a.k.a.
Definition: p_harvest.h:52
const int maxImageDiameter
The maximal allowed diameter of the cubical image of a signle box.
Definition: p_harvest.h:147
const int spaceDim
The dimension of the phase space.
Definition: p_harvest.h:48
const int maxImageVolume
The maximal allowed volume of the cubical image of a single box.
Definition: p_harvest.h:152
const bool ignoreIsolationForConleyIndex
Ignoring the isolation problem while computing the Conley index.
Definition: p_harvest.h:204
const int paramCount
The number of all the parameters, both varying and fixed.
Definition: p_harvest.h:95
const int maxRefineSize1
The maximal allowed size of a set of cubes in the phase space which can be refined at the subsequent ...
Definition: p_harvest.h:137
const int paramDim
The dimension of the parameter space to iterate.
Definition: p_harvest.h:67
const bool ignoreIsolationForContinuation
Ignoring the isolation problem while matching Morse decompositions.
Definition: p_harvest.h:196
Customizable settings that are supposed to be modified and/or chosen by the user of the software.