Function_lemniscate_revolution_in_R3.h
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): Siargey Kachanovich
4  *
5  * Copyright (C) 2019 Inria
6  *
7  * Modification(s):
8  * - YYYY/MM Author: Description of the modification
9  */
10 
11 #ifndef FUNCTIONS_FUNCTION_LEMNISCATE_REVOLUTION_IN_R3_H_
12 #define FUNCTIONS_FUNCTION_LEMNISCATE_REVOLUTION_IN_R3_H_
13 
14 #include <cstdlib> // for std::size_t
15 #include <cmath> // for std::sqrt
16 
17 #include <Eigen/Dense>
18 
19 namespace Gudhi {
20 
21 namespace coxeter_triangulation {
22 
33  Eigen::VectorXd operator()(const Eigen::VectorXd& p) const {
34  double x = p(0) - off_[0], y = p(1) - off_[1], z = p(2) - off_[2];
35  Eigen::VectorXd result(cod_d());
36  double x2 = x * x, y2 = y * y, z2 = z * z, a2 = a_ * a_;
37  double t1 = x2 + y2 + z2;
38  result(0) = t1 * t1 - 2 * a2 * (x2 - y2 - z2);
39  return result;
40  }
41 
43  std::size_t amb_d() const { return 3; };
44 
46  std::size_t cod_d() const { return 1; };
47 
52  Eigen::VectorXd seed() const {
53  Eigen::Vector3d result(std::sqrt(2 * a_) + off_[0], off_[1], off_[2]);
54  return result;
55  }
56 
61  Eigen::VectorXd seed2() const {
62  Eigen::Vector3d result(-std::sqrt(2 * a_) + off_[0], off_[1], off_[2]);
63  return result;
64  }
65 
73  Function_lemniscate_revolution_in_R3(double a = 1, Eigen::Vector3d off = Eigen::Vector3d::Zero())
74  : a_(a), off_(off) {}
75 
76  private:
77  double a_;
78  Eigen::Vector3d off_;
79 };
80 
81 } // namespace coxeter_triangulation
82 
83 } // namespace Gudhi
84 
85 #endif
Gudhi namespace.
Definition: SimplicialComplexForAlpha.h:14
A class that encodes the function, the zero-set of which is a surface of revolution around the x axis...
Definition: Function_lemniscate_revolution_in_R3.h:28
Function_lemniscate_revolution_in_R3(double a=1, Eigen::Vector3d off=Eigen::Vector3d::Zero())
Constructor of the function that defines a surface of revolution around the x axis based on the lemni...
Definition: Function_lemniscate_revolution_in_R3.h:73
Eigen::VectorXd seed() const
Returns a point on the surface. This seed point is only one of two necessary seed points for the mani...
Definition: Function_lemniscate_revolution_in_R3.h:52
std::size_t cod_d() const
Returns the codomain dimension.
Definition: Function_lemniscate_revolution_in_R3.h:46
Eigen::VectorXd seed2() const
Returns a point on the surface. This seed point is only one of two necessary seed points for the mani...
Definition: Function_lemniscate_revolution_in_R3.h:61
Eigen::VectorXd operator()(const Eigen::VectorXd &p) const
Value of the function at a specified point.
Definition: Function_lemniscate_revolution_in_R3.h:33
std::size_t amb_d() const
Returns the (ambient) domain dimension.
Definition: Function_lemniscate_revolution_in_R3.h:43