Cadabra
Computer algebra system for field theory problems
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Derivative.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
11 #include "properties/SortOrder.hh"
12 
13 namespace cadabra {
14 
15  class Derivative : public IndexInherit,
16  public DependsInherit,
17 // public Inherit<Spinor>,
18  public Inherit<SortOrder>,
19  public CommutingAsProduct,
20  public NumericalFlat,
21  public WeightBase,
22  public TableauBase,
23  public Distributable, virtual public property {
24  public :
25  virtual ~Derivative() {};
26  virtual std::string name() const override;
27 
28  virtual unsigned int size(const Properties&, Ex&, Ex::iterator) const override;
29  virtual tab_t get_tab(const Properties&, Ex&, Ex::iterator, unsigned int) const override;
30  virtual multiplier_t value(const Kernel&, Ex::iterator, const std::string& forcedlabel) const override;
31  };
32 
33 }
Definition: WeightBase.hh:8
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:130
virtual ~Derivative()
Definition: Derivative.hh:25
Definition: DependsInherit.hh:10
yngtab::filled_tableau< unsigned int > tab_t
Definition: TableauBase.hh:11
virtual tab_t get_tab(const Properties &, Ex &, Ex::iterator, unsigned int) const override
Definition: Derivative.cc:41
Definition: CommutingAsProduct.hh:8
virtual unsigned int size(const Properties &, Ex &, Ex::iterator) const override
Definition: Derivative.cc:8
Base class for all properties, handling argument parsing and defining the interface.
Definition: Props.hh:107
Definition: Distributable.hh:8
Definition: TableauBase.hh:9
Definition: IndexInherit.hh:8
Property indicating that an operator is numerically flat, so that numerical factors in the argument c...
Definition: NumericalFlat.hh:11
mpq_class multiplier_t
Definition: Storage.hh:38
Definition: Derivative.hh:15
If a property X derives from Inherit<Y>, and get<Y> is called on an object which has an X property (b...
Definition: Props.hh:179
virtual std::string name() const override
Definition: Derivative.cc:91
Definition: Kernel.hh:15
Class holding a collection of properties attached to expressions.
Definition: Props.hh:203
virtual multiplier_t value(const Kernel &, Ex::iterator, const std::string &forcedlabel) const override
Definition: Derivative.cc:21