Re: [Axiom-developer] CATS - Computer Algebra Test Suite

[M. Edward (Ed) Borasky]

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.pdf: this is what it's supposed to look like
test.scm: a Scheme version of the document.

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
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 mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer