Cadabra
Computer algebra system for field theory problems
PreClean.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
19 
20 namespace cadabra {
21 
22  void pre_clean_dispatch(const Kernel& k, Ex&, Ex::iterator& it);
23  void pre_clean_dispatch_deep(const Kernel& k, Ex&);
24 
28 
29  void cleanup_updown(const Kernel& k, Ex&, Ex::iterator& it);
30  void cleanup_rational(const Kernel& k, Ex&, Ex::iterator& it);
31  void cleanup_frac(const Kernel& k, Ex&, Ex::iterator& it);
32  void cleanup_sqrt(const Kernel& k, Ex&, Ex::iterator& it);
33  void cleanup_prod(const Kernel& k, Ex&, Ex::iterator& it);
34  void cleanup_sub(const Kernel& k, Ex&, Ex::iterator& it);
35 
38  void cleanup_indexbracket(const Kernel& k, Ex&, Ex::iterator& it);
39 
41  std::string replace_all(std::string const& original, std::string const& from, std::string const& to );
42 
43  }
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
void cleanup_indexbracket(const Kernel &, Ex &tr, Ex::iterator &it)
Convert parser output which indicates an indexbracket to an actual indexbracket node.
Definition: PreClean.cc:169
void cleanup_sqrt(const Kernel &, Ex &tr, Ex::iterator &st)
Definition: PreClean.cc:116
void pre_clean_dispatch_deep(const Kernel &k, Ex &tr)
Definition: PreClean.cc:20
void cleanup_frac(const Kernel &, Ex &tr, Ex::iterator &st)
Definition: PreClean.cc:49
void pre_clean_dispatch(const Kernel &kernel, Ex &ex, Ex::iterator &it)
Definition: PreClean.cc:7
std::string replace_all(std::string const &original, std::string const &from, std::string const &to)
Replace all occurrances of 'from' with 'to', return result (does not replace in-place).
Definition: PreClean.cc:209
void cleanup_sub(const Kernel &, Ex &tr, Ex::iterator &it)
Definition: PreClean.cc:132
void cleanup_updown(const Kernel &, Ex &, Ex::iterator &st)
Cleanup for individual node types.
Definition: PreClean.cc:25
void cleanup_prod(const Kernel &, Ex &tr, Ex::iterator &st)
Definition: PreClean.cc:122
void cleanup_rational(const Kernel &, Ex &, Ex::iterator &st)
Definition: PreClean.cc:41
int k
Definition: passing.cc:4