 |
Cadabra
Computer algebra system for field theory problems
|
void set_variable(const Ex &, const NTensor &val)
Set the range of values which we want to insert into the indicated variable.
Definition: NEvaluator.cc:176
std::vector< VariableValues > variable_values
Definition: NEvaluator.hh:48
std::map< Ex::iterator, Ex::iterator, Ex::iterator_base_less > subtree_equalities
If we know the value of a subtree is equal to another subtree (either in the same expression or anoth...
Definition: NEvaluator.hh:37
std::vector< Ex::iterator > locations
Definition: NEvaluator.hh:46
NEvaluator(const Ex &)
Definition: NEvaluator.cc:16
Definition: NTensor.hh:14
NTensor evaluate()
Evaluate the expression, using the variable values set in set_variable.
Definition: NEvaluator.cc:21
The expression will get evaluated for a range of values for each unknown sub-expression (variable).
Definition: NEvaluator.hh:42
std::map< Ex::iterator, NTensor, Ex::iterator_base_less > subtree_values
If we know the value of a subtree explicitly as a number, it is stored in this map.
Definition: NEvaluator.hh:31
Definition: NEvaluator.hh:25
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
Definition: Storage.hh:141
void find_variable_locations()
PRIVATE:
Definition: NEvaluator.cc:181
Ex variable
Definition: NEvaluator.hh:44
const Ex & ex
Definition: NEvaluator.hh:63
NTensor values
Definition: NEvaluator.hh:45