mailing-list for TeXmacs Users

Text archives Help


Texmacs and Axiom


Chronological Thread 
  • From: Ralf HEMMECKE <address@hidden>
  • To: Texmacs-Users <address@hidden>
  • Subject: Texmacs and Axiom
  • Date: Tue, 17 Feb 2004 17:54:02 +0100

I am using (Open)Axiom within TeXmacs 1.0.3.3.

In contrast to 1.0.3.2 I cannot see the menu entry Session|Split working... Is this because now I can just split it by putting the cursor on an output line and press enter?

In my AXIOM session I don't see the line number as they are in AXIOM. Is there some way to make them available, because AXIOM allows to write

%%(3)

to refer to the output of line 3.

The attached file demonstrates a missing closing paren for the mathematical sum input.

Ralf
<TeXmacs|1.0.3.3>

<style|<tuple|generic|axiom>>

<\body>
<\with|prog-language|axiom|prog-session|default>
\;

<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
sum(a,b,c)==[a,b,c]
</input>

<\output>
\ \ \ Compiled code for sum has been cleared.

\ \ \ 1 old definition(s) deleted for function or rule sum\

<axiomtype|Void >
</output>

<input|<with|color|red|<with|mode|math|\<rightarrow\>> >|<\math>
<big|sum><rsub|k=1><rsup|9>k )
</math>>

<\output>
\ \ \ Compiling function sum with type (Equation Polynomial Integer,

\ \ \ \ \ \ PositiveInteger,Variable k) -\<gtr\> List Any\


<with|mode|math|math-display|true|<left|[>k=1,<space|0.5spc>9,<space|0.5spc>k<right|]><leqno>(9)>

<axiomtype|List Any >
</output>

<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
\;
</input>

\;
</with>
</body>

<\initial>
<\collection>
<associate|page-even|30mm>
<associate|page-reduce-bot|15mm>
<associate|page-reduce-right|25mm>
<associate|page-reduce-left|25mm>
<associate|page-type|a4>
<associate|page-top|30mm>
<associate|page-right|30mm>
<associate|par-width|150mm>
<associate|page-odd|30mm>
<associate|page-bot|30mm>
<associate|language|english>
<associate|page-reduce-top|15mm>
</collection>
</initial>

  • Texmacs and Axiom, Ralf HEMMECKE, 02/17/2004

Archive powered by MHonArc 2.6.19.

Top of page