Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
canonicalise.hh
Go to the documentation of this file.
1#pragma once
2
3#include "Algorithm.hh"
5#include <vector>
6
7namespace 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.
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 }
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition Algorithm.hh:54
Definition Storage.hh:170
result_t
Keeping track of what algorithms have done to this expression.
Definition Storage.hh:200
Ex::iterator iterator
Definition ExManip.hh:12
position_t
Definition Indices.hh:24
Definition Kernel.hh:15
Canonicalise the index structure of a tensorial expression.
Definition canonicalise.hh:13
bool remove_traceless_traces(iterator &)
Definition canonicalise.cc:53
virtual result_t apply(iterator &)
Definition canonicalise.cc:164
bool remove_vanishing_numericals(iterator &)
Definition canonicalise.cc:114
bool only_one_on_derivative(iterator index1, iterator index2) const
Definition canonicalise.cc:149
virtual bool can_apply(iterator)
Definition canonicalise.cc:24
std::vector< std::vector< int > > generating_set
Definition canonicalise.hh:20
bool reuse_generating_set
Definition canonicalise.hh:21
Indices::position_t position_type(iterator) const
Definition canonicalise.cc:141
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83
void set(rset_t::iterator &num, multiplier_t fac)
Definition Storage.cc:1179