src/math_printer.cpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : math_printer.cpp
* DESCRIPTION: Printing math expressions for TeXmacs
* COPYRIGHT  : (C) 2007  Gregoire Lecerf
*******************************************************************************
* This software falls under the GNU general public license and comes WITHOUT
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
* If you don't have this file, write to the Free Software Foundation, Inc.,
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************/

#include <basix/string.hpp>
#include <basix/table.hpp>
#include <basix/literal.hpp>
#include <basix/compound.hpp>

namespace mmx {

#define SET_OPNAME(var, val) \
  t [literal_to_string (var)] = val;

static table<string, string, exact_eq_table> 
math_symbol_table () {
  table<string, string, exact_eq_table> t;

  SET_OPNAME (GEN_ACCESS, "_"); // or "%sqaccess"
  SET_OPNAME (GEN_AND, "/\\");
  SET_OPNAME (GEN_CATALAN, "%mathcatalan");
  SET_OPNAME (GEN_COMPOSE, "%circ");
  SET_OPNAME (GEN_APPEND, "%join");
  SET_OPNAME (GEN_DELTA, "%delta");
  SET_OPNAME (GEN_DERIVATIVE, "D");
  SET_OPNAME (GEN_DOT, "%dotaccess");
  SET_OPNAME (GEN_DIV, "div");
  SET_OPNAME (GEN_E, "%mathe");
  SET_OPNAME (GEN_EQUAL, "=");
  SET_OPNAME (GEN_EQUIV, "<=>");
  SET_OPNAME (GEN_EULER, "%matheuler");
  SET_OPNAME (GEN_FACTORIAL, "factorial");
  SET_OPNAME (GEN_GTR, ">");
  SET_OPNAME (GEN_GTREQ, ">=");
  SET_OPNAME (GEN_GTRGTR, ">>");
  SET_OPNAME (GEN_I, "%mathi");
  SET_OPNAME (GEN_IMPLIES, "=>");
  SET_OPNAME (GEN_IN, "%in");
  SET_OPNAME (GEN_INFINITY, "%infty");
  SET_OPNAME (GEN_INTO, "->");
  SET_OPNAME (GEN_LESS, "<");
  SET_OPNAME (GEN_LESSEQ, "<=");
  SET_OPNAME (GEN_LESSLESS, "<<");
  SET_OPNAME (GEN_MAPSTO, "#{:->}#");
  SET_OPNAME (GEN_MINUS, "-");
  SET_OPNAME (GEN_MOD, "mod");
  SET_OPNAME (GEN_NOT, "!");
  SET_OPNAME (GEN_OR, "\\/");
  SET_OPNAME (GEN_OVER, "/");
  SET_OPNAME (GEN_PARTIAL, "%partial");
  SET_OPNAME (GEN_PI, "%mathpi");
  SET_OPNAME (GEN_PLUS, "+&");
  SET_OPNAME (GEN_POWER, "^");
  SET_OPNAME (GEN_PRIME, "%prime");
  SET_OPNAME (GEN_RANGE, "%ldots"); // problem with iterator flattening
  SET_OPNAME (GEN_TO, "to");
  SET_OPNAME (GEN_DOWNTO, "downto");
  SET_OPNAME (GEN_ROW, "row");
  SET_OPNAME (GEN_SEQAND, "and");
  SET_OPNAME (GEN_SEQOR, "or");
  SET_OPNAME (GEN_SIZE, "%card");
  SET_OPNAME (GEN_SQTUPLE, "list");
  SET_OPNAME (GEN_TIMES, "*&");
  SET_OPNAME (GEN_VARTYPE, "%colons");
  SET_OPNAME (GEN_TRANSTYPE, "#{:>}#");
  SET_OPNAME (GEN_VARTRANSTYPE, "#{::>}#");
  SET_OPNAME (GEN_TUPLE, "tuple");
  //SET_OPNAME (GEN_TYPE, "#{:}#");
  SET_OPNAME (GEN_UNEQUAL, "!=");
  SET_OPNAME (GEN_VWHERE, "|");
  SET_OPNAME (GEN_WHERE, "||");
  SET_OPNAME (GEN_XOR, "%veebar");

  t["alpha"] = "%alpha";
  t["beta"] = "%beta";
  t["gamma"] = "%gamma";
  t["delta"] = "%delta";
  t["epsilon"] = "%varepsilon";
  t["zeta"] = "%zeta";
  t["eta"] = "%eta";
  t["theta"] = "%theta";
  t["iota"] = "%iota";
  t["kappa"] = "%kappa";
  t["lambda"] = "%lambda";
  t["mu"] = "%mu";
  t["nu"] = "%nu";
  t["xi"] = "%xi";
  t["omicron"] = "%omicron";
  t["pi"] = "%pi";
  t["rho"] = "%rho";
  t["sigma"] = "%sigma";
  t["tau"] = "%tau";
  t["upsilon"] = "%upsilon";
  t["phi"] = "%varphi";
  t["chi"] = "%chi";
  t["psi"] = "%psi";
  t["omega"] = "%omega";

  t["Alpha"] = "%Alpha";
  t["Beta"] = "%Beta";
  t["Gamma"] = "%Gamma";
  t["Delta"] = "%Delta";
  t["Epsilon"] = "%Epsilon";
  t["Zeta"] = "%Zeta";
  t["Eta"] = "%Eta";
  t["Theta"] = "%Theta";
  t["Iota"] = "%Iota";
  t["Kappa"] = "%Kappa";
  t["Lambda"] = "%Lambda";
  t["Mu"] = "%Mu";
  t["Nu"] = "%Nu";
  t["Xi"] = "%Xi";
  t["Omicron"] = "%Omicron";
  t["Pi"] = "%Pi";
  t["Rho"] = "%Rho";
  t["Sigma"] = "%Sigma";
  t["Tau"] = "%Tau";
  t["Upsilon"] = "%Upsilon";
  t["Phi"] = "%Phi";
  t["Chi"] = "%Chi";
  t["Psi"] = "%Psi";
  t["Omega"] = "%Omega";
  return t;
}

static void
as_math (string& out, const generic& g) {
  static table<string, string, exact_eq_table> t (math_symbol_table ());
  if (is<literal> (g)) {
    string tmp;
    string s (literal_to_string (g));
    if (t->get (s, tmp))
      out << tmp;
    else if (N(s) > 0 && s[0]>='0' && s[0] <= '9')
      out << "\"" << s << "\"";
    else
      out << s;
  }
  else if (is<compound> (g)) {
    nat i, n= N (g);
    out << "(";
    if (n>0) {
      if (exact_eq (g[0], GEN_SQTUPLE) && n>1 &&
          is<compound> (g[1]) && exact_eq (g[1][0], GEN_ROW))
        out << "matrix";
      else as_math (out, g[0]);
    }
    for (i=1; i<n; i++) {
      out << " ";
      as_math (out, g[i]);
    }
    out << ")";
  }
  else {
    generic f= as_generic (flatten (g));
    as_math (out, f);
  }
}

string
as_math (const generic& g) {
  string out;
  as_math (out, g);
  return out;
}

} // namespace mmx

---