sibson_c1_interpolation

Navigation: Up Table of Contents Package Overview Bibliography Index Title Acknowledging CGAL

CGAL::sibson_c1_interpolation

Definition

The function sibson_c1_interpolation interpolates the function values and the gradients that are provided by functors following the method described in [Sib81].

Parameters

The template parameter Traits is to be instantiated with a model of InterpolationTraits. ForwardIterator::value_type is a pair associating a point to a (non-normalized) barycentric coordinate. norm is the normalization factor. The range [. first,beyond.) contains the barycentric coordinates for the query point p. The functor function_value allows to access the value of the interpolated function given a point. function_gradient allows to access the function gradient given a point.

#include <CGAL/interpolation_functions.h>

template < class ForwardIterator, class Functor, class GradFunctor, class Traits>

std::pair< typename Functor::result_type, bool>

sibson_c1_interpolation ( ForwardIterator first,
ForwardIterator beyond,
typename std::iterator_traits<ForwardIterator>::value_type::second_type norm,
typename std::iterator_traits<ForwardIterator>::value_type:: first_type p,
Functor function_value,
GradFunctor function_gradient,
Traits traits)

This function generates the interpolated function value at the point p using Sibson's Z¹ interpolant [Sib81].
If the functor function_gradient cannot supply the gradient of a point, the function returns a pair where the Boolean is set to false. If the interpolation was successful, the pair contains the interpolated function value as first and true as second value.

Precondition:

norm ≠ 0. function_value(p).second == true for all points p of the point/coordinate pairs in the range [.first, beyond.).

Requirements

Traits is a model of the concept InterpolationTraits .
ForwardIterator::value_type is a point/coordinate pair. Precisely ForwardIterator::value_type::first_type is equivalent to Traits::Point_d and ForwardIterator::value_type::second_type is equivalent to Traits::FT.
Functor::argument_type must be equivalent to Traits::Point_d and Functor::result_type is a pair of the function value type and a Boolean. The function value type must provide a multiplication and addition operation with the type Traits::FT as well as a constructor with argument 0.
GradFunctor::argument_type must be equivalent to Traits::Point_d and Functor::result_type is a pair of the function's gradient type and a Boolean. The function gradient type must provide a multiplication operation with Traits::Vector_d.
A model of the functor types Functor (resp. GradFunctor) is provided by the struct Data_access. It must be instantiated accordingly with an associative container (e.g. STL std::map) having the point type as key_type and the function value type (resp. function gradient type) as mapped_type.
The number type FT provided by Traits must support the square root operation sqrt().

template < class ForwardIterator, class Functor, class GradFunctor, class Traits>

typename Functor::result_type

sibson_c1_interpolation_square ( ForwardIterator first,
ForwardIterator beyond,
typename std::iterator_traits<ForwardIterator>::value_type::second_type norm,
typename std::iterator_traits<ForwardIterator>::value_type::first_type p,
Functor function_value,
GradFunctor function_gradient,
Traits traits)

The same as above except that no square root operation is needed for FT.

CGAL::sibson_c1_interpolation

Definition

Parameters

Requirements

See Also