blob: 7df36543696bb73af698c77cee8f1a1e71015e2f (
plain) (
blame)
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
75
76
77
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en">
<head>
<title>TeXmacs Maxima Integrals</title>
<link rel="stylesheet" href="/style.css" />
<link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" />
<script id="MathJax-script" async src="https://static.andrewyu.org/mathjax/tex-svg.js"></script>
<meta charset="utf-8" />
</head>
<body>
<h1>TeXmacs Maxima Integrals</h1>
<p>Article ID: 18</p>
<p>
I've been trying to get <a href="https://www.texmacs.org/">TeXmacs</a> with its <a href="https://maxima.sourceforge.io/">Maxima</a> <a href="https://www.texmacs.org/tmweb/documents/tutorials/maxima-tutorial/maxima-tutorial.en.html">plugin</a> to work.
</p>
<p>
Enabling the ``mathematical input'' mode in its interactive sessions I can use TeXmacs as a nice computer algebra system. However, an issue arises when I use integration.
</p>
<p>
If I enter \(\displaystyle\int x\,\mathrm{d}\,x\) with ``<code>\int <enter>x d<tab><tab>x</code>'' (spaces here are actually typed in while the ``<code><tab></code>''s and ``<code><enter></code>''s are their respective keys), I get this idiosyncratic error:
</p>
<pre>incorrect syntax: 1 is not an infix operator
integrate( x 1,
^</pre>
<p>
This seems to be a bug when TeXmacs is translating things into Maxima. Just replace the ``<code><tab></code>'' between the integrand and the ``\(\mathrm{d}\)'' with a multiplication operator entered by ``<code>*</code>''. For example, <code>\int <enter>x*d<tab><tab>x</code> yields the correct result of \(\displaystyle\frac{x^2}{2}\) rather than the nonsensical error.
</p>
<p>
For reference, the source code of a demonstration document is included below in Scheme and XML-like (?) formats.
</p>
<pre>(document (TeXmacs "2.1.1") (style (tuple "generic" "maxima")) (body (document (session "maxima" "default" (document (unfolded-io-math (document (with "color" "red" (concat "(" (with "math-font-family" "rm" "%i") "8) "))) (document (concat (big "int") " x <mathd> x")) (document "" "incorrect syntax: 1 is not an infix operator" "integrate( x 1," " ^")) (unfolded-io-math (document (with "color" "red" (concat "(" (with "math-font-family" "rm" "%i") "8) "))) (document (concat (big "int") "x*<mathd> x")) (document "" (concat " " (math (with "math-display" "true" (concat (text (with "font-family" "tt" "color" "red" (concat "(" (with "math-font-family" "rm" "%o8") ") "))) (frac (concat "x" (rsup "2")) "2"))))))))))) (initial (collection (associate "page-medium" "paper") (associate "preamble" "true") (associate "prog-scripts" "maxima"))))</pre>
<pre><TeXmacs|2.1.1>
<style|<tuple|generic|maxima>>
<\body>
<\session|maxima|default>
<\unfolded-io-math>
<with|color|red|(<with|math-font-family|rm|%i>8) >
<|unfolded-io-math>
<big|int> x \<mathd\> x
<|unfolded-io-math>
\;
incorrect syntax: 1 is not an infix operator
integrate( x 1,
\ \ \ \ \ \ \ \ \ \ \ \ \ ^
</unfolded-io-math>
<\unfolded-io-math>
<with|color|red|(<with|math-font-family|rm|%i>8) >
<|unfolded-io-math>
<big|int>x*\<mathd\> x
<|unfolded-io-math>
\;
\ <math|<with|math-display|true|<text|<with|font-family|tt|color|red|(<with|math-font-family|rm|%o8>)
>><frac|x<rsup|2>|2>>>
</unfolded-io-math>
</session>
</body>
<\initial>
<\collection>
<associate|page-medium|paper>
<associate|preamble|false>
<associate|prog-scripts|maxima>
</collection>
</initial></pre>
<div id="footer">
<hr />
<p><a href="/">Andrew Yu's Website</a></p>
</div>
</body>
</html>
|