Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
zoom.hh
Go to the documentation of this file.
1
2#pragma once
3
4#include "Algorithm.hh"
5
6namespace 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:168
Definition Kernel.hh:15
Definition zoom.hh:8
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
void set(rset_t::iterator &num, multiplier_t fac)
Definition Storage.cc:1063
int k
Definition passing.cc:4