Cadabra
Computer algebra system for field theory problems
explicit_indices.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
6 namespace cadabra {
7 
8  class explicit_indices : public Algorithm {
9  public:
10  explicit_indices(const Kernel&, Ex&);
11 
12  virtual bool can_apply(iterator);
13  virtual result_t apply(iterator&);
14 
15  private:
18  std::map<const Indices *, Ex::iterator> index_lines, first_index, last_index; // for the current term
19 
20  void handle_factor(sibling_iterator& factor, bool trace_it);
21  };
22 
23  }
cadabra::Algorithm::sibling_iterator
Ex::sibling_iterator sibling_iterator
Definition: Algorithm.hh:72
Algorithm.hh
cadabra::IndexClassifier::index_map_t
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
cadabra::Kernel
Definition: Kernel.hh:15
cadabra::explicit_indices::can_apply
virtual bool can_apply(iterator)
Definition: explicit_indices.cc:18
cadabra::explicit_indices::apply
virtual result_t apply(iterator &)
Definition: explicit_indices.cc:51
cadabra::explicit_indices::index_lines
std::map< const Indices *, Ex::iterator > index_lines
Definition: explicit_indices.hh:18
cadabra::explicit_indices::explicit_indices
explicit_indices(const Kernel &, Ex &)
Definition: explicit_indices.cc:13
cadabra::explicit_indices::first_index
std::map< const Indices *, Ex::iterator > first_index
Definition: explicit_indices.hh:18
cadabra::explicit_indices::handle_factor
void handle_factor(sibling_iterator &factor, bool trace_it)
Definition: explicit_indices.cc:168
cadabra::explicit_indices::ind_dummy_sum
index_map_t ind_dummy_sum
Definition: explicit_indices.hh:16
cadabra::Algorithm::iterator
Ex::iterator iterator
Definition: Algorithm.hh:70
cadabra::explicit_indices::added_this_term
index_map_t added_this_term
Definition: explicit_indices.hh:17
cadabra::Algorithm
Definition: Algorithm.hh:59
cadabra::explicit_indices::ind_free_sum
index_map_t ind_free_sum
Definition: explicit_indices.hh:16
cadabra::explicit_indices::last_index
std::map< const Indices *, Ex::iterator > last_index
Definition: explicit_indices.hh:18
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
cadabra::Ex
Definition: Storage.hh:140
cadabra::explicit_indices
Definition: explicit_indices.hh:8
cadabra::Ex::result_t
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:159