Cadabra
Computer algebra system for field theory problems
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
eliminate_metric.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
6 namespace cadabra {
7 
8 class eliminate_converter : public Algorithm {
9  public:
10  eliminate_converter(const Kernel&, Ex&, Ex&);
11 
12  virtual bool can_apply(iterator) override;
13  virtual result_t apply(iterator&) override;
14 
15  protected:
16  virtual bool is_conversion_object(iterator) const=0;
17 
18  private:
22 };
23 
24 
26  public:
27  eliminate_metric(const Kernel&, Ex&, Ex&);
28 
29  protected:
30  virtual bool is_conversion_object(iterator) const override;
31 };
32 
33 }
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition: Algorithm.hh:58
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:130
Definition: eliminate_metric.hh:25
index_map_t ind_dummy
Definition: eliminate_metric.hh:20
eliminate_converter(const Kernel &, Ex &, Ex &)
Definition: eliminate_metric.cc:23
virtual bool can_apply(iterator) override
Definition: eliminate_metric.cc:28
Ex::iterator iterator
Definition: Algorithm.hh:69
Ex::sibling_iterator sibling_iterator
Definition: Algorithm.hh:71
Ex preferred
Definition: eliminate_metric.hh:19
virtual bool is_conversion_object(iterator) const =0
virtual bool is_conversion_object(iterator) const override
Definition: eliminate_metric.cc:14
index_map_t ind_free
Definition: eliminate_metric.hh:20
eliminate_metric(const Kernel &, Ex &, Ex &)
Definition: eliminate_metric.cc:9
virtual result_t apply(iterator &) override
Definition: eliminate_metric.cc:83
Definition: eliminate_metric.hh:8
Definition: Kernel.hh:15
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:149
std::multimap< Ex, Ex::iterator, tree_exact_less_for_indexmap_obj > index_map_t
A map from a pattern to the position where it occurs in the tree.
Definition: Algorithm.hh:138
bool handle_one_index(iterator, iterator, iterator, sibling_iterator)
Definition: eliminate_metric.cc:34