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.
- multipers/__init__.py +33 -31
- multipers/_signed_measure_meta.py +430 -430
- multipers/_slicer_meta.py +211 -212
- multipers/data/MOL2.py +458 -458
- multipers/data/UCR.py +18 -18
- multipers/data/graphs.py +466 -466
- multipers/data/immuno_regions.py +27 -27
- multipers/data/pytorch2simplextree.py +90 -90
- multipers/data/shape3d.py +101 -101
- multipers/data/synthetic.py +113 -111
- multipers/distances.py +198 -198
- multipers/filtration_conversions.pxd.tp +84 -84
- multipers/filtrations/__init__.py +18 -0
- multipers/{ml/convolutions.py → filtrations/density.py} +563 -520
- multipers/filtrations/filtrations.py +289 -0
- multipers/filtrations.pxd +224 -224
- multipers/function_rips.cp310-win_amd64.pyd +0 -0
- multipers/function_rips.pyx +105 -105
- multipers/grids.cp310-win_amd64.pyd +0 -0
- multipers/grids.pyx +350 -350
- multipers/gudhi/Persistence_slices_interface.h +132 -132
- multipers/gudhi/Simplex_tree_interface.h +239 -245
- multipers/gudhi/Simplex_tree_multi_interface.h +516 -561
- multipers/gudhi/cubical_to_boundary.h +59 -59
- multipers/gudhi/gudhi/Bitmap_cubical_complex.h +450 -450
- multipers/gudhi/gudhi/Bitmap_cubical_complex_base.h +1070 -1070
- multipers/gudhi/gudhi/Bitmap_cubical_complex_periodic_boundary_conditions_base.h +579 -579
- multipers/gudhi/gudhi/Debug_utils.h +45 -45
- multipers/gudhi/gudhi/Fields/Multi_field.h +484 -484
- multipers/gudhi/gudhi/Fields/Multi_field_operators.h +455 -455
- multipers/gudhi/gudhi/Fields/Multi_field_shared.h +450 -450
- multipers/gudhi/gudhi/Fields/Multi_field_small.h +531 -531
- multipers/gudhi/gudhi/Fields/Multi_field_small_operators.h +507 -507
- multipers/gudhi/gudhi/Fields/Multi_field_small_shared.h +531 -531
- multipers/gudhi/gudhi/Fields/Z2_field.h +355 -355
- multipers/gudhi/gudhi/Fields/Z2_field_operators.h +376 -376
- multipers/gudhi/gudhi/Fields/Zp_field.h +420 -420
- multipers/gudhi/gudhi/Fields/Zp_field_operators.h +400 -400
- multipers/gudhi/gudhi/Fields/Zp_field_shared.h +418 -418
- multipers/gudhi/gudhi/Flag_complex_edge_collapser.h +337 -337
- multipers/gudhi/gudhi/Matrix.h +2107 -2107
- multipers/gudhi/gudhi/Multi_critical_filtration.h +1038 -1038
- multipers/gudhi/gudhi/Multi_persistence/Box.h +171 -171
- multipers/gudhi/gudhi/Multi_persistence/Line.h +282 -282
- multipers/gudhi/gudhi/Off_reader.h +173 -173
- multipers/gudhi/gudhi/One_critical_filtration.h +1433 -1431
- multipers/gudhi/gudhi/Persistence_matrix/Base_matrix.h +769 -769
- multipers/gudhi/gudhi/Persistence_matrix/Base_matrix_with_column_compression.h +686 -686
- multipers/gudhi/gudhi/Persistence_matrix/Boundary_matrix.h +842 -842
- multipers/gudhi/gudhi/Persistence_matrix/Chain_matrix.h +1350 -1350
- multipers/gudhi/gudhi/Persistence_matrix/Id_to_index_overlay.h +1105 -1105
- multipers/gudhi/gudhi/Persistence_matrix/Position_to_index_overlay.h +859 -859
- multipers/gudhi/gudhi/Persistence_matrix/RU_matrix.h +910 -910
- multipers/gudhi/gudhi/Persistence_matrix/allocators/entry_constructors.h +139 -139
- multipers/gudhi/gudhi/Persistence_matrix/base_pairing.h +230 -230
- multipers/gudhi/gudhi/Persistence_matrix/base_swap.h +211 -211
- multipers/gudhi/gudhi/Persistence_matrix/boundary_cell_position_to_id_mapper.h +60 -60
- multipers/gudhi/gudhi/Persistence_matrix/boundary_face_position_to_id_mapper.h +60 -60
- multipers/gudhi/gudhi/Persistence_matrix/chain_pairing.h +136 -136
- multipers/gudhi/gudhi/Persistence_matrix/chain_rep_cycles.h +190 -190
- multipers/gudhi/gudhi/Persistence_matrix/chain_vine_swap.h +616 -616
- multipers/gudhi/gudhi/Persistence_matrix/columns/chain_column_extra_properties.h +150 -150
- multipers/gudhi/gudhi/Persistence_matrix/columns/column_dimension_holder.h +106 -106
- multipers/gudhi/gudhi/Persistence_matrix/columns/column_utilities.h +219 -219
- multipers/gudhi/gudhi/Persistence_matrix/columns/entry_types.h +327 -327
- multipers/gudhi/gudhi/Persistence_matrix/columns/heap_column.h +1140 -1140
- multipers/gudhi/gudhi/Persistence_matrix/columns/intrusive_list_column.h +934 -934
- multipers/gudhi/gudhi/Persistence_matrix/columns/intrusive_set_column.h +934 -934
- multipers/gudhi/gudhi/Persistence_matrix/columns/list_column.h +980 -980
- multipers/gudhi/gudhi/Persistence_matrix/columns/naive_vector_column.h +1092 -1092
- multipers/gudhi/gudhi/Persistence_matrix/columns/row_access.h +192 -192
- multipers/gudhi/gudhi/Persistence_matrix/columns/set_column.h +921 -921
- multipers/gudhi/gudhi/Persistence_matrix/columns/small_vector_column.h +1093 -1093
- multipers/gudhi/gudhi/Persistence_matrix/columns/unordered_set_column.h +1012 -1012
- multipers/gudhi/gudhi/Persistence_matrix/columns/vector_column.h +1244 -1244
- multipers/gudhi/gudhi/Persistence_matrix/matrix_dimension_holders.h +186 -186
- multipers/gudhi/gudhi/Persistence_matrix/matrix_row_access.h +164 -164
- multipers/gudhi/gudhi/Persistence_matrix/ru_pairing.h +156 -156
- multipers/gudhi/gudhi/Persistence_matrix/ru_rep_cycles.h +376 -376
- multipers/gudhi/gudhi/Persistence_matrix/ru_vine_swap.h +540 -540
- multipers/gudhi/gudhi/Persistent_cohomology/Field_Zp.h +118 -118
- multipers/gudhi/gudhi/Persistent_cohomology/Multi_field.h +173 -173
- multipers/gudhi/gudhi/Persistent_cohomology/Persistent_cohomology_column.h +128 -128
- multipers/gudhi/gudhi/Persistent_cohomology.h +745 -745
- multipers/gudhi/gudhi/Points_off_io.h +171 -171
- multipers/gudhi/gudhi/Simple_object_pool.h +69 -69
- multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_iterators.h +463 -463
- multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h +83 -83
- multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_siblings.h +106 -106
- multipers/gudhi/gudhi/Simplex_tree/Simplex_tree_star_simplex_iterators.h +277 -277
- multipers/gudhi/gudhi/Simplex_tree/hooks_simplex_base.h +62 -62
- multipers/gudhi/gudhi/Simplex_tree/indexing_tag.h +27 -27
- multipers/gudhi/gudhi/Simplex_tree/serialization_utils.h +62 -62
- multipers/gudhi/gudhi/Simplex_tree/simplex_tree_options.h +157 -157
- multipers/gudhi/gudhi/Simplex_tree.h +2794 -2794
- multipers/gudhi/gudhi/Simplex_tree_multi.h +152 -163
- multipers/gudhi/gudhi/distance_functions.h +62 -62
- multipers/gudhi/gudhi/graph_simplicial_complex.h +104 -104
- multipers/gudhi/gudhi/persistence_interval.h +253 -253
- multipers/gudhi/gudhi/persistence_matrix_options.h +170 -170
- multipers/gudhi/gudhi/reader_utils.h +367 -367
- multipers/gudhi/mma_interface_coh.h +256 -255
- multipers/gudhi/mma_interface_h0.h +223 -231
- multipers/gudhi/mma_interface_matrix.h +291 -282
- multipers/gudhi/naive_merge_tree.h +536 -575
- multipers/gudhi/scc_io.h +310 -289
- multipers/gudhi/truc.h +957 -888
- multipers/io.cp310-win_amd64.pyd +0 -0
- multipers/io.pyx +714 -711
- multipers/ml/accuracies.py +90 -90
- multipers/ml/invariants_with_persistable.py +79 -79
- multipers/ml/kernels.py +176 -176
- multipers/ml/mma.py +713 -714
- multipers/ml/one.py +472 -472
- multipers/ml/point_clouds.py +352 -346
- multipers/ml/signed_measures.py +1589 -1589
- multipers/ml/sliced_wasserstein.py +461 -461
- multipers/ml/tools.py +113 -113
- multipers/mma_structures.cp310-win_amd64.pyd +0 -0
- multipers/mma_structures.pxd +127 -127
- multipers/mma_structures.pyx +4 -8
- multipers/mma_structures.pyx.tp +1083 -1085
- multipers/multi_parameter_rank_invariant/diff_helpers.h +84 -93
- multipers/multi_parameter_rank_invariant/euler_characteristic.h +97 -97
- multipers/multi_parameter_rank_invariant/function_rips.h +322 -322
- multipers/multi_parameter_rank_invariant/hilbert_function.h +769 -769
- multipers/multi_parameter_rank_invariant/persistence_slices.h +148 -148
- multipers/multi_parameter_rank_invariant/rank_invariant.h +369 -369
- multipers/multiparameter_edge_collapse.py +41 -41
- multipers/multiparameter_module_approximation/approximation.h +2298 -2295
- multipers/multiparameter_module_approximation/combinatory.h +129 -129
- multipers/multiparameter_module_approximation/debug.h +107 -107
- multipers/multiparameter_module_approximation/format_python-cpp.h +286 -286
- multipers/multiparameter_module_approximation/heap_column.h +238 -238
- multipers/multiparameter_module_approximation/images.h +79 -79
- multipers/multiparameter_module_approximation/list_column.h +174 -174
- multipers/multiparameter_module_approximation/list_column_2.h +232 -232
- multipers/multiparameter_module_approximation/ru_matrix.h +347 -347
- multipers/multiparameter_module_approximation/set_column.h +135 -135
- multipers/multiparameter_module_approximation/structure_higher_dim_barcode.h +36 -36
- multipers/multiparameter_module_approximation/unordered_set_column.h +166 -166
- multipers/multiparameter_module_approximation/utilities.h +403 -419
- multipers/multiparameter_module_approximation/vector_column.h +223 -223
- multipers/multiparameter_module_approximation/vector_matrix.h +331 -331
- multipers/multiparameter_module_approximation/vineyards.h +464 -464
- multipers/multiparameter_module_approximation/vineyards_trajectories.h +649 -649
- multipers/multiparameter_module_approximation.cp310-win_amd64.pyd +0 -0
- multipers/multiparameter_module_approximation.pyx +218 -217
- multipers/pickle.py +90 -53
- multipers/plots.py +342 -334
- multipers/point_measure.cp310-win_amd64.pyd +0 -0
- multipers/point_measure.pyx +322 -320
- multipers/simplex_tree_multi.cp310-win_amd64.pyd +0 -0
- multipers/simplex_tree_multi.pxd +133 -133
- multipers/simplex_tree_multi.pyx +115 -48
- multipers/simplex_tree_multi.pyx.tp +1947 -1935
- multipers/slicer.cp310-win_amd64.pyd +0 -0
- multipers/slicer.pxd +301 -120
- multipers/slicer.pxd.tp +218 -214
- multipers/slicer.pyx +1570 -507
- multipers/slicer.pyx.tp +931 -914
- multipers/tensor/tensor.h +672 -672
- multipers/tensor.pxd +13 -13
- multipers/test.pyx +44 -44
- multipers/tests/__init__.py +57 -57
- multipers/torch/diff_grids.py +217 -217
- multipers/torch/rips_density.py +310 -304
- {multipers-2.2.3.dist-info → multipers-2.3.1.dist-info}/LICENSE +21 -21
- {multipers-2.2.3.dist-info → multipers-2.3.1.dist-info}/METADATA +21 -11
- multipers-2.3.1.dist-info/RECORD +182 -0
- {multipers-2.2.3.dist-info → multipers-2.3.1.dist-info}/WHEEL +1 -1
- multipers/tests/test_diff_helper.py +0 -73
- multipers/tests/test_hilbert_function.py +0 -82
- multipers/tests/test_mma.py +0 -83
- multipers/tests/test_point_clouds.py +0 -49
- multipers/tests/test_python-cpp_conversion.py +0 -82
- multipers/tests/test_signed_betti.py +0 -181
- multipers/tests/test_signed_measure.py +0 -89
- multipers/tests/test_simplextreemulti.py +0 -221
- multipers/tests/test_slicer.py +0 -221
- multipers-2.2.3.dist-info/RECORD +0 -189
- {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
|