[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] CATS - Computer Algebra Test Suite
From: |
M. Edward (Ed) Borasky |
Subject: |
Re: [Axiom-developer] CATS - Computer Algebra Test Suite |
Date: |
Sun, 14 Oct 2007 23:01:41 -0700 |
User-agent: |
Thunderbird 2.0.0.6 (X11/20070728) |
root wrote:
Excellent. I'll download the latest TeXmacs and try it. -- Tim
OK ... here's some sample output. I started up TeXmacs, went into the
menu Edit -> Preferences -> Converters -> TeXmacs > Html -> Use MathML.
Then I did an Insert -> Session -> Axiom. That starts up Axiom in the
background. You type Axiom input into the document and Axiom responds
underneath -- essentially you get a typeset dialog.
The attached files are the results in several formats:
test.tm: native TeXmacs document format
test.tex: LaTeX output
test.xhtml: this is supposed to be MathML but I haven't been able to get
Firefox to render it -- it's whining about fonts, etc.
test.pdf: this is what it's supposed to look like
test.scm: a Scheme version of the document.
test.pdf
Description: Adobe PDF document
(document (TeXmacs "1.0.6") (style (tuple "generic" "axiom")) (body (document
(with "prog-language" "axiom" "prog-session" "default" (session (document
(input (concat (with "color" "red" (concat (with "mode" "math" "<rightarrow>")
" ")) "") (document "sqrt(5)")) (output (document (concat (with "mode" "math"
"math-display" "true" (concat (sqrt "5") (leqno) "(1)")) "") (concat (axiomtype
"AlgebraicNumber ") ""))) (input (concat (with "color" "red" (concat (with
"mode" "math" "<rightarrow>") " ")) "") (document "D(sqrt(x),x)")) (output
(document (concat (with "mode" "math" "math-display" "true" (concat (frac "1"
(concat "2" (sqrt "x"))) (leqno) "(2)")) "") (concat (axiomtype "Expression
Integer ") ""))) (input (concat (with "color" "red" (concat (with "mode" "math"
"<rightarrow>") " ")) "") (document ""))))))))
\documentclass{letter}
\usepackage{color}
%%%%%%%%%% Start TeXmacs macros
\definecolor{grey}{rgb}{0.75,0.75,0.75}
\definecolor{orange}{rgb}{1.0,0.5,0.5}
\definecolor{brown}{rgb}{0.5,0.25,0.0}
\definecolor{pink}{rgb}{1.0,0.5,0.5}
%%%%%%%%%% End TeXmacs macros
\begin{document}
{\color{red}\ttfamily{{\color{red} $\rightarrow$ }}}{\color{blue}
\verb|sqrt(5)|}
{\ttfamily{$\sqrt{5} \hspace*{\fill} (1)$
{\hspace*{\fill}}{\color{brown} Type: AlgebraicNumber }}}
{\color{red}\ttfamily{{\color{red} $\rightarrow$ }}}{\color{blue}
\verb|D(sqrt(x),x)|}
{\ttfamily{$\frac{1}{2 \sqrt{x}} \hspace*{\fill} (2)$
{\hspace*{\fill}}{\color{brown} Type: Expression Integer }}}
{\color{red}\ttfamily{{\color{red} $\rightarrow$ }}}{\color{blue}\verb||}
\end{document}
<TeXmacs|1.0.6>
<style|<tuple|generic|axiom>>
<\body>
<with|prog-language|axiom|prog-session|default|<\session>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
sqrt(5)
</input>
<\output>
<with|mode|math|math-display|true|<sqrt|5><leqno>(1)>
<axiomtype|AlgebraicNumber >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
D(sqrt(x),x)
</input>
<\output>
<with|mode|math|math-display|true|<frac|1|2<sqrt|x>><leqno>(2)>
<axiomtype|Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
\;
</input>
</session>>
</body>
test.xhtml
Description: application/xhtml
- [Axiom-developer] new hyperdoc changes -- xhtml jenks book, daly, 2007/10/13
- Re: [Axiom-developer] CATS - Computer Algebra Test Suite, Arthur Ralfs, 2007/10/15
- Re: [Axiom-developer] CATS - Computer Algebra Test Suite, Martin Rubey, 2007/10/15
- Message not available
- Message not available
- Message not available
- Message not available
- Re: HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite, Arthur Ralfs, 2007/10/15
- Re: HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite, Ralf Hemmecke, 2007/10/15
- Re: HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite, root, 2007/10/15
- Re: HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite, Martin Rubey, 2007/10/15
- Re: HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite, root, 2007/10/15
- Re: [Axiom-developer] CATS - Computer Algebra Test Suite, root, 2007/10/15
- HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite, Martin Rubey, 2007/10/15