Cadabra
Computer algebra system for field theory problems
DisplaySympy.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
4 #include "DisplayBase.hh"
5 #include <ostream>
6 #include <map>
7 #include <set>
8 
9 typedef uint32_t kunichar;
10 
11 namespace cadabra {
12 
20 
21  class DisplaySympy : public DisplayBase {
22  public:
23  DisplaySympy(const Kernel&, const Ex&);
24 
30 
31  void import(Ex&);
32 
33  std::string preparse_import(const std::string&);
34 
35  protected:
36  virtual bool needs_brackets(Ex::iterator it) override;
37 
38  private:
43 
44  void print_multiplier(std::ostream&, Ex::iterator);
45  void print_opening_bracket(std::ostream&, str_node::bracket_t);
46  void print_closing_bracket(std::ostream&, str_node::bracket_t);
47  void print_parent_rel(std::ostream&, str_node::parent_rel_t, bool first);
48  void print_children(std::ostream&, Ex::iterator, int skip=0);
49 
50 
57 
58  virtual void dispatch(std::ostream&, Ex::iterator) override;
59 
65 
66  void print_productlike(std::ostream&, Ex::iterator, const std::string& inbetween);
67  void print_sumlike(std::ostream&, Ex::iterator);
68  void print_fraclike(std::ostream&, Ex::iterator);
69  void print_commalike(std::ostream&, Ex::iterator);
70  void print_arrowlike(std::ostream&, Ex::iterator);
71  void print_powlike(std::ostream&, Ex::iterator);
72  void print_intlike(std::ostream&, Ex::iterator);
73  void print_equalitylike(std::ostream&, Ex::iterator);
74  void print_components(std::ostream&, Ex::iterator);
75  void print_partial(std::ostream& str, Ex::iterator it);
76  void print_matrix(std::ostream& str, Ex::iterator it);
77  void print_other(std::ostream& str, Ex::iterator it);
78 
79  bool children_have_brackets(Ex::iterator ch) const;
80 
82  std::map<std::string, std::string> symmap;
83  std::multimap<std::string, std::string> regex_map;
84 
87  std::map<nset_t::iterator, Ex, nset_it_less> depsyms;
88  };
89 
90  const char *unichar(kunichar c);
91 
92  }
cadabra::DisplaySympy::children_have_brackets
bool children_have_brackets(Ex::iterator ch) const
Definition: DisplaySympy.cc:576
cadabra::DisplaySympy::print_commalike
void print_commalike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:339
cadabra::DisplaySympy::print_intlike
void print_intlike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:472
DisplayBase.hh
cadabra::Kernel
Definition: Kernel.hh:14
cadabra::DisplaySympy::regex_map
std::multimap< std::string, std::string > regex_map
Definition: DisplaySympy.hh:83
cadabra::DisplaySympy::print_equalitylike
void print_equalitylike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:488
cadabra::DisplaySympy::print_other
void print_other(std::ostream &str, Ex::iterator it)
Definition: DisplaySympy.cc:129
cadabra::DisplaySympy::symmap
std::map< std::string, std::string > symmap
Map from Cadabra symbols to Sympy symbols.
Definition: DisplaySympy.hh:82
cadabra::DisplaySympy::print_multiplier
void print_multiplier(std::ostream &, Ex::iterator)
Output the expression to a sympy-readable form.
Definition: DisplaySympy.cc:226
cadabra::DisplaySympy::print_opening_bracket
void print_opening_bracket(std::ostream &, str_node::bracket_t)
Definition: DisplaySympy.cc:250
cadabra::DisplaySympy::print_partial
void print_partial(std::ostream &str, Ex::iterator it)
Definition: DisplaySympy.cc:521
cadabra::DisplaySympy::print_productlike
void print_productlike(std::ostream &, Ex::iterator, const std::string &inbetween)
Printing members for various standard constructions, e.g.
Definition: DisplaySympy.cc:384
cadabra::DisplaySympy::print_sumlike
void print_sumlike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:428
cadabra::DisplaySympy::preparse_import
std::string preparse_import(const std::string &)
Definition: DisplaySympy.cc:585
cadabra::unichar
const char * unichar(kunichar c)
Definition: DisplayTeX.cc:860
kunichar
uint32_t kunichar
Definition: DisplayMMA.hh:9
cadabra::DisplaySympy::DisplaySympy
DisplaySympy(const Kernel &, const Ex &)
Definition: DisplaySympy.cc:14
cadabra::DisplaySympy::print_powlike
void print_powlike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:454
cadabra::DisplaySympy::print_arrowlike
void print_arrowlike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:356
cadabra::DisplaySympy::needs_brackets
virtual bool needs_brackets(Ex::iterator it) override
Determine if a node needs extra brackets around it.
Definition: DisplaySympy.cc:104
cadabra::DisplayBase
Definition: DisplayBase.hh:18
cadabra::Ex
Definition: Storage.hh:140
cadabra::DisplaySympy::dispatch
virtual void dispatch(std::ostream &, Ex::iterator) override
For every object encountered, dispatch will figure out the most appropriate way to convert it into a ...
Definition: DisplaySympy.cc:320
cadabra::DisplaySympy::print_matrix
void print_matrix(std::ostream &str, Ex::iterator it)
Definition: DisplaySympy.cc:556
cadabra::DisplaySympy::print_components
void print_components(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:501
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:80
cadabra::str_node::bracket_t
bracket_t
Definition: Storage.hh:57
cadabra::DisplaySympy::print_fraclike
void print_fraclike(std::ostream &, Ex::iterator)
Definition: DisplaySympy.cc:367
cadabra::DisplaySympy::print_closing_bracket
void print_closing_bracket(std::ostream &, str_node::bracket_t)
Definition: DisplaySympy.cc:273
kunichar
uint32_t kunichar
Definition: DisplaySympy.hh:9
cadabra::DisplaySympy::print_parent_rel
void print_parent_rel(std::ostream &, str_node::parent_rel_t, bool first)
Definition: DisplaySympy.cc:296
cadabra::DisplaySympy
Definition: DisplaySympy.hh:21
cadabra::DisplaySympy::depsyms
std::map< nset_t::iterator, Ex, nset_it_less > depsyms
Map from symbols which have had dependencies added to an expression containing these dependencies.
Definition: DisplaySympy.hh:87
cadabra::str_node::parent_rel_t
parent_rel_t
Child nodes are related to their parent node by a so-called parent relation, which can be one of thes...
Definition: Storage.hh:61
cadabra::DisplaySympy::print_children
void print_children(std::ostream &, Ex::iterator, int skip=0)
Definition: DisplaySympy.cc:169