multipers 2.2.3__cp311-cp311-win_amd64.whl → 2.3.0__cp311-cp311-win_amd64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.


This version of multipers might be problematic. Click here for more details.

Files changed (182) hide show
  1. multipers/__init__.py +33 -31
  2. multipers/_signed_measure_meta.py +430 -430
  3. multipers/_slicer_meta.py +211 -212
  4. multipers/data/MOL2.py +458 -458
  5. multipers/data/UCR.py +18 -18
  6. multipers/data/graphs.py +466 -466
  7. multipers/data/immuno_regions.py +27 -27
  8. multipers/data/pytorch2simplextree.py +90 -90
  9. multipers/data/shape3d.py +101 -101
  10. multipers/data/synthetic.py +113 -111
  11. multipers/distances.py +198 -198
  12. multipers/filtration_conversions.pxd.tp +84 -84
  13. multipers/filtrations/__init__.py +18 -0
  14. multipers/filtrations/filtrations.py +289 -0
  15. multipers/filtrations.pxd +224 -224
  16. multipers/function_rips.cp311-win_amd64.pyd +0 -0
  17. multipers/function_rips.pyx +105 -105
  18. multipers/grids.cp311-win_amd64.pyd +0 -0
  19. multipers/grids.pyx +350 -350
  20. multipers/gudhi/Persistence_slices_interface.h +132 -132
  21. multipers/gudhi/Simplex_tree_interface.h +239 -245
  22. multipers/gudhi/Simplex_tree_multi_interface.h +516 -561
  23. multipers/gudhi/cubical_to_boundary.h +59 -59
  24. multipers/gudhi/gudhi/Bitmap_cubical_complex.h +450 -450
  25. multipers/gudhi/gudhi/Bitmap_cubical_complex_base.h +1070 -1070
  26. multipers/gudhi/gudhi/Bitmap_cubical_complex_periodic_boundary_conditions_base.h +579 -579
  27. multipers/gudhi/gudhi/Debug_utils.h +45 -45
  28. multipers/gudhi/gudhi/Fields/Multi_field.h +484 -484
  29. multipers/gudhi/gudhi/Fields/Multi_field_operators.h +455 -455
  30. multipers/gudhi/gudhi/Fields/Multi_field_shared.h +450 -450
  31. multipers/gudhi/gudhi/Fields/Multi_field_small.h +531 -531
  32. multipers/gudhi/gudhi/Fields/Multi_field_small_operators.h +507 -507
  33. multipers/gudhi/gudhi/Fields/Multi_field_small_shared.h +531 -531
  34. multipers/gudhi/gudhi/Fields/Z2_field.h +355 -355
  35. multipers/gudhi/gudhi/Fields/Z2_field_operators.h +376 -376
  36. multipers/gudhi/gudhi/Fields/Zp_field.h +420 -420
  37. multipers/gudhi/gudhi/Fields/Zp_field_operators.h +400 -400
  38. multipers/gudhi/gudhi/Fields/Zp_field_shared.h +418 -418
  39. multipers/gudhi/gudhi/Flag_complex_edge_collapser.h +337 -337
  40. multipers/gudhi/gudhi/Matrix.h +2107 -2107
  41. multipers/gudhi/gudhi/Multi_critical_filtration.h +1038 -1038
  42. multipers/gudhi/gudhi/Multi_persistence/Box.h +171 -171
  43. multipers/gudhi/gudhi/Multi_persistence/Line.h +282 -282
  44. multipers/gudhi/gudhi/Off_reader.h +173 -173
  45. multipers/gudhi/gudhi/One_critical_filtration.h +1432 -1431
  46. multipers/gudhi/gudhi/Persistence_matrix/Base_matrix.h +769 -769
  47. multipers/gudhi/gudhi/Persistence_matrix/Base_matrix_with_column_compression.h +686 -686
  48. multipers/gudhi/gudhi/Persistence_matrix/Boundary_matrix.h +842 -842
  49. multipers/gudhi/gudhi/Persistence_matrix/Chain_matrix.h +1350 -1350
  50. multipers/gudhi/gudhi/Persistence_matrix/Id_to_index_overlay.h +1105 -1105
  51. multipers/gudhi/gudhi/Persistence_matrix/Position_to_index_overlay.h +859 -859
  52. multipers/gudhi/gudhi/Persistence_matrix/RU_matrix.h +910 -910
  53. multipers/gudhi/gudhi/Persistence_matrix/allocators/entry_constructors.h +139 -139
  54. multipers/gudhi/gudhi/Persistence_matrix/base_pairing.h +230 -230
  55. multipers/gudhi/gudhi/Persistence_matrix/base_swap.h +211 -211
  56. multipers/gudhi/gudhi/Persistence_matrix/boundary_cell_position_to_id_mapper.h +60 -60
  57. multipers/gudhi/gudhi/Persistence_matrix/boundary_face_position_to_id_mapper.h +60 -60
  58. multipers/gudhi/gudhi/Persistence_matrix/chain_pairing.h +136 -136
  59. multipers/gudhi/gudhi/Persistence_matrix/chain_rep_cycles.h +190 -190
  60. multipers/gudhi/gudhi/Persistence_matrix/chain_vine_swap.h +616 -616
  61. multipers/gudhi/gudhi/Persistence_matrix/columns/chain_column_extra_properties.h +150 -150
  62. multipers/gudhi/gudhi/Persistence_matrix/columns/column_dimension_holder.h +106 -106
  63. multipers/gudhi/gudhi/Persistence_matrix/columns/column_utilities.h +219 -219
  64. multipers/gudhi/gudhi/Persistence_matrix/columns/entry_types.h +327 -327
  65. multipers/gudhi/gudhi/Persistence_matrix/columns/heap_column.h +1140 -1140
  66. multipers/gudhi/gudhi/Persistence_matrix/columns/intrusive_list_column.h +934 -934
  67. multipers/gudhi/gudhi/Persistence_matrix/columns/intrusive_set_column.h +934 -934
  68. multipers/gudhi/gudhi/Persistence_matrix/columns/list_column.h +980 -980
  69. multipers/gudhi/gudhi/Persistence_matrix/columns/naive_vector_column.h +1092 -1092
  70. multipers/gudhi/gudhi/Persistence_matrix/columns/row_access.h +192 -192
  71. multipers/gudhi/gudhi/Persistence_matrix/columns/set_column.h +921 -921
  72. multipers/gudhi/gudhi/Persistence_matrix/columns/small_vector_column.h +1093 -1093
  73. multipers/gudhi/gudhi/Persistence_matrix/columns/unordered_set_column.h +1012 -1012
  74. multipers/gudhi/gudhi/Persistence_matrix/columns/vector_column.h +1244 -1244
  75. multipers/gudhi/gudhi/Persistence_matrix/matrix_dimension_holders.h +186 -186
  76. multipers/gudhi/gudhi/Persistence_matrix/matrix_row_access.h +164 -164
  77. multipers/gudhi/gudhi/Persistence_matrix/ru_pairing.h +156 -156
  78. multipers/gudhi/gudhi/Persistence_matrix/ru_rep_cycles.h +376 -376
  79. multipers/gudhi/gudhi/Persistence_matrix/ru_vine_swap.h +540 -540
  80. multipers/gudhi/gudhi/Persistent_cohomology/Field_Zp.h +118 -118
  81. multipers/gudhi/gudhi/Persistent_cohomology/Multi_field.h +173 -173
  82. multipers/gudhi/gudhi/Persistent_cohomology/Persistent_cohomology_column.h +128 -128
  83. multipers/gudhi/gudhi/Persistent_cohomology.h +745 -745
  84. multipers/gudhi/gudhi/Points_off_io.h +171 -171
  85. multipers/gudhi/gudhi/Simple_object_pool.h +69 -69
  86. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_iterators.h +463 -463
  87. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h +83 -83
  88. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_siblings.h +106 -106
  89. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_star_simplex_iterators.h +277 -277
  90. multipers/gudhi/gudhi/Simplex_tree/hooks_simplex_base.h +62 -62
  91. multipers/gudhi/gudhi/Simplex_tree/indexing_tag.h +27 -27
  92. multipers/gudhi/gudhi/Simplex_tree/serialization_utils.h +62 -62
  93. multipers/gudhi/gudhi/Simplex_tree/simplex_tree_options.h +157 -157
  94. multipers/gudhi/gudhi/Simplex_tree.h +2794 -2794
  95. multipers/gudhi/gudhi/Simplex_tree_multi.h +152 -163
  96. multipers/gudhi/gudhi/distance_functions.h +62 -62
  97. multipers/gudhi/gudhi/graph_simplicial_complex.h +104 -104
  98. multipers/gudhi/gudhi/persistence_interval.h +253 -253
  99. multipers/gudhi/gudhi/persistence_matrix_options.h +170 -170
  100. multipers/gudhi/gudhi/reader_utils.h +367 -367
  101. multipers/gudhi/mma_interface_coh.h +256 -255
  102. multipers/gudhi/mma_interface_h0.h +223 -231
  103. multipers/gudhi/mma_interface_matrix.h +284 -282
  104. multipers/gudhi/naive_merge_tree.h +536 -575
  105. multipers/gudhi/scc_io.h +310 -289
  106. multipers/gudhi/truc.h +890 -888
  107. multipers/io.cp311-win_amd64.pyd +0 -0
  108. multipers/io.pyx +711 -711
  109. multipers/ml/accuracies.py +90 -90
  110. multipers/ml/convolutions.py +520 -520
  111. multipers/ml/invariants_with_persistable.py +79 -79
  112. multipers/ml/kernels.py +176 -176
  113. multipers/ml/mma.py +713 -714
  114. multipers/ml/one.py +472 -472
  115. multipers/ml/point_clouds.py +352 -346
  116. multipers/ml/signed_measures.py +1589 -1589
  117. multipers/ml/sliced_wasserstein.py +461 -461
  118. multipers/ml/tools.py +113 -113
  119. multipers/mma_structures.cp311-win_amd64.pyd +0 -0
  120. multipers/mma_structures.pxd +127 -127
  121. multipers/mma_structures.pyx +4 -4
  122. multipers/mma_structures.pyx.tp +1085 -1085
  123. multipers/multi_parameter_rank_invariant/diff_helpers.h +84 -93
  124. multipers/multi_parameter_rank_invariant/euler_characteristic.h +97 -97
  125. multipers/multi_parameter_rank_invariant/function_rips.h +322 -322
  126. multipers/multi_parameter_rank_invariant/hilbert_function.h +769 -769
  127. multipers/multi_parameter_rank_invariant/persistence_slices.h +148 -148
  128. multipers/multi_parameter_rank_invariant/rank_invariant.h +369 -369
  129. multipers/multiparameter_edge_collapse.py +41 -41
  130. multipers/multiparameter_module_approximation/approximation.h +2296 -2295
  131. multipers/multiparameter_module_approximation/combinatory.h +129 -129
  132. multipers/multiparameter_module_approximation/debug.h +107 -107
  133. multipers/multiparameter_module_approximation/format_python-cpp.h +286 -286
  134. multipers/multiparameter_module_approximation/heap_column.h +238 -238
  135. multipers/multiparameter_module_approximation/images.h +79 -79
  136. multipers/multiparameter_module_approximation/list_column.h +174 -174
  137. multipers/multiparameter_module_approximation/list_column_2.h +232 -232
  138. multipers/multiparameter_module_approximation/ru_matrix.h +347 -347
  139. multipers/multiparameter_module_approximation/set_column.h +135 -135
  140. multipers/multiparameter_module_approximation/structure_higher_dim_barcode.h +36 -36
  141. multipers/multiparameter_module_approximation/unordered_set_column.h +166 -166
  142. multipers/multiparameter_module_approximation/utilities.h +403 -419
  143. multipers/multiparameter_module_approximation/vector_column.h +223 -223
  144. multipers/multiparameter_module_approximation/vector_matrix.h +331 -331
  145. multipers/multiparameter_module_approximation/vineyards.h +464 -464
  146. multipers/multiparameter_module_approximation/vineyards_trajectories.h +649 -649
  147. multipers/multiparameter_module_approximation.cp311-win_amd64.pyd +0 -0
  148. multipers/multiparameter_module_approximation.pyx +216 -217
  149. multipers/pickle.py +90 -53
  150. multipers/plots.py +342 -334
  151. multipers/point_measure.cp311-win_amd64.pyd +0 -0
  152. multipers/point_measure.pyx +322 -320
  153. multipers/simplex_tree_multi.cp311-win_amd64.pyd +0 -0
  154. multipers/simplex_tree_multi.pxd +133 -133
  155. multipers/simplex_tree_multi.pyx +18 -15
  156. multipers/simplex_tree_multi.pyx.tp +1939 -1935
  157. multipers/slicer.cp311-win_amd64.pyd +0 -0
  158. multipers/slicer.pxd +81 -20
  159. multipers/slicer.pxd.tp +215 -214
  160. multipers/slicer.pyx +1091 -308
  161. multipers/slicer.pyx.tp +924 -914
  162. multipers/tensor/tensor.h +672 -672
  163. multipers/tensor.pxd +13 -13
  164. multipers/test.pyx +44 -44
  165. multipers/tests/__init__.py +57 -57
  166. multipers/torch/diff_grids.py +217 -217
  167. multipers/torch/rips_density.py +310 -304
  168. {multipers-2.2.3.dist-info → multipers-2.3.0.dist-info}/LICENSE +21 -21
  169. {multipers-2.2.3.dist-info → multipers-2.3.0.dist-info}/METADATA +21 -11
  170. multipers-2.3.0.dist-info/RECORD +182 -0
  171. multipers/tests/test_diff_helper.py +0 -73
  172. multipers/tests/test_hilbert_function.py +0 -82
  173. multipers/tests/test_mma.py +0 -83
  174. multipers/tests/test_point_clouds.py +0 -49
  175. multipers/tests/test_python-cpp_conversion.py +0 -82
  176. multipers/tests/test_signed_betti.py +0 -181
  177. multipers/tests/test_signed_measure.py +0 -89
  178. multipers/tests/test_simplextreemulti.py +0 -221
  179. multipers/tests/test_slicer.py +0 -221
  180. multipers-2.2.3.dist-info/RECORD +0 -189
  181. {multipers-2.2.3.dist-info → multipers-2.3.0.dist-info}/WHEEL +0 -0
  182. {multipers-2.2.3.dist-info → multipers-2.3.0.dist-info}/top_level.txt +0 -0
