Reference documentation for deal.II version 9.3.3
|
#include <deal.II/base/function_parser.h>
Public Types | |
using | ConstMap = std::map< std::string, double > |
enum | DifferenceFormula { Euler , UpwindEuler , FourthOrder } |
using | time_type = typename FunctionTime< typename numbers::NumberTraits< RangeNumberType >::real_type >::time_type |
Public Member Functions | |
FunctionParser (const unsigned int n_components=1, const double initial_time=0.0, const double h=1e-8) | |
FunctionParser (const std::string &expression, const std::string &constants="", const std::string &variable_names=default_variable_names()+",t", const double h=1e-8) | |
FunctionParser (const FunctionParser &)=delete | |
FunctionParser (FunctionParser &&)=delete | |
virtual | ~FunctionParser () override |
FunctionParser & | operator= (const FunctionParser &)=delete |
FunctionParser & | operator= (FunctionParser &&)=delete |
void | initialize (const std::string &vars, const std::vector< std::string > &expressions, const ConstMap &constants, const bool time_dependent=false) |
void | initialize (const std::string &vars, const std::string &expression, const ConstMap &constants, const bool time_dependent=false) |
virtual double | value (const Point< dim > &p, const unsigned int component=0) const override |
virtual void | vector_value (const Point< dim > &p, Vector< double > &values) const override |
const std::vector< std::string > & | get_expressions () const |
void | set_formula (const DifferenceFormula formula=Euler) |
void | set_h (const double h) |
virtual Tensor< 1, dim > | gradient (const Point< dim > &p, const unsigned int component=0) const override |
virtual void | vector_gradient (const Point< dim > &p, std::vector< Tensor< 1, dim > > &gradients) const override |
virtual void | vector_gradient (const Point< dim > &p, std::vector< Tensor< 1, dim, RangeNumberType > > &gradients) const |
virtual void | gradient_list (const std::vector< Point< dim > > &points, std::vector< Tensor< 1, dim > > &gradients, const unsigned int component=0) const override |
virtual void | gradient_list (const std::vector< Point< dim > > &points, std::vector< Tensor< 1, dim, RangeNumberType > > &gradients, const unsigned int component=0) const |
virtual void | vector_gradient_list (const std::vector< Point< dim > > &points, std::vector< std::vector< Tensor< 1, dim > > > &gradients) const override |
virtual void | vector_gradient_list (const std::vector< Point< dim > > &points, std::vector< std::vector< Tensor< 1, dim, RangeNumberType > > > &gradients) const |
virtual void | vector_value (const Point< dim > &p, Vector< RangeNumberType > &values) const |
virtual void | value_list (const std::vector< Point< dim > > &points, std::vector< RangeNumberType > &values, const unsigned int component=0) const |
virtual void | vector_value_list (const std::vector< Point< dim > > &points, std::vector< Vector< RangeNumberType > > &values) const |
virtual void | vector_values (const std::vector< Point< dim > > &points, std::vector< std::vector< RangeNumberType > > &values) const |
virtual void | vector_gradients (const std::vector< Point< dim > > &points, std::vector< std::vector< Tensor< 1, dim, RangeNumberType > > > &gradients) const |
virtual RangeNumberType | laplacian (const Point< dim > &p, const unsigned int component=0) const |
virtual void | vector_laplacian (const Point< dim > &p, Vector< RangeNumberType > &values) const |
virtual void | laplacian_list (const std::vector< Point< dim > > &points, std::vector< RangeNumberType > &values, const unsigned int component=0) const |
virtual void | vector_laplacian_list (const std::vector< Point< dim > > &points, std::vector< Vector< RangeNumberType > > &values) const |
virtual SymmetricTensor< 2, dim, RangeNumberType > | hessian (const Point< dim > &p, const unsigned int component=0) const |
virtual void | vector_hessian (const Point< dim > &p, std::vector< SymmetricTensor< 2, dim, RangeNumberType > > &values) const |
virtual void | hessian_list (const std::vector< Point< dim > > &points, std::vector< SymmetricTensor< 2, dim, RangeNumberType > > &values, const unsigned int component=0) const |
virtual void | vector_hessian_list (const std::vector< Point< dim > > &points, std::vector< std::vector< SymmetricTensor< 2, dim, RangeNumberType > > > &values) const |
virtual std::size_t | memory_consumption () const |
numbers::NumberTraits< double >::real_type | get_time () const |
virtual void | set_time (const numbers::NumberTraits< double >::real_type new_time) |
virtual void | advance_time (const numbers::NumberTraits< double >::real_type delta_t) |
Static Public Member Functions | |
static std::string | default_variable_names () |
static ::ExceptionBase & | ExcParseError (int arg1, std::string arg2) |
static ::ExceptionBase & | ExcInvalidExpressionSize (int arg1, int arg2) |
static DifferenceFormula | get_formula_of_order (const unsigned int ord) |
Public Attributes | |
const unsigned int | n_components |
Static Public Attributes | |
static const unsigned int | dimension = dim |
Private Member Functions | |
void | init_muparser () const |
Private Attributes | |
Threads::ThreadLocalStorage< std::vector< double > > | vars |
Threads::ThreadLocalStorage< std::vector< std::unique_ptr< mu::Parser > > > | fp |
std::map< std::string, double > | constants |
std::vector< std::string > | var_names |
std::vector< std::string > | expressions |
bool | initialized |
unsigned int | n_vars |
double | h |
std::vector< Tensor< 1, dim > > | ht |
DifferenceFormula | formula |
numbers::NumberTraits< double >::real_type | time |
Subscriptor functionality | |
Classes derived from Subscriptor provide a facility to subscribe to this object. This is mostly used by the SmartPointer class. | |
std::atomic< unsigned int > | counter |
std::map< std::string, unsigned int > | counter_map |
std::vector< std::atomic< bool > * > | validity_pointers |
const std::type_info * | object_info |
void | subscribe (std::atomic< bool > *const validity, const std::string &identifier="") const |
void | unsubscribe (std::atomic< bool > *const validity, const std::string &identifier="") const |
unsigned int | n_subscriptions () const |
template<typename StreamType > | |
void | list_subscribers (StreamType &stream) const |
void | list_subscribers () const |
template<class Archive > | |
void | serialize (Archive &ar, const unsigned int version) |
static ::ExceptionBase & | ExcInUse (int arg1, std::string arg2, std::string arg3) |
static ::ExceptionBase & | ExcNoSubscriber (std::string arg1, std::string arg2) |
void | check_no_subscribers () const noexcept |
using | map_value_type = decltype(counter_map)::value_type |
using | map_iterator = decltype(counter_map)::iterator |
static std::mutex | mutex |
This class implements a function object that gets its value by parsing a string describing this function. It is a wrapper class for the muparser library (see https://beltoforion.de/en/muparser/). This class lets you evaluate strings such as "sqrt(1-x^2+y^2)" for given values of 'x' and 'y'. Please refer to the muparser documentation for more information. This class is used in the step-33 and step-36 tutorial programs (the latter being much simpler to understand).
In addition to the built-in functions of muparser, namely
this class also supports the following operations:
if(condition, then-value, else-value)
|
and &
(logic or and and)int(x)
, ceil(x)
, floor(x)
(rounding)cot(x)
, csc(x)
, sec(x)
pow(x,n)
, log(x)
erfc(x)
rand()
, rand_seed(seed)
if(condition, then-value, else-value)
syntax evaluates all three arguments before determining whether the condition is true, and then discarding either the "then" or the "else" expressions. In almost all situations, this is not a problem except if the evaluation of one of the expressions throws a floating point exception in cases where it will later be discarded. (Assuming floating point exceptions are switched on, as is the default for deal.II in debug mode on most systems.) An example would be the expression if(x>0, sqrt(x), 0)
which is mathematically well defined, but on systems where this is enabled will abort the program with a floating point exception when evaluated with a negative x
. This is because the square root of x
is computed before the if
statement's condition is considered to determine whether the result should be the second or third argument. If this kind of behavior is a problem, you can resort to the muparser built-in syntax (condition ? then-value : else-value)
, using the ternary syntax familiar to C++ programmers. If this syntax is used, muparser uses lazy evaluation in which only one of the branches is evaluated, depending on whether the condition
is true or false.The following examples shows how to use this class:
The second example is a bit more complex:
This class overloads the virtual methods value() and vector_value() of the Function base class with the byte compiled versions of the expressions given to the initialize() methods. Note that the class will not work unless you first call the initialize() method that accepts the text description of the function as an argument (among other things).
The syntax to describe a function follows usual programming practice, and is explained in detail at the homepage of the underlying muparser library at https://beltoforion.de/en/muparser/.
For a wrapper of the FunctionParser class that supports ParameterHandler, see Functions::ParsedFunction.
Vector-valued functions can either be declared using strings where the function components are separated by semicolons, or using a vector of strings each defining one vector component.
An example of time dependent scalar function is the following:
The following is another example of how to instantiate a vector valued function by using a single string:
Definition at line 223 of file function_parser.h.
using FunctionParser< dim >::ConstMap = std::map<std::string, double> |
Type for the constant map. Used by the initialize() method.
Definition at line 284 of file function_parser.h.
|
inherited |
The scalar-valued real type used for representing time.
Definition at line 169 of file function.h.
|
inherited |
Names of difference formulas.
Definition at line 88 of file auto_derivative_function.h.
FunctionParser< dim >::FunctionParser | ( | const unsigned int | n_components = 1 , |
const double | initial_time = 0.0 , |
||
const double | h = 1e-8 |
||
) |
Constructor. Its arguments are the same of the base class Function, with the additional parameter h
, used for the computation of gradients using finite differences. This object needs to be initialized with the initialize() method before you can use it. If an attempt to use this function is made before the initialize() method has been called, then an exception is thrown.
Definition at line 45 of file function_parser.cc.
FunctionParser< dim >::FunctionParser | ( | const std::string & | expression, |
const std::string & | constants = "" , |
||
const std::string & | variable_names = default_variable_names() + ",t" , |
||
const double | h = 1e-8 |
||
) |
Constructor for parsed functions. Takes directly a semi-colon separated list of expressions (one for each component of the function), an optional comma-separated list of constants, variable names and step size for the computation of first order derivatives by finite differences.
Definition at line 55 of file function_parser.cc.
|
delete |
Copy constructor. Objects of this type can not be copied, and consequently this constructor is deleted.
|
delete |
Move constructor. Objects of this type can not be moved, and consequently this constructor is deleted.
|
overridevirtualdefault |
Destructor.
|
delete |
Copy operator. Objects of this type can not be copied, and consequently this operator is deleted.
|
delete |
Move operator. Objects of this type can not be moved, and consequently this operator is deleted.
void FunctionParser< dim >::initialize | ( | const std::string & | vars, |
const std::vector< std::string > & | expressions, | ||
const ConstMap & | constants, | ||
const bool | time_dependent = false |
||
) |
Initialize the object by setting the actual parsed functions.
[in] | vars | a string with the variables that will be used by the expressions to be evaluated. Note that the variables can have any name (of course different from the function names defined above!), but the order IS important. The first variable will correspond to the first component of the point in which the function is evaluated, the second variable to the second component and so forth. If this function is also time dependent, then it is necessary to specify it by setting the time_dependent parameter to true. An exception is thrown if the number of variables specified here is different from dim (if this function is not time-dependent) or from dim+1 (if it is time-dependent). |
[in] | expressions | a list of strings containing the expressions that will be byte compiled by the internal parser (muParser). Note that the size of this vector must match exactly the number of components of the FunctionParser, as declared in the constructor. If this is not the case, an exception is thrown. |
[in] | constants | a map of constants used to pass any necessary constant that we want to specify in our expressions (in the example above the number pi). An expression is valid if and only if it contains only defined variables and defined constants (other than the functions specified above). If a constant is given whose name is not valid (eg: constants["sin"] = 1.5; ) an exception is thrown. |
[in] | time_dependent | If this is a time dependent function, then the last variable declared in vars is assumed to be the time variable, and FunctionTime::get_time() is used to initialize it when evaluating the function. Naturally the number of variables parsed by initialize() in this case is dim+1. The value of this parameter defaults to false, i.e., do not consider time. |
Definition at line 94 of file function_parser.cc.
void FunctionParser< dim >::initialize | ( | const std::string & | vars, |
const std::string & | expression, | ||
const ConstMap & | constants, | ||
const bool | time_dependent = false |
||
) |
Initialize the function. Same as above, but accepts a string rather than a vector of strings. If this is a vector valued function, its components are expected to be separated by a semicolon. An exception is thrown if this method is called and the number of components successfully parsed does not match the number of components of the base function.
Definition at line 261 of file function_parser.cc.
|
static |
A function that returns default names for variables, to be used in the first argument of the initialize() functions: it returns "x" in 1d, "x,y" in 2d, and "x,y,z" in 3d.
Definition at line 454 of file function_parser.h.
|
overridevirtual |
Return the value of the function at the given point. Unless there is only one component (i.e., the function is scalar), you should state the component you want to have evaluated; it defaults to zero, i.e., the first component.
Reimplemented from Function< dim, RangeNumberType >.
Definition at line 276 of file function_parser.cc.
|
overridevirtual |
Return all components of a vector-valued function at the given point p
.
values
shall have the right size beforehand, i.e. n_components.
Definition at line 311 of file function_parser.cc.
const std::vector< std::string > & FunctionParser< dim >::get_expressions |
Return an array of function expressions (one per component), used to initialize this function.
Definition at line 37 of file function_parser.cc.
|
inherited |
Choose the difference formula. See the enum DifferenceFormula for available choices.
Definition at line 43 of file auto_derivative_function.cc.
|
inherited |
Takes the difference step size h
. It's within the user's responsibility to choose an appropriate value here. h
should be chosen taking into account the absolute value of as well as the amount of local variation of the function. Setting h=1e-6
might be a good choice for functions with an absolute value of about 1, that furthermore does not vary to much.
Definition at line 65 of file auto_derivative_function.cc.
|
overridevirtualinherited |
Return the gradient of the specified component of the function at the given point.
Compute numerical difference quotients using the preset DifferenceFormula.
Reimplemented from Function< dim, RangeNumberType >.
Definition at line 75 of file auto_derivative_function.cc.
|
overridevirtualinherited |
Return the gradient of all components of the function at the given point.
Compute numerical difference quotients using the preset DifferenceFormula.
Definition at line 127 of file auto_derivative_function.cc.
|
virtualinherited |
Return the gradient of all components of the function at the given point.
Reimplemented in Functions::ConstantFunction< dim, double >, and Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
overridevirtualinherited |
Set gradients
to the gradients of the specified component of the function at the points
. It is assumed that gradients
already has the right size, i.e. the same size as the points
array.
Compute numerical difference quotients using the preset DifferenceFormula.
Definition at line 204 of file auto_derivative_function.cc.
|
virtualinherited |
Set gradients
to the gradients of the specified component of the function at the points
. It is assumed that gradients
already has the right size, i.e. the same size as the points
array.
Reimplemented in Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >, and Functions::ConstantFunction< dim, double >.
|
overridevirtualinherited |
Set gradients
to the gradients of the function at the points
, for all components. It is assumed that gradients
already has the right size, i.e. the same size as the points
array.
The outer loop over gradients
is over the points in the list, the inner loop over the different components of the function.
Compute numerical difference quotients using the preset DifferenceFormula.
Definition at line 268 of file auto_derivative_function.cc.
|
virtualinherited |
Set gradients
to the gradients of the function at the points
, for all components. It is assumed that gradients
already has the right size, i.e. the same size as the points
array.
The outer loop over gradients
is over the points in the list, the inner loop over the different components of the function.
Reimplemented in Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >, and Functions::ConstantFunction< dim, double >.
|
staticinherited |
Return a DifferenceFormula of the order ord
at minimum.
Definition at line 336 of file auto_derivative_function.cc.
|
virtualinherited |
Return all components of a vector-valued function at a given point.
values
shall have the right size beforehand, i.e. n_components.
The default implementation will call value() for each component.
Reimplemented in Functions::ConstantFunction< dim, double >, and Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
virtualinherited |
Set values
to the point values of the specified component of the function at the points
. It is assumed that values
already has the right size, i.e. the same size as the points
array.
By default, this function repeatedly calls value() for each point separately, to fill the output array.
Reimplemented in Functions::ConstantFunction< dim, double >, and Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
virtualinherited |
Set values
to the point values of the function at the points
. It is assumed that values
already has the right size, i.e. the same size as the points
array, and that all elements be vectors with the same number of components as this function has.
By default, this function repeatedly calls vector_value() for each point separately, to fill the output array.
Reimplemented in Functions::ConstantFunction< dim, double >, and Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
virtualinherited |
For each component of the function, fill a vector of values, one for each point.
The default implementation of this function in Function calls value_list() for each component. In order to improve performance, this can be reimplemented in derived classes to speed up performance.
|
virtualinherited |
For each component of the function, fill a vector of gradient values, one for each point.
The default implementation of this function in Function calls value_list() for each component. In order to improve performance, this can be reimplemented in derived classes to speed up performance.
|
virtualinherited |
Compute the Laplacian of a given component at point p
.
Reimplemented in Functions::CosineGradFunction< dim >, Functions::IdentityFunction< dim, RangeNumberType >, Functions::CSpline< dim >, Functions::SquareFunction< dim >, Functions::Q1WedgeFunction< dim >, Functions::PillowFunction< dim >, Functions::CosineFunction< dim >, Functions::ExpFunction< dim >, Functions::SlitSingularityFunction< dim >, Functions::JumpFunction< dim >, Functions::FourierCosineFunction< dim >, Functions::FourierSineFunction< dim >, Functions::FourierSineSum< dim >, Functions::FourierCosineSum< dim >, Functions::SymbolicFunction< dim, RangeNumberType >, Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >, Functions::ConstantFunction< dim, RangeNumberType >, and Functions::ConstantFunction< dim, double >.
|
virtualinherited |
Compute the Laplacian of all components at point p
and store them in values
.
Reimplemented in Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
virtualinherited |
Compute the Laplacian of one component at a set of points.
Reimplemented in Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
virtualinherited |
Compute the Laplacians of all components at a set of points.
Reimplemented in Functions::FEFieldFunction< dim, DoFHandlerType, VectorType >.
|
virtualinherited |
Compute the Hessian of a given component at point p
, that is the gradient of the gradient of the function.
Reimplemented in Functions::LevelSet::Plane< dim >, Functions::IdentityFunction< dim, RangeNumberType >, Functions::CSpline< dim >, Functions::CosineFunction< dim >, Functions::Spherical< dim >, Functions::SymbolicFunction< dim, RangeNumberType >, Functions::CoordinateRestriction< dim >, Functions::ConstantFunction< dim, RangeNumberType >, Functions::ConstantFunction< dim, double >, and Functions::LevelSet::Sphere< dim >.
|
virtualinherited |
Compute the Hessian of all components at point p
and store them in values
.
|
virtualinherited |
Compute the Hessian of one component at a set of points.
|
virtualinherited |
Compute the Hessians of all components at a set of points.
|
virtualinherited |
Return an estimate for the memory consumption, in bytes, of this object.
This function is virtual and can be overloaded by derived classes.
Reimplemented in Functions::FlowFunction< dim >, Functions::FlowFunction< 2 >, Functions::ConstantFunction< dim, RangeNumberType >, Functions::ConstantFunction< dim, double >, ComponentSelectFunction< dim, RangeNumberType >, Functions::CSpline< dim >, FunctionDerivative< dim >, Functions::JumpFunction< dim >, Functions::InterpolatedTensorProductGridData< dim >, Functions::InterpolatedUniformGridData< dim >, Functions::Polynomial< dim >, and Functions::Spherical< dim >.
|
inherited |
Return the value of the time variable.
|
virtualinherited |
Set the time to new_time
, overwriting the old value.
|
virtualinherited |
Advance the time by the given time step delta_t
.
|
privateinherited |
Step size of the difference formula. Set by the set_h() function.
Definition at line 223 of file auto_derivative_function.h.
|
privateinherited |
Includes the unit vectors scaled by h
.
Definition at line 228 of file auto_derivative_function.h.
|
privateinherited |
Difference formula. Set by the set_formula() function.
Definition at line 233 of file auto_derivative_function.h.
|
staticinherited |
Export the value of the template parameter as a static member constant. Sometimes useful for some expression template programming.
Definition at line 159 of file function.h.
|
inherited |
Number of vector components.
Definition at line 164 of file function.h.
|
privateinherited |
Store the present time.
Definition at line 113 of file function_time.h.