Cadabra
Computer algebra system for field theory problems
simplify.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
6 namespace cadabra {
7 
14 
15  class simplify : public Algorithm {
16  public:
17  simplify(const Kernel&, Ex&);
18 
19  virtual bool can_apply(iterator);
20  virtual result_t apply(iterator&);
21 
22  private:
23  std::vector<Ex::iterator> left;
24  std::set<Ex::iterator> index_factors;
25  };
26 
27  }
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition: Algorithm.hh:59
Ex::iterator iterator
Definition: Algorithm.hh:70
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:142
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:161
Definition: Kernel.hh:15
General purpose brute force scalar simplification algorithm.
Definition: simplify.hh:15
simplify(const Kernel &, Ex &)
Definition: simplify.cc:14
std::set< Ex::iterator > index_factors
Definition: simplify.hh:24
virtual result_t apply(iterator &)
Definition: simplify.cc:97
std::vector< Ex::iterator > left
Definition: simplify.hh:23
virtual bool can_apply(iterator)
Definition: simplify.cc:19
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83