5 #include "math_parser.h"
6 #include "support/lstrings.h"
11 latexkeys const wordlist[] =
13 {"setminus", LM_TK_SYM, LM_setminus},
14 {"ldots", LM_TK_DOTS, LM_ldots},
15 {"limits", LM_TK_LIMIT, 1 },
16 {"stackrel", LM_TK_STACK, 0},
17 {"ll", LM_TK_SYM, LM_ll},
18 {"label", LM_TK_LABEL, 0},
19 {"lceil", LM_TK_SYM, LM_lceil},
20 {"sqrt", LM_TK_SQRT, 0},
21 {"times", LM_TK_SYM, LM_times},
22 {"subset", LM_TK_SYM, LM_subset},
23 {"supset", LM_TK_SYM, LM_supset},
24 {"spadesuit", LM_TK_SYM, LM_spadesuit},
25 {"Re", LM_TK_SYM, LM_Re},
26 {"left", LM_TK_LEFT, 0},
27 {"smile", LM_TK_SYM, LM_smile},
28 {"exists", LM_TK_SYM, LM_exists},
29 {"Vert", LM_TK_SYM, LM_Vert},
30 //{"scriptstyle", LM_TK_STY, LM_ST_SCRIPT},
31 {"uplus", LM_TK_SYM, LM_uplus},
32 {"ell", LM_TK_SYM, LM_ell},
33 {"langle", LM_TK_SYM, LM_langle},
34 //{"scriptscriptstyle", LM_TK_STY, LM_ST_SCRIPTSCRIPT},
35 {"zeta", LM_TK_SYM, LM_zeta},
36 {"sigma", LM_TK_SYM, LM_sigma},
37 {"arccos", LM_TK_FUNC, 0},
38 {"sup", LM_TK_FUNCLIM, 0},
39 {"sharp", LM_TK_SYM, LM_sharp},
40 {"sqcup", LM_TK_SYM, LM_sqcup},
41 {"sqcap", LM_TK_SYM, LM_sqcap},
42 {"approx", LM_TK_SYM, LM_approx},
43 {"triangleleft", LM_TK_SYM, LM_triangleleft},
44 {"triangleright", LM_TK_SYM, LM_triangleright},
45 {"tilde", LM_TK_DECORATION, LM_tilde},
46 {"lambda", LM_TK_SYM, LM_lambda},
47 {"emptyset", LM_TK_MACRO, LM_emptyset},
48 {"triangle", LM_TK_SYM, LM_triangle},
49 //{"textstyle", LM_TK_STY, LM_ST_TEXT},
50 {"tau", LM_TK_SYM, LM_tau},
51 {"limsup", LM_TK_FUNCLIM, 0},
52 {"partial", LM_TK_SYM, LM_partial},
53 {"parallel", LM_TK_SYM, LM_parallel},
54 {"infty", LM_TK_SYM, LM_infty},
55 {"kappa", LM_TK_SYM, LM_kappa},
56 {"xi", LM_TK_SYM, LM_xi},
57 {"leftharpoonup", LM_TK_SYM, LM_leftharpoonup},
58 {"theta", LM_TK_SYM, LM_theta},
59 {"Xi", LM_TK_SYM, LM_Xi},
60 {"searrow", LM_TK_SYM, LM_searrow},
61 {"swarrow", LM_TK_SYM, LM_swarrow},
62 {"top", LM_TK_SYM, LM_top},
63 {"Rightarrow", LM_TK_SYM, LM_Rightarrow},
64 {"underline", LM_TK_DECORATION, LM_underline},
65 {"underbrace", LM_TK_DECORATION, LM_underbrace},
66 {"eta", LM_TK_SYM, LM_eta},
67 {"acute", LM_TK_DECORATION, LM_acute},
68 {"angle", LM_TK_SYM, LM_angle},
69 {"exp", LM_TK_FUNC, 0},
70 {"leftarrow", LM_TK_SYM, LM_leftarrow},
71 {"prime", LM_TK_SYM, LM_prime},
72 {"int", LM_TK_BIGSYM, LM_int},
73 {"longleftarrow", LM_TK_SYM, LM_longleftarrow},
74 {"leftrightarrow", LM_TK_SYM, LM_leftrightarrow},
75 {"longrightarrow", LM_TK_SYM, LM_longrightarrow},
76 {"Gamma", LM_TK_SYM, LM_Gamma},
77 {"Pi", LM_TK_SYM, LM_Pi},
78 {"Phi", LM_TK_SYM, LM_Phi},
79 {"Psi", LM_TK_SYM, LM_Psi},
80 {"longleftrightarrow", LM_TK_SYM, LM_longleftrightarrow},
81 {"alpha", LM_TK_SYM, LM_alpha},
82 {"widehat", LM_TK_DECORATION, LM_widehat},
83 {"sin", LM_TK_FUNC, 0},
84 {"asymp", LM_TK_SYM, LM_asymp},
85 {"nolimits", LM_TK_LIMIT, 0 },
86 {"perp", LM_TK_MACRO, LM_perp},
87 {"wedge", LM_TK_SYM, LM_wedge},
88 {"ln", LM_TK_FUNC, 0},
89 {"widetilde", LM_TK_DECORATION, LM_widetilde},
90 {"Omega", LM_TK_SYM, LM_Omega},
91 {"natural", LM_TK_SYM, LM_natural},
92 {"iota", LM_TK_SYM, LM_iota},
93 {"uparrow", LM_TK_SYM, LM_uparrow},
94 {"Sigma", LM_TK_SYM, LM_Sigma},
95 {"pi", LM_TK_SYM, LM_pi},
96 {"phi", LM_TK_SYM, LM_phi},
97 {"psi", LM_TK_SYM, LM_psi},
98 {"updownarrow", LM_TK_SYM, LM_updownarrow},
99 {"star", LM_TK_SYM, LM_star},
100 {"leftharpoondown", LM_TK_SYM, LM_leftharpoondown},
101 {"wp", LM_TK_SYM, LM_wp},
102 {"not", LM_TK_DECORATION, LM_not},
103 {"tan", LM_TK_FUNC, 0},
104 {"Theta", LM_TK_SYM, LM_Theta},
105 {"rceil", LM_TK_SYM, LM_rceil},
106 {"lfloor", LM_TK_SYM, LM_lfloor},
107 {"rightleftharpoons", LM_TK_SYM, LM_rightleftharpoons},
108 {"cos", LM_TK_FUNC, 0},
109 {"sec", LM_TK_FUNC, 0},
110 {"succ", LM_TK_SYM, LM_succ},
111 {"cdots", LM_TK_DOTS, LM_cdots},
112 {"epsilon", LM_TK_SYM, LM_epsilon},
113 {"ker", LM_TK_FUNC, 0},
114 {"nu", LM_TK_SYM, LM_nu},
115 {"Delta", LM_TK_SYM, LM_Delta},
116 {"forall", LM_TK_SYM, LM_forall},
117 {"liminf", LM_TK_FUNCLIM, 0},
118 {"Uparrow", LM_TK_SYM, LM_Uparrow},
119 {"upsilon", LM_TK_SYM, LM_upsilon},
120 {"right", LM_TK_RIGHT, 0},
121 {"Updownarrow", LM_TK_SYM, LM_Updownarrow},
122 {"Pr", LM_TK_FUNCLIM, 0},
123 {"nabla", LM_TK_SYM, LM_nabla},
124 {"arcsin", LM_TK_FUNC, 0},
125 {"arctan", LM_TK_FUNC, 0},
126 {"flat", LM_TK_SYM, LM_flat},
127 {"check", LM_TK_DECORATION, LM_check},
128 {"rangle", LM_TK_SYM, LM_rangle},
129 {"cot", LM_TK_FUNC, 0},
130 {"cdot", LM_TK_SYM, LM_cdot},
131 {"clubsuit", LM_TK_SYM, LM_clubsuit},
132 {"in", LM_TK_SYM, LM_in},
133 {"ni", LM_TK_SYM, LM_ni},
134 {"Downarrow", LM_TK_SYM, LM_Downarrow},
135 {"Upsilon", LM_TK_SYM, LM_Upsilon},
136 {"sim", LM_TK_SYM, LM_sim},
137 {"sum", LM_TK_BIGSYM, LM_sum},
138 {"models", LM_TK_SYM, LM_models},
139 {"nearrow", LM_TK_SYM, LM_nearrow},
140 {"nwarrow", LM_TK_SYM, LM_nwarrow},
141 {"max", LM_TK_FUNCLIM, 0},
142 {"Im", LM_TK_SYM, LM_Im},
143 {"lim", LM_TK_FUNCLIM, 0},
144 {"rightharpoonup", LM_TK_SYM, LM_rightharpoonup},
145 {"mathcal", LM_TK_FONT, LM_TC_CAL},
146 {"cap", LM_TK_SYM, LM_cap},
147 {"cup", LM_TK_SYM, LM_cup},
148 {"prec", LM_TK_SYM, LM_prec},
149 {"mathnormal", LM_TK_FONT, LM_TC_VAR},
150 {"wr", LM_TK_SYM, LM_wr},
151 {"inf", LM_TK_FUNCLIM, 0},
152 {"bigoplus", LM_TK_BIGSYM, LM_oplus},
153 {"biguplus", LM_TK_BIGSYM, LM_biguplus},
154 {"bigotimes", LM_TK_BIGSYM, LM_otimes},
155 {"rightarrow", LM_TK_SYM, LM_rightarrow},
156 {"mathit", LM_TK_FONT, LM_TC_IT},
157 {"textrm", LM_TK_FONT, LM_TC_TEXTRM},
158 {"mathtt", LM_TK_FONT, LM_TC_TT},
159 {"chi", LM_TK_SYM, LM_chi},
160 {"simeq", LM_TK_SYM, LM_simeq},
161 {"succeq", LM_TK_SYM, LM_succeq},
162 {"notin", LM_TK_MACRO, LM_notin},
163 {"subseteq", LM_TK_SYM, LM_subseteq},
164 {"supseteq", LM_TK_SYM, LM_supseteq},
165 {"sqsubseteq", LM_TK_SYM, LM_sqsubseteq},
166 {"sqsupseteq", LM_TK_SYM, LM_sqsupseteq},
167 {"leq", LM_TK_SYM, LM_leq},
168 {"surd", LM_TK_SYM, LM_surd},
169 {"ddots", LM_TK_DOTS, LM_ddots},
170 {"mu", LM_TK_SYM, LM_mu},
171 {"bot", LM_TK_SYM, LM_bot},
172 {"bullet", LM_TK_SYM, LM_bullet},
173 {"bigodot", LM_TK_BIGSYM, LM_bigodot},
174 {"sinh", LM_TK_FUNC, 0},
175 {"jmath", LM_TK_SYM, LM_jmath},
176 {"mp", LM_TK_SYM, LM_mp},
177 {"pm", LM_TK_SYM, LM_pm},
178 {"nonumber", LM_TK_NONUM, 0},
179 {"breve", LM_TK_DECORATION, LM_breve},
180 {"bigvee", LM_TK_BIGSYM, LM_vee},
181 {"bowtie", LM_TK_SYM, LM_bowtie},
182 {"bigwedge", LM_TK_BIGSYM, LM_wedge},
183 {"frown", LM_TK_SYM, LM_frown},
184 {"rightharpoondown", LM_TK_SYM, LM_rightharpoondown},
185 {"det", LM_TK_FUNCLIM, 0},
186 {"dot", LM_TK_DECORATION, LM_dot},
187 {"ddot", LM_TK_DECORATION, LM_ddot},
188 {"lg", LM_TK_FUNC, 0},
189 {"log", LM_TK_FUNC, 0},
190 {"oplus", LM_TK_SYM, LM_oplus},
191 {"ominus", LM_TK_SYM, LM_ominus},
192 {"otimes", LM_TK_SYM, LM_otimes},
193 {"beta", LM_TK_SYM, LM_beta},
194 {"diamondsuit", LM_TK_SYM, LM_diamondsuit},
195 {"rfloor", LM_TK_SYM, LM_rfloor},
196 {"end", LM_TK_END, 0},
197 {"hat", LM_TK_DECORATION, LM_hat},
198 {"tanh", LM_TK_FUNC, 0},
199 {"vdots", LM_TK_DOTS, LM_vdots},
200 {"bigcap", LM_TK_BIGSYM, LM_cap},
201 {"bigcup", LM_TK_BIGSYM, LM_cup},
202 {"bigsqcup", LM_TK_BIGSYM, LM_bigsqcup},
203 {"heartsuit", LM_TK_SYM, LM_heartsuit},
204 //{"displaystyle", LM_TK_STY, LM_ST_DISPLAY},
205 {"longmapsto", LM_TK_SYM, LM_longmapsto},
206 {"bigtriangleup", LM_TK_SYM, LM_bigtriangleup},
207 {"preceq", LM_TK_SYM, LM_preceq},
208 {"delta", LM_TK_SYM, LM_delta},
209 {"odot", LM_TK_SYM, LM_odot},
210 {"oint", LM_TK_BIGSYM, LM_oint},
211 {"grave", LM_TK_DECORATION, LM_grave},
212 {"pmod", LM_TK_PMOD, 0},
213 {"prod", LM_TK_BIGSYM, LM_prod},
214 {"frac", LM_TK_FRAC, 0},
215 {"csc", LM_TK_FUNC, 0},
216 {"circ", LM_TK_SYM, LM_circ},
217 {"aleph", LM_TK_SYM, LM_aleph},
218 {"min", LM_TK_FUNCLIM, 0},
219 {"overline", LM_TK_DECORATION, LM_overline},
220 {"arg", LM_TK_FUNC, 0},
221 {"overbrace", LM_TK_DECORATION, LM_overbrace},
222 {"amalg", LM_TK_SYM, LM_amalg},
223 {"gamma", LM_TK_SYM, LM_gamma},
224 {"vee", LM_TK_SYM, LM_vee},
225 {"equiv", LM_TK_SYM, LM_equiv},
226 {"omega", LM_TK_SYM, LM_omega},
227 {"downarrow", LM_TK_SYM, LM_downarrow},
228 {"imath", LM_TK_SYM, LM_imath},
229 {"propto", LM_TK_SYM, LM_propto},
230 {"begin", LM_TK_BEGIN, 0},
231 {"Lambda", LM_TK_SYM, LM_Lambda},
232 {"varsigma", LM_TK_SYM, LM_varsigma},
233 {"vartheta", LM_TK_SYM, LM_vartheta},
234 {"neq", LM_TK_SYM, LM_neq},
235 {"hookleftarrow", LM_TK_SYM, LM_hookleftarrow},
236 {"hookrightarrow", LM_TK_SYM, LM_hookrightarrow},
237 {"bigtriangledown", LM_TK_SYM, LM_bigtriangledown},
238 {"mathbf", LM_TK_FONT, LM_TC_BF},
239 {"mathsf", LM_TK_FONT, LM_TC_SF},
240 {"bar", LM_TK_DECORATION, LM_bar},
241 {"varpi", LM_TK_SYM, LM_varpi},
242 {"varphi", LM_TK_SYM, LM_varphi},
243 {"newcommand", LM_TK_NEWCOMMAND, 0 },
244 {"overleftarrow", LM_TK_DECORATION, LM_overleftarrow},
245 {"overrightarrow", LM_TK_DECORATION, LM_overightarrow},
246 {"Leftarrow", LM_TK_SYM, LM_Leftarrow},
247 {"Longleftarrow", LM_TK_SYM, LM_Longleftarrow},
248 {"Leftrightarrow", LM_TK_SYM, LM_Leftrightarrow},
249 {"Longrightarrow", LM_TK_SYM, LM_Longrightarrow},
250 {"neg", LM_TK_SYM, LM_neg},
251 {"bigcirc", LM_TK_SYM, LM_bigcirc},
252 {"Longleftrightarrow", LM_TK_SYM, LM_Longleftrightarrow},
253 {"dagger", LM_TK_SYM, LM_dagger},
254 {"ddagger", LM_TK_SYM, LM_ddagger},
255 {"hbar", LM_TK_SYM, LM_hbar},
256 {"coprod", LM_TK_BIGSYM, LM_coprod},
257 {"mathrm", LM_TK_FONT, LM_TC_RM},
258 {"varepsilon", LM_TK_SYM, LM_varepsilon},
259 {"cosh", LM_TK_FUNC, 0},
260 {"coth", LM_TK_FUNC, 0},
261 {"rho", LM_TK_SYM, LM_rho},
262 {"cong", LM_TK_SYM, LM_cong},
263 {"vec", LM_TK_DECORATION, LM_vec},
264 {"dim", LM_TK_FUNC, 0},
265 {"mid", LM_TK_SYM, LM_mid},
266 {"hom", LM_TK_FUNC, 0},
267 {"bmod", LM_TK_FUNC, 0},
268 {"quad", LM_TK_SPACE, LM_quad},
269 {"doteq", LM_TK_SYM, LM_doteq},
270 {"qquad", LM_TK_SPACE, LM_qquad},
271 {"mapsto", LM_TK_SYM, LM_mapsto},
272 {"backslash", LM_TK_SYM, LM_backslash},
273 {"diamond", LM_TK_SYM, LM_diamond},
274 {"geq", LM_TK_SYM, LM_geq},
275 {"deg", LM_TK_FUNC, 0},
276 {"gcd", LM_TK_FUNCLIM, 0},
277 {"gg", LM_TK_SYM, LM_gg},
278 {"div", LM_TK_SYM, LM_div},
279 {"dashv", LM_TK_SYM, LM_dashv},
280 {"oslash", LM_TK_SYM, LM_oslash},
281 {"vdash", LM_TK_SYM, LM_vdash},
289 symbolindex(unsigned int i, short t) : id(i), token(t)
292 bool operator<(symbolindex const & s) const
294 return (id < s.id) || (id == s.id && token < s.token);
300 std::map<symbolindex, int> LatexkeyById;
301 std::map<string, int> LatexkeyByName;
304 // helper structure to initialize the maps on startup:
307 int const n = sizeof(wordlist)/sizeof(wordlist[0]);
308 for (latexkeys const * it = wordlist; it != wordlist + n; ++it) {
309 if (LatexkeyByName.find(it->name) != LatexkeyByName.end()) {
310 std::cerr << "math_hash.C: Bug: Duplicate entry: "
311 << it->name << std::endl;
313 LatexkeyByName[it->name] = it - wordlist;
315 LatexkeyById.find(symbolindex(it->id, it->token)) !=
316 LatexkeyById.end()) {
317 std::cerr << "math_hash.C: Bug: Duplicate entry: "
318 << it->name << " Id: "
319 << it->id << " token: " << it->token
322 LatexkeyById[symbolindex(it->id, it->token)] = it - wordlist;
327 // the "Initializer": Its default constructor is executed on loading and
334 latexkeys const * in_word_set(string const & str)
336 std::map<string, int>::const_iterator pos = LatexkeyByName.find(str);
337 return pos == LatexkeyByName.end() ? 0 : &wordlist[pos->second];
341 latexkeys const * lm_get_key_by_id(unsigned int id, short tc)
343 std::map<symbolindex, int>::const_iterator pos
344 = LatexkeyById.find(symbolindex(id, tc));
345 return pos == LatexkeyById.end() ? 0 : &wordlist[pos->second];