lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
math.h File Reference
#include <boost/math/distributions/normal.hpp>
#include <cmath>

Namespaces

namespace  lucid
 Root namespace for the lucid library.
 

Functions

double lucid::peaks (const double x, const double y)
 Peaks function defined over a pair of values.
 
double lucid::normal_cdf (const double x, const double sigma_f, const double sigma_l)
 Compute the Cumulative distribution function (CDF) of the normal distribution at the point x.
 
template<class T>
requires (std::is_integral_v<T>)
lucid::pow (T base, T exp)
 Raise a base to the power of an exponent: \( b^e \).
 

Detailed Description

Author
Room 6.030
Licence:
BSD 3-Clause License

Collection of math functions.