Cadabra
Computer algebra system for field theory problems
canonicalise.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include "Algorithm.hh"
4 #include "properties/Indices.hh"
5 #include <vector>
6 
7 namespace cadabra {
8 
12 
13  class canonicalise : public Algorithm {
14  public:
15  canonicalise(const Kernel&, Ex&);
16 
17  virtual bool can_apply(iterator);
18  virtual result_t apply(iterator&);
19 
20  std::vector<std::vector<int> > generating_set;
22 
23  private:
24  // Sub-algorithms needed before going to the full fledged canonicaliser.
25  // All return true if they have modified the expression.
28  bool only_one_on_derivative(iterator index1, iterator index2) const;
29 
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:21
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:13
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:143
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: Adjform.cc:80
cadabra::canonicalise::generating_set
std::vector< std::vector< int > > generating_set
Definition: canonicalise.hh:20
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:158
Indices.hh