polynomial.hh

Go to the documentation of this file.

// Copyright (c) 2017, Joseph Mirabel
// Authors: Joseph Mirabel (joseph.mirabel@laas.fr)
//
 
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// 1. Redistributions of source code must retain the above copyright
//    notice, this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
// DAMAGE.
 
#ifndef HPP_CORE_TIME_PARAMETERIZATION_POLYNOMIAL_HH
#define HPP_CORE_TIME_PARAMETERIZATION_POLYNOMIAL_HH
 
#include <hpp/constraints/differentiable-function.hh>
#include <hpp/core/config.hh>
#include <hpp/core/fwd.hh>
#include <hpp/core/path/math.hh>
#include <hpp/core/time-parameterization.hh>
 
namespace hpp {
namespace core {
namespace timeParameterization {
class HPP_CORE_DLLAPI Polynomial : public TimeParameterization {
 public:
  Polynomial(const vector_t& param) : a(param) {
    for (size_type i = 0; i < a.size(); ++i) {
      assert(a[i] < std::numeric_limits<value_type>::infinity());
      assert(a[i] > -std::numeric_limits<value_type>::infinity());
    }
  }
 
  const vector_t& parameters() const { return a; }
 
  TimeParameterizationPtr_t copy() const {
    return TimeParameterizationPtr_t(new Polynomial(*this));
  }
 
  value_type value(const value_type& t) const { return val(t); }
 
  value_type derivative(const value_type& t, const size_type& order) const {
    return Jac(t, order);
  }
 
  value_type derivativeBound(const value_type& low,
                             const value_type& up) const {
    using std::fabs;
    using std::max;
    switch (a.size()) {
      case 2:
        return fabs(a[1]);
        break;
      case 3:
        return max(fabs(Jac(low)), fabs(Jac(up)));
        break;
      case 4: {
        const value_type x_m = -a[2] / (3 * a[3]);
        const value_type M = max(fabs(Jac(low)), fabs(Jac(up)));
        if (low < x_m && x_m < up)
          return max(M, fabs(a[1] - a[2] / 3 * a[3]));
        else
          return M;
      } break;
      default:
        throw std::logic_error("not implemented");
    }
  }
 
 private:
  value_type val(const value_type& t) const {
    value_type tn = 1;
    value_type res = a[0];
    for (size_type i = 1; i < a.size(); ++i) {
      tn *= t;
      res += a[i] * tn;
    }
    assert(res == res);
    return res;
  }
 
  value_type Jac(const value_type& t) const { return Jac(t, 1); }
 
  value_type Jac(const value_type& t, const size_type& order) const {
    if (order >= a.size()) return 0;
    const size_type MaxOrder = 10;
    if (a.size() > MaxOrder)
      throw std::invalid_argument(
          "Cannot compute the derivative of order greater than 10.");
    typedef path::binomials<MaxOrder> Binomials_t;
    const Binomials_t::Factorials_t& factors = Binomials_t::factorials();
 
    value_type res = 0;
    value_type tn = 1;
    for (size_type i = order; i < a.size(); ++i) {
      res += value_type(factors[i] / factors[i - order]) * a[i] * tn;
      tn *= t;
    }
    return res;
  }
 
  vector_t a;
};  // class Polynomial
}  // namespace timeParameterization
}  //   namespace core
}  // namespace hpp
#endif  // HPP_CORE_TIME_PARAMETERIZATION_POLYNOMIAL_HH