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:
22 
31  };
32 
33 
35  public:
36  eliminate_metric(const Kernel&, Ex&, Ex&);
37 
38  protected:
39  virtual bool is_conversion_object(iterator) const override;
40  };
41 
42  }
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:140
Definition: eliminate_metric.hh:34
index_map_t ind_dummy
Definition: eliminate_metric.hh:21
eliminate_converter(const Kernel &, Ex &, Ex &)
Definition: eliminate_metric.cc:25
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition: IndexIterator.hh:16
bool handle_one_index(index_iterator i1, index_iterator i2, iterator fit, sibling_iterator objs)
See if the conversion which turns index 'i1' into index 'i2' can be applied on the expression...
Definition: eliminate_metric.cc:36
virtual bool can_apply(iterator) override
Definition: eliminate_metric.cc:30
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:1045
virtual bool is_conversion_object(iterator) const override
Definition: eliminate_metric.cc:16
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:11
virtual result_t apply(iterator &) override
Definition: eliminate_metric.cc:105
Definition: eliminate_metric.hh:9
Definition: Kernel.hh:14
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:159