Cadabra
Computer algebra system for field theory problems
eliminate_metric.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 #include "IndexIterator.hh"
6 
7 namespace cadabra {
8 
9 class eliminate_converter : public Algorithm {
10  public:
11  eliminate_converter(const Kernel&, Ex&, Ex&);
12 
13  virtual bool can_apply(iterator) override;
14  virtual result_t apply(iterator&) override;
15 
16  protected:
17  virtual bool is_conversion_object(iterator) const=0;
18 
19  private:
23 };
24 
25 
27  public:
28  eliminate_metric(const Kernel&, Ex&, Ex&);
29 
30  protected:
31  virtual bool is_conversion_object(iterator) const override;
32 };
33 
34 }
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition: Algorithm.hh:59
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:139
Definition: eliminate_metric.hh:26
bool handle_one_index(index_iterator, index_iterator, iterator, sibling_iterator)
Definition: eliminate_metric.cc:34
index_map_t ind_dummy
Definition: eliminate_metric.hh:21
eliminate_converter(const Kernel &, Ex &, Ex &)
Definition: eliminate_metric.cc:23
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition: IndexIterator.hh:16
virtual bool can_apply(iterator) override
Definition: eliminate_metric.cc:28
Ex::iterator iterator
Definition: Algorithm.hh:70
Ex::sibling_iterator sibling_iterator
Definition: Algorithm.hh:72
Ex preferred
Definition: eliminate_metric.hh:20
virtual bool is_conversion_object(iterator) const =0
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Algorithm.cc:1030
virtual bool is_conversion_object(iterator) const override
Definition: eliminate_metric.cc:14
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: IndexClassifier.hh:23
index_map_t ind_free
Definition: eliminate_metric.hh:21
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:9
Definition: Kernel.hh:14
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:158