Cadabra
Computer algebra system for field theory problems
sym.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include "Algorithm.hh"
4 #include <vector>
5 #include "Combinatorics.hh"
6 
7 namespace cadabra {
8 
9  class sym : virtual public Algorithm {
10  public:
11  sym(const Kernel&, Ex&, Ex&, bool sign);
12  sym(const Kernel&, Ex&, const std::vector<unsigned int>&, bool sign);
13 
14  virtual bool can_apply(iterator) override;
15  virtual result_t apply(iterator& it) override;
16 
17  protected:
19  bool sign;
20 
21  std::vector<unsigned int> slotloc;
22  std::vector<unsigned int> argloc_2_treeloc;
24 
25  result_t doit(iterator&, bool);
26  };
27 
28  }
cadabra::sym::sign
bool sign
Definition: sym.hh:19
Algorithm.hh
cadabra::Kernel
Definition: Kernel.hh:15
cadabra::sym
Definition: sym.hh:9
cadabra::sym::can_apply
virtual bool can_apply(iterator) override
Definition: sym.cc:23
cadabra::sym::slotloc
std::vector< unsigned int > slotloc
Definition: sym.hh:21
Combinatorics.hh
cadabra::sym::sym
sym(const Kernel &, Ex &, Ex &, bool sign)
Definition: sym.cc:16
cadabra::sym::doit
result_t doit(iterator &, bool)
Definition: sym.cc:90
cadabra::sym::argloc_2_treeloc
std::vector< unsigned int > argloc_2_treeloc
Definition: sym.hh:22
cadabra::sym::raw_ints
combin::combinations< unsigned int > raw_ints
Definition: sym.hh:23
cadabra::Algorithm::iterator
Ex::iterator iterator
Definition: Algorithm.hh:70
cadabra::Algorithm
Definition: Algorithm.hh:59
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
cadabra::Ex
Definition: Storage.hh:141
cadabra::sym::apply
virtual result_t apply(iterator &it) override
Definition: sym.cc:74
combin::combinations< unsigned int >
cadabra::sym::objects
Ex objects
Definition: sym.hh:18
cadabra::Ex::result_t
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:160