Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] Maxima plugin: typesetting of bound variables

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Maxima plugin: typesetting of bound variables


Chronological Thread 
  • From: "Andrey G. Grozin" <address@hidden>
  • To: François Poulain <address@hidden>
  • Cc: "address@hidden" <address@hidden>
  • Subject: Re: [TeXmacs] Maxima plugin: typesetting of bound variables
  • Date: Sat, 13 Oct 2012 12:07:49 +0700 (NOVT)

On Fri, 12 Oct 2012, François Poulain wrote:
When I type something like '(%i1) powerseries(exp(x), x, 0)' in a maxima
session, I get a result like '(%o1) sum_(i1=0)^∞(x^(i1))/(i1!)'

However, I would have expected 'i_1' in place of 'i1'.

To compare, in a "true" maxima session, the result of
tex(powerseries(exp(x), x, 0)); is
$$\sum_{{\it i_1}=0}^{\infty }{{{x^{{\it i_1}}}\over{{\it i_1}!}}}$$

Do you think this should/could be done in the maxima plugin ?
In the "true" maxima, tex(i1) produces i_1; tex(i12) produces i_{12}; and so on. Also, tex(i[1]) produces i_1, tex(i[12]) produces i_{12}, and so on. So, there is no way to see the difference between i1 and i[1]. And these are two completely different language constructs. Therefore, in the maxima plugin, a special treatment of identifiers of the form <letters><digits> has been eliminated. i1 is just an identifier, like, say, i1j (tex(i1j) produces just i1j). This was done on purpose: an identifier is an identifier, and should look as an identifier. On the other hand, i[1] in the TeXmacs interface produces i_1.

Andrey


Archive powered by MHonArc 2.6.19.

Top of Page