multipers 2.2.3__cp310-cp310-win_amd64.whl → 2.3.1__cp310-cp310-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/{ml/convolutions.py → filtrations/density.py} +563 -520
  15. multipers/filtrations/filtrations.py +289 -0
  16. multipers/filtrations.pxd +224 -224
  17. multipers/function_rips.cp310-win_amd64.pyd +0 -0
  18. multipers/function_rips.pyx +105 -105
  19. multipers/grids.cp310-win_amd64.pyd +0 -0
  20. multipers/grids.pyx +350 -350
  21. multipers/gudhi/Persistence_slices_interface.h +132 -132
  22. multipers/gudhi/Simplex_tree_interface.h +239 -245
  23. multipers/gudhi/Simplex_tree_multi_interface.h +516 -561
  24. multipers/gudhi/cubical_to_boundary.h +59 -59
  25. multipers/gudhi/gudhi/Bitmap_cubical_complex.h +450 -450
  26. multipers/gudhi/gudhi/Bitmap_cubical_complex_base.h +1070 -1070
  27. multipers/gudhi/gudhi/Bitmap_cubical_complex_periodic_boundary_conditions_base.h +579 -579
  28. multipers/gudhi/gudhi/Debug_utils.h +45 -45
  29. multipers/gudhi/gudhi/Fields/Multi_field.h +484 -484
  30. multipers/gudhi/gudhi/Fields/Multi_field_operators.h +455 -455
  31. multipers/gudhi/gudhi/Fields/Multi_field_shared.h +450 -450
  32. multipers/gudhi/gudhi/Fields/Multi_field_small.h +531 -531
  33. multipers/gudhi/gudhi/Fields/Multi_field_small_operators.h +507 -507
  34. multipers/gudhi/gudhi/Fields/Multi_field_small_shared.h +531 -531
  35. multipers/gudhi/gudhi/Fields/Z2_field.h +355 -355
  36. multipers/gudhi/gudhi/Fields/Z2_field_operators.h +376 -376
  37. multipers/gudhi/gudhi/Fields/Zp_field.h +420 -420
  38. multipers/gudhi/gudhi/Fields/Zp_field_operators.h +400 -400
  39. multipers/gudhi/gudhi/Fields/Zp_field_shared.h +418 -418
  40. multipers/gudhi/gudhi/Flag_complex_edge_collapser.h +337 -337
  41. multipers/gudhi/gudhi/Matrix.h +2107 -2107
  42. multipers/gudhi/gudhi/Multi_critical_filtration.h +1038 -1038
  43. multipers/gudhi/gudhi/Multi_persistence/Box.h +171 -171
  44. multipers/gudhi/gudhi/Multi_persistence/Line.h +282 -282
  45. multipers/gudhi/gudhi/Off_reader.h +173 -173
  46. multipers/gudhi/gudhi/One_critical_filtration.h +1433 -1431
  47. multipers/gudhi/gudhi/Persistence_matrix/Base_matrix.h +769 -769
  48. multipers/gudhi/gudhi/Persistence_matrix/Base_matrix_with_column_compression.h +686 -686
  49. multipers/gudhi/gudhi/Persistence_matrix/Boundary_matrix.h +842 -842
  50. multipers/gudhi/gudhi/Persistence_matrix/Chain_matrix.h +1350 -1350
  51. multipers/gudhi/gudhi/Persistence_matrix/Id_to_index_overlay.h +1105 -1105
  52. multipers/gudhi/gudhi/Persistence_matrix/Position_to_index_overlay.h +859 -859
  53. multipers/gudhi/gudhi/Persistence_matrix/RU_matrix.h +910 -910
  54. multipers/gudhi/gudhi/Persistence_matrix/allocators/entry_constructors.h +139 -139
  55. multipers/gudhi/gudhi/Persistence_matrix/base_pairing.h +230 -230
  56. multipers/gudhi/gudhi/Persistence_matrix/base_swap.h +211 -211
  57. multipers/gudhi/gudhi/Persistence_matrix/boundary_cell_position_to_id_mapper.h +60 -60
  58. multipers/gudhi/gudhi/Persistence_matrix/boundary_face_position_to_id_mapper.h +60 -60
  59. multipers/gudhi/gudhi/Persistence_matrix/chain_pairing.h +136 -136
  60. multipers/gudhi/gudhi/Persistence_matrix/chain_rep_cycles.h +190 -190
  61. multipers/gudhi/gudhi/Persistence_matrix/chain_vine_swap.h +616 -616
  62. multipers/gudhi/gudhi/Persistence_matrix/columns/chain_column_extra_properties.h +150 -150
  63. multipers/gudhi/gudhi/Persistence_matrix/columns/column_dimension_holder.h +106 -106
  64. multipers/gudhi/gudhi/Persistence_matrix/columns/column_utilities.h +219 -219
  65. multipers/gudhi/gudhi/Persistence_matrix/columns/entry_types.h +327 -327
  66. multipers/gudhi/gudhi/Persistence_matrix/columns/heap_column.h +1140 -1140
  67. multipers/gudhi/gudhi/Persistence_matrix/columns/intrusive_list_column.h +934 -934
  68. multipers/gudhi/gudhi/Persistence_matrix/columns/intrusive_set_column.h +934 -934
  69. multipers/gudhi/gudhi/Persistence_matrix/columns/list_column.h +980 -980
  70. multipers/gudhi/gudhi/Persistence_matrix/columns/naive_vector_column.h +1092 -1092
  71. multipers/gudhi/gudhi/Persistence_matrix/columns/row_access.h +192 -192
  72. multipers/gudhi/gudhi/Persistence_matrix/columns/set_column.h +921 -921
  73. multipers/gudhi/gudhi/Persistence_matrix/columns/small_vector_column.h +1093 -1093
  74. multipers/gudhi/gudhi/Persistence_matrix/columns/unordered_set_column.h +1012 -1012
  75. multipers/gudhi/gudhi/Persistence_matrix/columns/vector_column.h +1244 -1244
  76. multipers/gudhi/gudhi/Persistence_matrix/matrix_dimension_holders.h +186 -186
  77. multipers/gudhi/gudhi/Persistence_matrix/matrix_row_access.h +164 -164
  78. multipers/gudhi/gudhi/Persistence_matrix/ru_pairing.h +156 -156
  79. multipers/gudhi/gudhi/Persistence_matrix/ru_rep_cycles.h +376 -376
  80. multipers/gudhi/gudhi/Persistence_matrix/ru_vine_swap.h +540 -540
  81. multipers/gudhi/gudhi/Persistent_cohomology/Field_Zp.h +118 -118
  82. multipers/gudhi/gudhi/Persistent_cohomology/Multi_field.h +173 -173
  83. multipers/gudhi/gudhi/Persistent_cohomology/Persistent_cohomology_column.h +128 -128
  84. multipers/gudhi/gudhi/Persistent_cohomology.h +745 -745
  85. multipers/gudhi/gudhi/Points_off_io.h +171 -171
  86. multipers/gudhi/gudhi/Simple_object_pool.h +69 -69
  87. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_iterators.h +463 -463
  88. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h +83 -83
  89. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_siblings.h +106 -106
  90. multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_star_simplex_iterators.h +277 -277
  91. multipers/gudhi/gudhi/Simplex_tree/hooks_simplex_base.h +62 -62
  92. multipers/gudhi/gudhi/Simplex_tree/indexing_tag.h +27 -27
  93. multipers/gudhi/gudhi/Simplex_tree/serialization_utils.h +62 -62
  94. multipers/gudhi/gudhi/Simplex_tree/simplex_tree_options.h +157 -157
  95. multipers/gudhi/gudhi/Simplex_tree.h +2794 -2794
  96. multipers/gudhi/gudhi/Simplex_tree_multi.h +152 -163
  97. multipers/gudhi/gudhi/distance_functions.h +62 -62
  98. multipers/gudhi/gudhi/graph_simplicial_complex.h +104 -104
  99. multipers/gudhi/gudhi/persistence_interval.h +253 -253
  100. multipers/gudhi/gudhi/persistence_matrix_options.h +170 -170
  101. multipers/gudhi/gudhi/reader_utils.h +367 -367
  102. multipers/gudhi/mma_interface_coh.h +256 -255
  103. multipers/gudhi/mma_interface_h0.h +223 -231
  104. multipers/gudhi/mma_interface_matrix.h +291 -282
  105. multipers/gudhi/naive_merge_tree.h +536 -575
  106. multipers/gudhi/scc_io.h +310 -289
  107. multipers/gudhi/truc.h +957 -888
  108. multipers/io.cp310-win_amd64.pyd +0 -0
  109. multipers/io.pyx +714 -711
  110. multipers/ml/accuracies.py +90 -90
  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.cp310-win_amd64.pyd +0 -0
  120. multipers/mma_structures.pxd +127 -127
  121. multipers/mma_structures.pyx +4 -8
  122. multipers/mma_structures.pyx.tp +1083 -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 +2298 -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.cp310-win_amd64.pyd +0 -0
  148. multipers/multiparameter_module_approximation.pyx +218 -217
  149. multipers/pickle.py +90 -53
  150. multipers/plots.py +342 -334
  151. multipers/point_measure.cp310-win_amd64.pyd +0 -0
  152. multipers/point_measure.pyx +322 -320
  153. multipers/simplex_tree_multi.cp310-win_amd64.pyd +0 -0
  154. multipers/simplex_tree_multi.pxd +133 -133
  155. multipers/simplex_tree_multi.pyx +115 -48
  156. multipers/simplex_tree_multi.pyx.tp +1947 -1935
  157. multipers/slicer.cp310-win_amd64.pyd +0 -0
  158. multipers/slicer.pxd +301 -120
  159. multipers/slicer.pxd.tp +218 -214
  160. multipers/slicer.pyx +1570 -507
  161. multipers/slicer.pyx.tp +931 -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.1.dist-info}/LICENSE +21 -21
  169. {multipers-2.2.3.dist-info → multipers-2.3.1.dist-info}/METADATA +21 -11
  170. multipers-2.3.1.dist-info/RECORD +182 -0
  171. {multipers-2.2.3.dist-info → multipers-2.3.1.dist-info}/WHEEL +1 -1
  172. multipers/tests/test_diff_helper.py +0 -73
  173. multipers/tests/test_hilbert_function.py +0 -82
  174. multipers/tests/test_mma.py +0 -83
  175. multipers/tests/test_point_clouds.py +0 -49
  176. multipers/tests/test_python-cpp_conversion.py +0 -82
  177. multipers/tests/test_signed_betti.py +0 -181
  178. multipers/tests/test_signed_measure.py +0 -89
  179. multipers/tests/test_simplextreemulti.py +0 -221
  180. multipers/tests/test_slicer.py +0 -221
  181. multipers-2.2.3.dist-info/RECORD +0 -189
  182. {multipers-2.2.3.dist-info → multipers-2.3.1.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