Cadabra
Computer algebra system for field theory problems
canonicalise.hh
Go to the documentation of this file.
1 
2 #include "Algorithm.hh"
3 #include "properties/Indices.hh"
4 #include <vector>
5 
6 namespace cadabra {
7 
11 
12  class canonicalise : public Algorithm {
13  public:
14  canonicalise(const Kernel&, Ex&);
15 
16  virtual bool can_apply(iterator);
17  virtual result_t apply(iterator&);
18 
19  std::vector<std::vector<int> > generating_set;
21 
22  private:
23  // Sub-algorithms needed before going to the full fledged canonicaliser.
24  // All return true if they have modified the expression.
27  bool only_one_on_derivative(iterator index1, iterator index2) const;
28 
29  std::string get_index_set_name(iterator) const;
31  // void collect_dummy_info(const index_map_t&, const index_position_map_t&,
32  // std::vector<int>&, std::vector<int>&);
33  };
34 
35  }
cadabra::Algorithm::iterator
Ex::iterator iterator
Definition: Algorithm.hh:70
cadabra::Indices::position_t
position_t
Definition: Indices.hh:23
cadabra::canonicalise::canonicalise
canonicalise(const Kernel &, Ex &)
Definition: canonicalise.cc:18
cadabra::Kernel
Definition: Kernel.hh:14
cadabra::canonicalise::reuse_generating_set
bool reuse_generating_set
Definition: canonicalise.hh:20
Algorithm.hh
cadabra::Ex::result_t
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:159
cadabra::canonicalise
Definition: canonicalise.hh:12
cadabra::canonicalise::get_index_set_name
std::string get_index_set_name(iterator) const
Definition: canonicalise.cc:143
cadabra::Algorithm
Definition: Algorithm.hh:59
cadabra::canonicalise::can_apply
virtual bool can_apply(iterator)
Definition: canonicalise.cc:23
cadabra::Ex
Definition: Storage.hh:140
cadabra::canonicalise::only_one_on_derivative
bool only_one_on_derivative(iterator index1, iterator index2) const
Definition: canonicalise.cc:156
cadabra::canonicalise::remove_traceless_traces
bool remove_traceless_traces(iterator &)
Definition: canonicalise.cc:47
cadabra::canonicalise::position_type
Indices::position_t position_type(iterator) const
Definition: canonicalise.cc:135
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Algorithm.cc:1045
cadabra::canonicalise::generating_set
std::vector< std::vector< int > > generating_set
Definition: canonicalise.hh:19
cadabra::canonicalise::remove_vanishing_numericals
bool remove_vanishing_numericals(iterator &)
Definition: canonicalise.cc:108
cadabra::canonicalise::apply
virtual result_t apply(iterator &)
Definition: canonicalise.cc:171
Indices.hh