Subject: mailing-list for TeXmacs Users
List archive
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.