Cadabra
Computer algebra system for field theory problems
expand.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
6 namespace cadabra {
7 
8  class expand : public Algorithm {
9  public:
10  expand(const Kernel&, Ex&);
11 
12  virtual bool can_apply(iterator) override;
13  virtual result_t apply(iterator&) override;
14 
15  private:
18  index_iterator nth_implicit_index(Ex::iterator eform, Ex::iterator iform, unsigned int n);
19  };
20 
21  }
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:164
Definition: Kernel.hh:15
Definition: expand.hh:8
bool check_pos
Definition: expand.hh:17
expand(const Kernel &, Ex &)
Definition: expand.cc:9
iterator mx_first
Definition: expand.hh:16
iterator ii_first
Definition: expand.hh:16
index_iterator nth_implicit_index(Ex::iterator eform, Ex::iterator iform, unsigned int n)
Definition: expand.cc:14
iterator ii_last
Definition: expand.hh:16
bool one_index
Definition: expand.hh:17
iterator mx_last
Definition: expand.hh:16
virtual result_t apply(iterator &) override
Definition: expand.cc:138
virtual bool can_apply(iterator) override
Definition: expand.cc:32
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition: IndexIterator.hh:16
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83