Cadabra
Computer algebra system for field theory problems
Toggle main menu visibility
Loading...
Searching...
No Matches
core
algorithms
explicit_indices.hh
Go to the documentation of this file.
1
2
#pragma once
3
4
#include "
Algorithm.hh
"
5
#include "
IndexClassifier.hh
"
6
7
namespace
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
:
17
IndexClassifier::index_map_t
ind_free_sum
,
ind_dummy_sum
;
18
IndexClassifier::index_map_t
added_this_term
;
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.hh
IndexClassifier.hh
cadabra::Algorithm::Algorithm
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
cadabra::Algorithm::result_t
Ex::result_t result_t
Definition
Algorithm.hh:65
cadabra::Ex
Definition
Storage.hh:170
cadabra::ExManip::sibling_iterator
Ex::sibling_iterator sibling_iterator
Definition
ExManip.hh:14
cadabra::ExManip::iterator
Ex::iterator iterator
Definition
ExManip.hh:12
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::ind_dummy_sum
IndexClassifier::index_map_t ind_dummy_sum
Definition
explicit_indices.hh:17
cadabra::explicit_indices::handle_factor
void handle_factor(sibling_iterator &factor, bool trace_it)
Definition
explicit_indices.cc:169
cadabra::explicit_indices::can_apply
virtual bool can_apply(iterator)
Definition
explicit_indices.cc:18
cadabra::explicit_indices::last_index
std::map< const Indices *, Ex::iterator > last_index
Definition
explicit_indices.hh:19
cadabra::explicit_indices::apply
virtual result_t apply(iterator &)
Definition
explicit_indices.cc:51
cadabra::explicit_indices::ind_free_sum
IndexClassifier::index_map_t ind_free_sum
Definition
explicit_indices.hh:17
cadabra::explicit_indices::added_this_term
IndexClassifier::index_map_t added_this_term
Definition
explicit_indices.hh:18
cadabra::explicit_indices::first_index
std::map< const Indices *, Ex::iterator > first_index
Definition
explicit_indices.hh:19
cadabra::explicit_indices::index_lines
std::map< const Indices *, Ex::iterator > index_lines
Definition
explicit_indices.hh:19
cadabra::explicit_indices::explicit_indices
explicit_indices(const Kernel &, Ex &)
Definition
explicit_indices.cc:13
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition
Adjform.cc:83
Generated by
1.17.0