blob: 0e7437944f734684519fe8e2f3b4d63566477b40 (
plain) (
tree)
|
|
<!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="/oldstyle.css" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" />
<script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
<meta charset="utf-8" />
</head>
<body>
<h1>TeXmacs Maxima Integrals</h1>
<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="/">Runxi Yu's Website</a></p>
</div>
</body>
</html>
|