Cadabra
Computer algebra system for field theory problems
zoom.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Algorithm.hh"
5 
6 namespace cadabra {
7 
8  class zoom : public Algorithm {
9  public:
10  zoom(const Kernel& k, Ex& e, Ex& r, bool partial = true);
11 
12  virtual bool can_apply(iterator) override;
13  virtual result_t apply(iterator&) override;
14 
15  private:
17 
18  std::vector<sibling_iterator> to_erase;
19  std::vector<Ex::path_t> to_keep;
20 
21  bool partial;
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:164
Definition: Kernel.hh:15
Definition: zoom.hh:8
zoom(const Kernel &k, Ex &e, Ex &r, bool partial=true)
Definition: zoom.cc:9
virtual bool can_apply(iterator) override
Definition: zoom.cc:31
std::vector< Ex::path_t > to_keep
Definition: zoom.hh:19
Ex rules
Definition: zoom.hh:16
std::vector< sibling_iterator > to_erase
Definition: zoom.hh:18
virtual result_t apply(iterator &) override
Definition: zoom.cc:53
bool partial
Definition: zoom.hh:21
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
int k
Definition: passing.cc:4