Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
explicit_indices.hh
Go to the documentation of this file.
1
2#pragma once
3
4#include "Algorithm.hh"
5#include "IndexClassifier.hh"
6
7namespace cadabra {
8
9 class explicit_indices : public Algorithm {
10 public:
11 explicit_indices(const Kernel&, Ex&);
12
13 virtual bool can_apply(iterator);
14 virtual result_t apply(iterator&);
15
16 private:
19 std::map<const Indices *, Ex::iterator> index_lines, first_index, last_index; // for the current term
20
21 void handle_factor(sibling_iterator& factor, bool trace_it);
22 };
23
24 }
Algorithm(const Kernel &, Ex &)
Initialise the algorithm with a reference to the expression tree, but do not yet do anything with thi...
Definition Algorithm.cc:52
Ex::result_t result_t
Definition Algorithm.hh:65
Definition Storage.hh:170
Ex::sibling_iterator sibling_iterator
Definition ExManip.hh:14
Ex::iterator iterator
Definition ExManip.hh:12
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
Definition Kernel.hh:15
IndexClassifier::index_map_t ind_dummy_sum
Definition explicit_indices.hh:17
void handle_factor(sibling_iterator &factor, bool trace_it)
Definition explicit_indices.cc:169
virtual bool can_apply(iterator)
Definition explicit_indices.cc:18
std::map< const Indices *, Ex::iterator > last_index
Definition explicit_indices.hh:19
virtual result_t apply(iterator &)
Definition explicit_indices.cc:51
IndexClassifier::index_map_t ind_free_sum
Definition explicit_indices.hh:17
IndexClassifier::index_map_t added_this_term
Definition explicit_indices.hh:18
std::map< const Indices *, Ex::iterator > first_index
Definition explicit_indices.hh:19
std::map< const Indices *, Ex::iterator > index_lines
Definition explicit_indices.hh:19
explicit_indices(const Kernel &, Ex &)
Definition explicit_indices.cc:13
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83