Cadabra
Computer algebra system for field theory problems
Indices.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "Props.hh"
5 
6 namespace cadabra {
7 
8  class Indices : public list_property {
9  public:
10  Indices(); //const std::string& parent="");
11  virtual bool parse(Kernel&, std::shared_ptr<Ex>, keyval_t&) override;
12  virtual std::string name() const override;
13  virtual std::string unnamed_argument() const override
14  {
15  return "name";
16  };
17  virtual match_t equals(const property *) const override;
18  virtual void validate(const Kernel&, const Ex&) const override;
19 
20  // virtual void display(std::ostream&) const override;
21  virtual void latex(std::ostream&) const override;
22 
23  std::string set_name, parent_name;
25 
26  // List of possible values that indices of this type can take.
27  std::vector<Ex> values;
28 
29  private:
32 
33  void collect_index_values(Ex::iterator ind_values);
34  };
35 
36  }
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:142
Definition: Indices.hh:8
enum cadabra::Indices::position_t position_type
Indices()
Definition: Indices.cc:13
position_t
Definition: Indices.hh:24
@ fixed
Definition: Indices.hh:24
@ independent
Definition: Indices.hh:24
@ free
Definition: Indices.hh:24
virtual std::string unnamed_argument() const override
Definition: Indices.hh:13
virtual std::string name() const override
Definition: Indices.cc:18
virtual void latex(std::ostream &) const override
Display the property on the stream.
Definition: Indices.cc:126
std::string set_name
Definition: Indices.hh:23
std::vector< Ex > values
Definition: Indices.hh:27
virtual match_t equals(const property *) const override
Definition: Indices.cc:23
std::string parent_name
Definition: Indices.hh:23
virtual bool parse(Kernel &, std::shared_ptr< Ex >, keyval_t &) override
Definition: Indices.cc:38
void collect_index_values(Ex::iterator ind_values)
Given the right-hand side of a 'values={...}' node, generate a list of all index values in index_valu...
Definition: Indices.cc:153
virtual void validate(const Kernel &, const Ex &) const override
Definition: Indices.cc:142
Definition: Kernel.hh:15
Arguments to properties get parsed into a keyval_t structure.
Definition: Props.hh:68
Something cannot be both a list property and a normal property at the same time, so we can safely inh...
Definition: Props.hh:193
Base class for all properties, handling argument parsing and defining the interface.
Definition: Props.hh:127
match_t
Definition: Props.hh:170
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83