Cadabra
Computer algebra system for field theory problems
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
DisplayMMA.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 
19 
20 class DisplayMMA : public DisplayBase {
21  public:
22  DisplayMMA(const Kernel&, const Ex&, bool use_unicode);
23 
29 
30  void import(Ex&);
31 
32  std::string preparse_import(const std::string&);
33 
34  protected:
36 
37  virtual bool needs_brackets(Ex::iterator it) override;
38 
39  private:
44 
45  void print_multiplier(std::ostream&, Ex::iterator);
46  void print_opening_bracket(std::ostream&, str_node::bracket_t);
47  void print_closing_bracket(std::ostream&, str_node::bracket_t);
48  void print_parent_rel(std::ostream&, str_node::parent_rel_t, bool first);
49  void print_children(std::ostream&, Ex::iterator, int skip=0);
50 
51 
58 
59  virtual void dispatch(std::ostream&, Ex::iterator) override;
60 
66 
67  void print_productlike(std::ostream&, Ex::iterator, const std::string& inbetween);
68  void print_sumlike(std::ostream&, Ex::iterator);
69  void print_fraclike(std::ostream&, Ex::iterator);
70  void print_commalike(std::ostream&, Ex::iterator);
71  void print_arrowlike(std::ostream&, Ex::iterator);
72  void print_powlike(std::ostream&, Ex::iterator);
73  void print_intlike(std::ostream&, Ex::iterator);
74  void print_equalitylike(std::ostream&, Ex::iterator);
75  void print_components(std::ostream&, Ex::iterator);
76  void print_partial(std::ostream& str, Ex::iterator it);
77  void print_matrix(std::ostream& str, Ex::iterator it);
78  void print_other(std::ostream& str, Ex::iterator it);
79 
80  bool children_have_brackets(Ex::iterator ch) const;
81 
88  std::map<std::string, std::string> symmap;
89  std::multimap<std::string, std::string> regex_map;
90 
93  std::map<nset_t::iterator, Ex, nset_it_less> depsyms;
94 };
95 
96 const char *unichar(kunichar c);
97 
98 }
void print_components(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:508
virtual bool needs_brackets(Ex::iterator it) override
Determine if a node needs extra brackets around it.
Definition: DisplayMMA.cc:152
void print_matrix(std::ostream &str, Ex::iterator it)
Definition: DisplayMMA.cc:553
bool use_unicode
Definition: DisplayMMA.hh:35
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:130
void print_powlike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:470
void print_parent_rel(std::ostream &, str_node::parent_rel_t, bool first)
Definition: DisplayMMA.cc:325
std::map< std::string, std::string > symmap
Map from Cadabra symbols to Mathematica symbols.
Definition: DisplayMMA.hh:88
void print_productlike(std::ostream &, Ex::iterator, const std::string &inbetween)
Printing members for various standard constructions, e.g.
Definition: DisplayMMA.cc:400
void print_opening_bracket(std::ostream &, str_node::bracket_t)
Definition: DisplayMMA.cc:301
void print_intlike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:482
Base class for all display classes.
Definition: DisplayBase.hh:18
uint32_t kunichar
Definition: DisplayMMA.hh:9
bool children_have_brackets(Ex::iterator ch) const
Definition: DisplayMMA.cc:573
void print_equalitylike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:497
const char * unichar(kunichar c)
Definition: DisplayTeX.cc:747
Class to display expressions in a format that Mathematica can parse.
Definition: DisplayMMA.hh:20
void print_fraclike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:383
DisplayMMA(const Kernel &, const Ex &, bool use_unicode)
Definition: DisplayMMA.cc:11
void print_sumlike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:444
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: DisplayMMA.hh:93
std::string preparse_import(const std::string &)
Definition: DisplayMMA.cc:582
std::multimap< std::string, std::string > regex_map
Definition: DisplayMMA.hh:89
void print_arrowlike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:374
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
void print_children(std::ostream &, Ex::iterator, int skip=0)
Definition: DisplayMMA.cc:223
Definition: Kernel.hh:15
bracket_t
Definition: Storage.hh:57
void print_partial(std::ostream &str, Ex::iterator it)
Definition: DisplayMMA.cc:528
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: DisplayMMA.cc:338
void print_multiplier(std::ostream &, Ex::iterator)
Output the expression to a mathematica-readable form.
Definition: DisplayMMA.cc:277
void print_commalike(std::ostream &, Ex::iterator)
Definition: DisplayMMA.cc:357
void print_closing_bracket(std::ostream &, str_node::bracket_t)
Definition: DisplayMMA.cc:313
void print_other(std::ostream &str, Ex::iterator it)
Definition: DisplayMMA.cc:177