 |
Cadabra
Computer algebra system for field theory problems
|
Go to the documentation of this file.
23 typedef std::multimap<Ex, Ex::iterator, tree_exact_less_for_indexmap_obj>
index_map_t;
46 bool move_out=
false)
const;
int max_numbered_name(const std::string &, const index_map_t *m1, const index_map_t *m2=0, const index_map_t *m3=0, const index_map_t *m4=0, const index_map_t *m5=0) const
Definition: IndexClassifier.cc:615
Ex get_dummy(const list_property *, const index_map_t *m1, const index_map_t *m2=0, const index_map_t *m3=0, const index_map_t *m4=0, const index_map_t *m5=0) const
Definition: IndexClassifier.cc:482
void classify_add_index(Ex::iterator it, index_map_t &ind_free, index_map_t &ind_dummy) const
Definition: IndexClassifier.cc:125
Something cannot be both a list property and a normal property at the same time, so we can safely inh...
Definition: Props.hh:192
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
IndexClassifier(const Kernel &)
Definition: IndexClassifier.cc:15
void dumpmap(std::ostream &, const index_map_t &) const
Definition: IndexClassifier.cc:257
Definition: IndexClassifier.hh:13
void fill_map(index_map_t &, Ex::sibling_iterator, Ex::sibling_iterator) const
Definition: IndexClassifier.cc:48
void classify_indices_up(Ex::iterator, index_map_t &ind_free, index_map_t &ind_dummy) const
Definition: IndexClassifier.cc:162
std::map< Ex::iterator, int, Ex::iterator_base_less > index_position_map_t
A map from the position of each index to the sequential index.
Definition: IndexClassifier.hh:26
int max_numbered_name_one(const std::string &nm, const index_map_t *one) const
Definition: IndexClassifier.cc:594
void one(rset_t::iterator &num)
Definition: Storage.cc:999
bool index_in_set(Ex, const index_map_t *) const
Definition: IndexClassifier.cc:642
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:140
void classify_indices(Ex::iterator, index_map_t &ind_free, index_map_t &ind_dummy) const
Definition: IndexClassifier.cc:269
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:80
void print_classify_indices(std::ostream &, Ex::iterator) const
Definition: IndexClassifier.cc:566
const Kernel & kernel
Definition: IndexClassifier.hh:66
void fill_index_position_map(Ex::iterator, const index_map_t &, index_position_map_t &) const
Routines to find and classify all indices in an expression, taking into account sums and products.
Definition: IndexClassifier.cc:24
index_map_t::iterator find_modulo_parent_rel(Ex::iterator it, index_map_t &imap) const
Find an index in the set, not taking into account index position.
Definition: IndexClassifier.cc:110
void determine_intersection(index_map_t &one, index_map_t &two, index_map_t &target, bool move_out=false) const
Determine those indices in 'two' which have a name which is identical to an index name occurring in '...
Definition: IndexClassifier.cc:56