1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
/* This file is part of the Gudhi Library - https://gudhi.inria.fr/ - which is released under MIT.
* See file LICENSE or go to https://gudhi.inria.fr/licensing/ for full license details.
* Author(s): Vincent Rouvreau
*
* Copyright (C) 2020 Inria
*
* Modification(s):
* - YYYY/MM Author: Description of the modification
*/
#define BOOST_TEST_DYN_LINK
#define BOOST_TEST_MODULE "zero_weighted_alpha_complex"
#include <boost/test/unit_test.hpp>
#include <boost/mpl/list.hpp>
#include <CGAL/Epeck_d.h>
#include <vector>
#include <random>
#include <cmath> // for std::fabs
#include <gudhi/Alpha_complex.h>
#include <gudhi/Simplex_tree.h>
#include <gudhi/Unitary_tests_utils.h>
using list_of_exact_kernel_variants = boost::mpl::list<CGAL::Epeck_d< CGAL::Dynamic_dimension_tag >,
CGAL::Epeck_d< CGAL::Dimension_tag<4> >
> ;
BOOST_AUTO_TEST_CASE_TEMPLATE(Zero_weighted_alpha_complex, Kernel, list_of_exact_kernel_variants) {
// Check that in exact mode for static dimension 4 the code for dD unweighted and for dD weighted with all weights
// 0 give exactly the same simplex tree (simplices and filtration values).
// Random points construction
using Point_d = typename Kernel::Point_d;
std::vector<Point_d> points;
std::uniform_real_distribution<double> rd_pts(-10., 10.);
std::random_device rand_dev;
std::mt19937 rand_engine(rand_dev());
for (int idx = 0; idx < 20; idx++) {
std::vector<double> point {rd_pts(rand_engine), rd_pts(rand_engine), rd_pts(rand_engine), rd_pts(rand_engine)};
points.emplace_back(point.begin(), point.end());
}
// Alpha complex from points
Gudhi::alpha_complex::Alpha_complex<Kernel, false> alpha_complex_from_points(points);
Gudhi::Simplex_tree<> simplex;
Gudhi::Simplex_tree<>::Filtration_value infty = std::numeric_limits<Gudhi::Simplex_tree<>::Filtration_value>::infinity();
BOOST_CHECK(alpha_complex_from_points.create_complex(simplex, infty, true));
std::clog << "Iterator on alpha complex simplices in the filtration order, with [filtration value]:"
<< std::endl;
for (auto f_simplex : simplex.filtration_simplex_range()) {
std::clog << " ( ";
for (auto vertex : simplex.simplex_vertex_range(f_simplex)) {
std::clog << vertex << " ";
}
std::clog << ") -> " << "[" << simplex.filtration(f_simplex) << "] " << std::endl;
}
// Alpha complex from zero weighted points
std::vector<typename Kernel::FT> weights(20, 0.);
Gudhi::alpha_complex::Alpha_complex<Kernel, true> alpha_complex_from_zero_weighted_points(points, weights);
Gudhi::Simplex_tree<> zw_simplex;
BOOST_CHECK(alpha_complex_from_zero_weighted_points.create_complex(zw_simplex, infty, true));
std::clog << "Iterator on zero weighted alpha complex simplices in the filtration order, with [filtration value]:"
<< std::endl;
for (auto f_simplex : zw_simplex.filtration_simplex_range()) {
std::clog << " ( ";
for (auto vertex : zw_simplex.simplex_vertex_range(f_simplex)) {
std::clog << vertex << " ";
}
std::clog << ") -> " << "[" << zw_simplex.filtration(f_simplex) << "] " << std::endl;
}
BOOST_CHECK(zw_simplex == simplex);
}
|