Cadabra
Computer algebra system for field theory problems
decompose.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
6 namespace cadabra {
7 
8  class decompose : public Algorithm {
9  public:
10  decompose(const Kernel&, Ex&, Ex&);
11 
12  virtual bool can_apply(iterator) override;
13  virtual result_t apply(iterator&) override;
14 
15  private:
17 
18  void add_element_to_basis(Ex&, Ex::iterator);
19  std::vector<Ex> terms_from_yp;
20  std::vector<std::vector<multiplier_t> > coefficient_matrix;
21 
22  };
23 
24  }
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
Definition: decompose.hh:8
Ex basis
Definition: decompose.hh:16
std::vector< Ex > terms_from_yp
Definition: decompose.hh:19
virtual bool can_apply(iterator) override
Definition: decompose.cc:16
void add_element_to_basis(Ex &, Ex::iterator)
Definition: decompose.cc:22
decompose(const Kernel &, Ex &, Ex &)
Definition: decompose.cc:11
virtual result_t apply(iterator &) override
Definition: decompose.cc:76
std::vector< std::vector< multiplier_t > > coefficient_matrix
Definition: decompose.hh:20
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83