1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
#pragma once
#include "Props.hh"
#include "Storage.hh"
#include "DisplayBase.hh"
#include <ostream>
#include <map>
#include <string>
typedef uint32_t kunichar;
namespace cadabra {
/// \ingroup display
///
/// Class to display expressions to the terminal. This is used in the
/// PythonCdb bridge to provide 'str' type python printing for Ex
/// objects. The cadabra2 command line application uses this class for
/// all its output. This class does not necessarily produce output which
/// is readable by sympy; for that, use the DisplaySympy class (as an
/// example, partial derivatives will display using a LaTeX notation using
/// the present class, but be printed as 'sympy.diff' by the DisplaySympy
/// class).
class DisplayTerminal : public DisplayBase {
public:
DisplayTerminal(const Kernel&, const Ex&, bool use_unicode = true);
protected:
bool use_unicode;
virtual void dispatch(std::ostream&, Ex::iterator) override;
virtual bool needs_brackets(Ex::iterator it) override;
private:
void print_multiplier(std::ostream&, Ex::iterator, int mult=1);
void print_opening_bracket(std::ostream&, str_node::bracket_t, str_node::parent_rel_t);
void print_closing_bracket(std::ostream&, str_node::bracket_t, str_node::parent_rel_t);
void print_parent_rel(std::ostream&, str_node::parent_rel_t, bool first);
void print_children(std::ostream&, Ex::iterator, int skip=0);
int bracket_level=0;
/// Printing members for various standard constructions,
/// e.g. print as a list, or as a decorated symbol with
/// super/subscripts etc. The names reflect the structure of the
/// output, not necessarily the meaning or name of the object
/// that is being printed.
void print_productlike(std::ostream&, Ex::iterator, const std::string& inbetween);
void print_sumlike(std::ostream&, Ex::iterator);
void print_fraclike(std::ostream&, Ex::iterator);
void print_commalike(std::ostream&, Ex::iterator);
void print_arrowlike(std::ostream&, Ex::iterator);
void print_dot(std::ostream&, Ex::iterator);
void print_powlike(std::ostream&, Ex::iterator);
void print_intlike(std::ostream&, Ex::iterator);
void print_conditional(std::ostream&, Ex::iterator);
void print_relation(std::ostream&, Ex::iterator);
void print_equalitylike(std::ostream&, Ex::iterator);
void print_commutator(std::ostream& str, Ex::iterator it, bool comm);
void print_components(std::ostream&, Ex::iterator);
void print_dots(std::ostream&, Ex::iterator);
void print_other(std::ostream&, Ex::iterator);
bool children_have_brackets(Ex::iterator ch) const;
std::map<std::string, std::string> symmap, greekmap;
};
const char *unichar(kunichar c);
}
|
