Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
PreClean.hh
Go to the documentation of this file.
1
2#pragma once
3
4#include "Algorithm.hh"
5
19
20namespace 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