@@ -1,282 +1,282 @@
1
- /* This file is part of the Gudhi Library - https://gudhi.inria.fr/ - which is released under MIT.
2
- * See file LICENSE or go to https://gudhi.inria.fr/licensing/ for full license details.
3
- * Author(s): David Loiseaux
4
- *
5
- * Copyright (C) 2023 Inria
6
- *
7
- * Modification(s):
8
- * - 2024/08 Hannah Schreiber: doc
9
- * - YYYY/MM Author: Description of the modification
10
- */
11
-
12
- /**
13
- * @file Line.h
14
- * @author David Loiseaux
15
- * @brief Contains the @ref Gudhi::multi_persistence::Line class.
16
- */
17
-
18
- #ifndef LINE_FILTRATION_TRANSLATION_H_INCLUDED
19
- #define LINE_FILTRATION_TRANSLATION_H_INCLUDED
20
-
21
- #include <cmath>
22
- #include <cstddef>
23
- #include <stdexcept>
24
- #include <limits>
25
-
26
- #include <gudhi/Debug_utils.h>
27
- #include <gudhi/One_critical_filtration.h>
28
- #include <gudhi/Multi_critical_filtration.h>
29
- #include <gudhi/Multi_persistence/Box.h>
30
-
31
- namespace Gudhi{
32
- namespace multi_persistence {
33
-
34
- /**
35
- * @class Line Line.h gudhi/Multi_persistence/Line.h
36
- * @ingroup multi_persistence
37
- *
38
- * @brief A line in \f$\mathbb R^n\f$, with some helpers to project points on it.
39
- *
40
- * @tparam T Type of the coordinate values. Has to follow the conditions of the template parameter of
41
- * @ref One_critical_filtration "".
42
- */
43
- template <typename T>
44
- class Line {
45
- public:
46
- /**
47
- * @brief Coordinates in \f$\mathbb R^n\f$.
48
- */
49
- using Point = Gudhi::multi_filtration::One_critical_filtration<T>;
50
- /**
51
- * @brief Set of coordinates in \f$\mathbb R^n\f$.
52
- */
53
- using K_critical_point = Gudhi::multi_filtration::Multi_critical_filtration<T>;
54
-
55
- /**
56
- * @brief Default constructor. Sets the number of coordinates to 0.
57
- */
58
- Line() : basePoint_(0), direction_(0) {} // has to be explicitly set to 0, otherwise becomes -inf
59
- /**
60
- * @brief Constructs a line going through the given point with slope 1.
61
- *
62
- * @param x A point of the line.
63
- */
64
- Line(const Point &x) : basePoint_(x), direction_(0) {} // default direction
65
- /**
66
- * @brief Constructs a line going through the given point with slope 1.
67
- *
68
- * @param x A point of the line. Will be moved.
69
- */
70
- Line(Point &&x) : basePoint_(std::move(x)), direction_(0) {} // default direction
71
- /**
72
- * @brief Constructs a line going through the given point in the direction of the given vector.
73
- * If the vector has no coordinates, the slope is assumed to be 1.
74
- * Otherwise, the vector has to be non trivial and all its coordinates have to be positive.
75
- *
76
- * @param x A point of the line.
77
- * @param vector Direction of the line. Positive and non trivial.
78
- */
79
- Line(const Point &x, const Point &vector) : basePoint_(x), direction_(vector) { check_direction_(); }
80
-
81
- /**
82
- * @brief Returns the coordinates of the point on the line with "time" parameter `t`. That is, the point \f$ x \f$
83
- * such that \f$ x[i] = base\_point[i] + t \times direction[i] \f$ for all \f$ i \in [0, n - 1] \f$ with \f$ n \f$
84
- * the number of coordinates.
85
- */
86
- Point operator[](T t) const {
87
- GUDHI_CHECK(direction_.empty() || direction_.size() == basePoint_.size(),
88
- "Direction and base point do not have the same dimension.");
89
-
90
- if constexpr (std::numeric_limits<T>::has_quiet_NaN){ //to avoid windows error
91
- if (std::isnan(t)) return Point::nan();
92
- }
93
- if (t == Point::T_inf) return Point::inf();
94
- if (t == -Point::T_inf) return Point::minus_inf();
95
-
96
- Point x(basePoint_.size());
97
-
98
- if (direction_.size() > 0) {
99
- for (std::size_t i = 0; i < x.size(); i++) x[i] = basePoint_[i] + t * direction_[i];
100
- } else
101
- for (std::size_t i = 0; i < x.size(); i++) x[i] = basePoint_[i] + t;
102
-
103
- return x;
104
- }
105
-
106
- /**
107
- * @brief Translates the given line in the given direction.
108
- */
109
- friend Line &operator+=(Line &to_translate, const Point &v) {
110
- to_translate.basePoint_ += v;
111
- return to_translate;
112
- }
113
-
114
- /**
115
- * @brief Returns a reference to the current base point of the line.
116
- */
117
- Point &base_point() { return basePoint_; }
118
- /**
119
- * @brief Returns a const reference to the current base point of the line.
120
- */
121
- const Point &base_point() const { return basePoint_; }
122
-
123
- /**
124
- * @brief Returns a reference to the direction vector of the line.
125
- */
126
- Point &direction() { return direction_; }
127
- /**
128
- * @brief Returns a const reference to the direction vector of the line.
129
- */
130
- const Point &direction() const { return direction_; }
131
-
132
- // TODO: factorize forward and backward version by adding a `co` to One_critical_filtration?
133
- // Could make problems with One_critical_filtration being the type of basePoint_ and direction_
134
-
135
- /**
136
- * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
137
- * of the intersection between the line and the closed positive cone originating at `x`.
138
- *
139
- * @tparam U Type of the time parameter.
140
- * @param x Origin of the closed positive cone.
141
- */
142
- template <typename U = T>
143
- U compute_forward_intersection(const Point &x) const {
144
- GUDHI_CHECK(direction_.empty() || direction_.size() == x.size(), "x has not as many parameters as the line.");
145
-
146
- constexpr const U inf =
147
- std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
148
- if (x.is_plus_inf() || x.is_nan()) return inf;
149
- if (x.is_minus_inf()) return -inf;
150
- U t = -inf;
151
- if (direction_.size()) {
152
- for (std::size_t i = 0; i < x.size(); i++) {
153
- if (direction_[i] == 0) {
154
- if (x[i] > basePoint_[i]) return inf;
155
- } else {
156
- t = std::max(t, (static_cast<U>(x[i]) - static_cast<U>(basePoint_[i])) / static_cast<U>((direction_[i])));
157
- }
158
- }
159
- } else {
160
- for (std::size_t i = 0; i < x.size(); i++) t = std::max(t, static_cast<U>(x[i]) - static_cast<U>(basePoint_[i]));
161
- }
162
-
163
- return t;
164
- }
165
-
166
- /**
167
- * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
168
- * of the intersection between the line and the union of closed positive cones originating at the points in `x`.
169
- *
170
- * @tparam U Type of the time parameter.
171
- * @param x Set of origins for the closed positive cones.
172
- */
173
- template <typename U = T>
174
- U compute_forward_intersection(const K_critical_point &x) const {
175
- constexpr const U inf =
176
- std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
177
- if (x.is_plus_inf() || x.is_nan()) return inf;
178
- if (x.is_minus_inf()) return -inf;
179
- U t = inf;
180
- for (const auto &y : x) {
181
- t = std::min(t, compute_forward_intersection<U>(y));
182
- }
183
- return t;
184
- }
185
-
186
- /**
187
- * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
188
- * of the intersection between the line and the open negative cone originating at `x`.
189
- *
190
- * @tparam U Type of the time parameter.
191
- * @param x Origin of the open negative cone.
192
- */
193
- template <typename U = T>
194
- U compute_backward_intersection(const Point &x) const {
195
- constexpr const U inf =
196
- std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
197
- if (x.is_plus_inf()) return inf;
198
- if (x.is_minus_inf() || x.is_nan()) return -inf;
199
- U t = inf;
200
-
201
- if (direction_.size()) {
202
- for (std::size_t i = 0; i < x.size(); i++) {
203
- if (direction_[i] == 0) {
204
- if (x[i] <= basePoint_[i]) return -inf;
205
- } else {
206
- t = std::min(t, (static_cast<U>(x[i]) - static_cast<U>(basePoint_[i])) / static_cast<U>(direction_[i]));
207
- }
208
- }
209
- } else {
210
- for (std::size_t i = 0; i < x.size(); i++) t = std::min(t, static_cast<U>(x[i] - basePoint_[i]));
211
- }
212
- return t;
213
- }
214
-
215
- /**
216
- * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
217
- * of the intersection between the line and the union of open negative cones originating at the points in `x`.
218
- *
219
- * @tparam U Type of the time parameter.
220
- * @param x Set of origins for the open negative cones.
221
- */
222
- template <typename U = T>
223
- U compute_backward_intersection(const K_critical_point &x) const {
224
- constexpr const U inf =
225
- std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
226
- if (x.is_plus_inf()) return inf;
227
- if (x.is_minus_inf() || x.is_nan()) return -inf;
228
- U t = -inf;
229
- for (const auto &y : x) {
230
- t = std::max(t, compute_backward_intersection<U>(y));
231
- }
232
- return t;
233
- }
234
-
235
- /**
236
- * @brief Given a box, returns "time" parameter of the intersection of this box and the line.
237
- *
238
- * @param box Box to intersect.
239
- * @return A pair representing the two bounding points of the intersection, such that the first element is the
240
- * smallest of the two. If the box and the line do not intersect or the box is trivial, returns the pair {inf, -inf}.
241
- */
242
- std::pair<T, T> get_bounds(const Box<T> &box) const {
243
- if (box.is_trivial()) return {Point::T_inf, -Point::T_inf};
244
-
245
- T bottom = compute_forward_intersection(box.get_lower_corner());
246
- T top = compute_backward_intersection(box.get_upper_corner());
247
-
248
- if (bottom > top) return {Point::T_inf, -Point::T_inf}; // no intersection
249
-
250
- return {bottom, top};
251
- }
252
-
253
- private:
254
- Point basePoint_; /**< Any point on the line. */
255
- Point direction_; /**< Direction of the line. */
256
-
257
- /**
258
- * @brief Checks that the arguments define a correct and positively slopped line.
259
- */
260
- void check_direction_() const {
261
- if (direction_.size() == 0) return; // default slope
262
-
263
- bool is_trivial = true;
264
- for (T v : direction_) {
265
- if (v) {
266
- is_trivial = false;
267
- }
268
- if (v < 0) {
269
- throw std::invalid_argument("Direction should have positive entries.");
270
- }
271
- }
272
- if (is_trivial) {
273
- throw std::invalid_argument("Direction should have at least one non-trivial entry.");
274
- }
275
- if (direction_.size() != basePoint_.size())
276
- throw std::invalid_argument("The dimensions of base point and direction are not equal.");
277
- }
278
- };
279
-
280
- }} // namespace Gudhi::multi_persistence
281
-
282
- #endif // LINE_FILTRATION_TRANSLATION_H_INCLUDED
1
+ /* This file is part of the Gudhi Library - https://gudhi.inria.fr/ - which is released under MIT.
2
+ * See file LICENSE or go to https://gudhi.inria.fr/licensing/ for full license details.
3
+ * Author(s): David Loiseaux
4
+ *
5
+ * Copyright (C) 2023 Inria
6
+ *
7
+ * Modification(s):
8
+ * - 2024/08 Hannah Schreiber: doc
9
+ * - YYYY/MM Author: Description of the modification
10
+ */
11
+
12
+ /**
13
+ * @file Line.h
14
+ * @author David Loiseaux
15
+ * @brief Contains the @ref Gudhi::multi_persistence::Line class.
16
+ */
17
+
18
+ #ifndef LINE_FILTRATION_TRANSLATION_H_INCLUDED
19
+ #define LINE_FILTRATION_TRANSLATION_H_INCLUDED
20
+
21
+ #include <cmath>
22
+ #include <cstddef>
23
+ #include <stdexcept>
24
+ #include <limits>
25
+
26
+ #include <gudhi/Debug_utils.h>
27
+ #include <gudhi/One_critical_filtration.h>
28
+ #include <gudhi/Multi_critical_filtration.h>
29
+ #include <gudhi/Multi_persistence/Box.h>
30
+
31
+ namespace Gudhi{
32
+ namespace multi_persistence {
33
+
34
+ /**
35
+ * @class Line Line.h gudhi/Multi_persistence/Line.h
36
+ * @ingroup multi_persistence
37
+ *
38
+ * @brief A line in \f$\mathbb R^n\f$, with some helpers to project points on it.
39
+ *
40
+ * @tparam T Type of the coordinate values. Has to follow the conditions of the template parameter of
41
+ * @ref One_critical_filtration "".
42
+ */
43
+ template <typename T>
44
+ class Line {
45
+ public:
46
+ /**
47
+ * @brief Coordinates in \f$\mathbb R^n\f$.
48
+ */
49
+ using Point = Gudhi::multi_filtration::One_critical_filtration<T>;
50
+ /**
51
+ * @brief Set of coordinates in \f$\mathbb R^n\f$.
52
+ */
53
+ using K_critical_point = Gudhi::multi_filtration::Multi_critical_filtration<T>;
54
+
55
+ /**
56
+ * @brief Default constructor. Sets the number of coordinates to 0.
57
+ */
58
+ Line() : basePoint_(0), direction_(0) {} // has to be explicitly set to 0, otherwise becomes -inf
59
+ /**
60
+ * @brief Constructs a line going through the given point with slope 1.
61
+ *
62
+ * @param x A point of the line.
63
+ */
64
+ Line(const Point &x) : basePoint_(x), direction_(0) {} // default direction
65
+ /**
66
+ * @brief Constructs a line going through the given point with slope 1.
67
+ *
68
+ * @param x A point of the line. Will be moved.
69
+ */
70
+ Line(Point &&x) : basePoint_(std::move(x)), direction_(0) {} // default direction
71
+ /**
72
+ * @brief Constructs a line going through the given point in the direction of the given vector.
73
+ * If the vector has no coordinates, the slope is assumed to be 1.
74
+ * Otherwise, the vector has to be non trivial and all its coordinates have to be positive.
75
+ *
76
+ * @param x A point of the line.
77
+ * @param vector Direction of the line. Positive and non trivial.
78
+ */
79
+ Line(const Point &x, const Point &vector) : basePoint_(x), direction_(vector) { check_direction_(); }
80
+
81
+ /**
82
+ * @brief Returns the coordinates of the point on the line with "time" parameter `t`. That is, the point \f$ x \f$
83
+ * such that \f$ x[i] = base\_point[i] + t \times direction[i] \f$ for all \f$ i \in [0, n - 1] \f$ with \f$ n \f$
84
+ * the number of coordinates.
85
+ */
86
+ Point operator[](T t) const {
87
+ GUDHI_CHECK(direction_.empty() || direction_.size() == basePoint_.size(),
88
+ "Direction and base point do not have the same dimension.");
89
+
90
+ if constexpr (std::numeric_limits<T>::has_quiet_NaN){ //to avoid windows error
91
+ if (std::isnan(t)) return Point::nan();
92
+ }
93
+ if (t == Point::T_inf) return Point::inf();
94
+ if (t == -Point::T_inf) return Point::minus_inf();
95
+
96
+ Point x(basePoint_.size());
97
+
98
+ if (direction_.size() > 0) {
99
+ for (std::size_t i = 0; i < x.size(); i++) x[i] = basePoint_[i] + t * direction_[i];
100
+ } else
101
+ for (std::size_t i = 0; i < x.size(); i++) x[i] = basePoint_[i] + t;
102
+
103
+ return x;
104
+ }
105
+
106
+ /**
107
+ * @brief Translates the given line in the given direction.
108
+ */
109
+ friend Line &operator+=(Line &to_translate, const Point &v) {
110
+ to_translate.basePoint_ += v;
111
+ return to_translate;
112
+ }
113
+
114
+ /**
115
+ * @brief Returns a reference to the current base point of the line.
116
+ */
117
+ Point &base_point() { return basePoint_; }
118
+ /**
119
+ * @brief Returns a const reference to the current base point of the line.
120
+ */
121
+ const Point &base_point() const { return basePoint_; }
122
+
123
+ /**
124
+ * @brief Returns a reference to the direction vector of the line.
125
+ */
126
+ Point &direction() { return direction_; }
127
+ /**
128
+ * @brief Returns a const reference to the direction vector of the line.
129
+ */
130
+ const Point &direction() const { return direction_; }
131
+
132
+ // TODO: factorize forward and backward version by adding a `co` to One_critical_filtration?
133
+ // Could make problems with One_critical_filtration being the type of basePoint_ and direction_
134
+
135
+ /**
136
+ * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
137
+ * of the intersection between the line and the closed positive cone originating at `x`.
138
+ *
139
+ * @tparam U Type of the time parameter.
140
+ * @param x Origin of the closed positive cone.
141
+ */
142
+ template <typename U = T>
143
+ U compute_forward_intersection(const Point &x) const {
144
+ GUDHI_CHECK(direction_.empty() || direction_.size() == x.size(), "x has not as many parameters as the line.");
145
+
146
+ constexpr const U inf =
147
+ std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
148
+ if (x.is_plus_inf() || x.is_nan()) return inf;
149
+ if (x.is_minus_inf()) return -inf;
150
+ U t = -inf;
151
+ if (direction_.size()) {
152
+ for (std::size_t i = 0; i < x.size(); i++) {
153
+ if (direction_[i] == 0) {
154
+ if (x[i] > basePoint_[i]) return inf;
155
+ } else {
156
+ t = std::max(t, (static_cast<U>(x[i]) - static_cast<U>(basePoint_[i])) / static_cast<U>((direction_[i])));
157
+ }
158
+ }
159
+ } else {
160
+ for (std::size_t i = 0; i < x.size(); i++) t = std::max(t, static_cast<U>(x[i]) - static_cast<U>(basePoint_[i]));
161
+ }
162
+
163
+ return t;
164
+ }
165
+
166
+ /**
167
+ * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
168
+ * of the intersection between the line and the union of closed positive cones originating at the points in `x`.
169
+ *
170
+ * @tparam U Type of the time parameter.
171
+ * @param x Set of origins for the closed positive cones.
172
+ */
173
+ template <typename U = T>
174
+ U compute_forward_intersection(const K_critical_point &x) const {
175
+ constexpr const U inf =
176
+ std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
177
+ if (x.is_plus_inf() || x.is_nan()) return inf;
178
+ if (x.is_minus_inf()) return -inf;
179
+ U t = inf;
180
+ for (const auto &y : x) {
181
+ t = std::min(t, compute_forward_intersection<U>(y));
182
+ }
183
+ return t;
184
+ }
185
+
186
+ /**
187
+ * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
188
+ * of the intersection between the line and the open negative cone originating at `x`.
189
+ *
190
+ * @tparam U Type of the time parameter.
191
+ * @param x Origin of the open negative cone.
192
+ */
193
+ template <typename U = T>
194
+ U compute_backward_intersection(const Point &x) const {
195
+ constexpr const U inf =
196
+ std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
197
+ if (x.is_plus_inf()) return inf;
198
+ if (x.is_minus_inf() || x.is_nan()) return -inf;
199
+ U t = inf;
200
+
201
+ if (direction_.size()) {
202
+ for (std::size_t i = 0; i < x.size(); i++) {
203
+ if (direction_[i] == 0) {
204
+ if (x[i] <= basePoint_[i]) return -inf;
205
+ } else {
206
+ t = std::min(t, (static_cast<U>(x[i]) - static_cast<U>(basePoint_[i])) / static_cast<U>(direction_[i]));
207
+ }
208
+ }
209
+ } else {
210
+ for (std::size_t i = 0; i < x.size(); i++) t = std::min(t, static_cast<U>(x[i] - basePoint_[i]));
211
+ }
212
+ return t;
213
+ }
214
+
215
+ /**
216
+ * @brief Computes the "time" parameter \f$ t \f$ of the starting point \f$ p = base\_point + t \times direction \f$
217
+ * of the intersection between the line and the union of open negative cones originating at the points in `x`.
218
+ *
219
+ * @tparam U Type of the time parameter.
220
+ * @param x Set of origins for the open negative cones.
221
+ */
222
+ template <typename U = T>
223
+ U compute_backward_intersection(const K_critical_point &x) const {
224
+ constexpr const U inf =
225
+ std::numeric_limits<U>::has_infinity ? std::numeric_limits<U>::infinity() : std::numeric_limits<U>::max();
226
+ if (x.is_plus_inf()) return inf;
227
+ if (x.is_minus_inf() || x.is_nan()) return -inf;
228
+ U t = -inf;
229
+ for (const auto &y : x) {
230
+ t = std::max(t, compute_backward_intersection<U>(y));
231
+ }
232
+ return t;
233
+ }
234
+
235
+ /**
236
+ * @brief Given a box, returns "time" parameter of the intersection of this box and the line.
237
+ *
238
+ * @param box Box to intersect.
239
+ * @return A pair representing the two bounding points of the intersection, such that the first element is the
240
+ * smallest of the two. If the box and the line do not intersect or the box is trivial, returns the pair {inf, -inf}.
241
+ */
242
+ std::pair<T, T> get_bounds(const Box<T> &box) const {
243
+ if (box.is_trivial()) return {Point::T_inf, -Point::T_inf};
244
+
245
+ T bottom = compute_forward_intersection(box.get_lower_corner());
246
+ T top = compute_backward_intersection(box.get_upper_corner());
247
+
248
+ if (bottom > top) return {Point::T_inf, -Point::T_inf}; // no intersection
249
+
250
+ return {bottom, top};
251
+ }
252
+
253
+ private:
254
+ Point basePoint_; /**< Any point on the line. */
255
+ Point direction_; /**< Direction of the line. */
256
+
257
+ /**
258
+ * @brief Checks that the arguments define a correct and positively slopped line.
259
+ */
260
+ void check_direction_() const {
261
+ if (direction_.size() == 0) return; // default slope
262
+
263
+ bool is_trivial = true;
264
+ for (T v : direction_) {
265
+ if (v) {
266
+ is_trivial = false;
267
+ }
268
+ if (v < 0) {
269
+ throw std::invalid_argument("Direction should have positive entries.");
270
+ }
271
+ }
272
+ if (is_trivial) {
273
+ throw std::invalid_argument("Direction should have at least one non-trivial entry.");
274
+ }
275
+ if (direction_.size() != basePoint_.size())
276
+ throw std::invalid_argument("The dimensions of base point and direction are not equal.");
277
+ }
278
+ };
279
+
280
+ }} // namespace Gudhi::multi_persistence
281
+
282
+ #endif // LINE_FILTRATION_TRANSLATION_H_INCLUDED