|
|
last edited 4 years ago by test1 |
1 2 3 4 | ||
Editor: test1
Time: 2020/03/08 16:45:53 GMT+0 |
||
Note: |
changed: - On all Unix/Linux systems the most recent version of TeXmacs is pre-configured to automatically interface with Axiom provided that Axiom is "installed":AxiomBinaries and AXIOMsys is accessible at the command line (must be in the path). The current interface for Axiom has some known limitations when formatting long mathematical expressions. On all Unix/Linux systems the most recent version of TeXmacs is pre-configured to automatically interface with Axiom provided that Axiom is "installed":AxiomBinaries and FRICASsys is accessible at the command line (must be in the path). The current interface for Axiom has some known limitations when formatting long mathematical expressions. changed: -I suspect the problem is that the axiom interface module is calling AXIOMsys I suspect the problem is that the axiom interface module is calling FRICASsys changed: -shell script starts the 'sman' (superman) process which starts AXIOMsys, the -hyperdoc browser, and the graphics connection. If you call AXIOMsys directly shell script starts the 'sman' (superman) process which starts FRICASsys, the hyperdoc browser, and the graphics connection. If you call FRICASsys directly changed: -I even followed the instructions on the FAQ and changed the AXIOMsys to axiom and even sman. But if I do that though HyperDoc appears, I have to press return several times(may be upto 7 times) before the answer appears on the texmacs interface. Just blank lines with the red axiom prompt keep on appearing. I even followed the instructions on the FAQ and changed the FRICASsys to axiom and even sman. But if I do that though HyperDoc appears, I have to press return several times(may be upto 7 times) before the answer appears on the texmacs interface. Just blank lines with the red axiom prompt keep on appearing. changed: -Is there a possibility of using the hyperdoc type in the commands in the TeXmacs interface (to get a nicely formatted output)? I tried to replace the tm_axiom program with the one that launches axiom or sman instead of AXIOMsys but doing that causes me to press the enter key several times to get the commands accepted and that is really annoying. Is there a possibility of using the hyperdoc type in the commands in the TeXmacs interface (to get a nicely formatted output)? I tried to replace the tm_axiom program with the one that launches axiom or sman instead of FRICASsys but doing that causes me to press the enter key several times to get the commands accepted and that is really annoying. changed: -AXIOMsys does direct reads from its terminal. FRICASsys does direct reads from its terminal. changed: -sman starts hyperdoc, AXIOMsys, and sman starts hyperdoc, FRICASsys, and changed: -The problem with starting axiom (or sman) instead of AXIOMsys from TeXmacs is that it writes the prompt twice instead of once when it starts. One can modify tm_axiom.c to wait for two prompts at start-up time. This was done in the old TeXmacs interface with commercial Axiom. The problem with starting axiom (or sman) instead of FRICASsys from TeXmacs is that it writes the prompt twice instead of once when it starts. One can modify tm_axiom.c to wait for two prompts at start-up time. This was done in the old TeXmacs interface with commercial Axiom. changed: -in TeXmacs. AXIOMsys generates Tex/LaTeX output that is processed in TeXmacs. FRICASsys generates Tex/LaTeX output that is processed changed: ->Axiom hyperdoc is not required to get nicely formatted output in >TeXmacs. AXIOMsys generates Tex/LaTeX output that is processed by >TeXmacs. >Axiom hyperdoc is not required to get nicely formatted output in >TeXmacs. FRICASsys generates Tex/LaTeX output that is processed by >TeXmacs. changed: -Instead of starting AXIOMsys, it should start 'axiom -noclef' Instead of starting FRICASsys, it should start 'axiom -noclef'
GNU TeXmacs is a free scientific text editor, which was both inspired by TeX and GNU Emacs. The editor allows you to write structured documents via a wysiwyg (what-you-see-is-what-you-get) and user friendly interface. New styles may be created by the user. The program implements high-quality typesetting algorithms and TeX fonts, which help you to produce professionally looking documents. One major objective of TeXmacs is to promote the development of free software for and by scientists, by significantly reducing the cost of producing high quality user interfaces. Axiom is one of many programs for which interfaces exist. GNU TeXmacs runs on most Unix architectures, as well as on Windows. Detailed information is available for downloading and installing TeXmacs.
On all Unix/Linux systems the most recent version of TeXmacs is pre-configured to automatically interface with Axiom provided that Axiom is installed and FRICASsys is accessible at the command line (must be in the path). The current interface for Axiom has some known limitations when formatting long mathematical expressions.
Cygwin is a Unix-emulation environment for windows. The cygwin version of TeXmacs automatically interfaces with Axiom for Windows provided that the Path enviroment variable includes the Axiom directory as described in AxiomBinaries?. This path is set automatically by the Axiom for Windows installer program.
The native windows version of TeXmacs does not require the installation of cygwin. A new version of the Axiom interface program tm_axiom that was written especially for Windows is included in the latest Axiom for Windows installation program. This will be used automatically by the native windows version of TeXmacs.
In TeXmacs with the new tm_axiom there is also a new Axiom command. If you enter:
)set output texmacs
in an TeXmacs Axiom session you get the following explanation:
--------------------------- The texmacs Option ---------------------------- Description: options for display of AXIOM output in TeXmacs )set output texmacs is used to control the TeXmacs-AXIOM interface The default values are controlled by environment variable TM_AXIOM and may be overriden by command line options. Syntax: )set output texmacs <arg> where arg can be one or more of break <on>|<off> line-break algorithm over <on>|<off> convert 2-d \over to 1-d cdot <on>|<off> convert \cdot to \ (space) space <on>|<off> convert \ (space) to \, big( <on>|<off> convert \left( \right to ( ) width <9.99> line width in inches <on> may be on, yes, 1 <off> may be off, no , 0 The current settings are: break 1, over 1, cdot 1, space 0, big( 1, width 4.5
This new interface program is also recommended for use in cygwin. To check that you are using the new program, in a cygwin shell enter the command:
$ which tm_axiom
If the response is:
/cygdrive/c/Program Files/axiom/mnt/windows/bin/tm_axiom.exe
(where the default location Program Files
might be different) then you are using the new version. Otherwise make sure you delete or rename the older version of tm_axiom and try the which
command again.
A new version of the Axiom stylesheet axiom.ts
is available in
Axiom for Windows which improves the formatting of Axiom output.
To obtain this stylesheet, use Windows file manager to replace the
existing file in TeXmacs:
c:\Program Files\wintexmacs\TeXmacs\plugins\axiom\packages\session\axiom.ts
with the file of the same name found in Axiom for Windows:
c:\Program Files\axiom\mnt\windows\axiom.ts
On cygwin the file axiom.ts
is located in the directory:
cd /usr/share/TeXmacs/plugins/axiom/packages/session
Overwrite existing stylesheet with the new stylesheet file:
cp /cygdrive/c/Program Files/axiom/mnt/windows/axiom.ts .
Troubleshooting
The following TeXmacs documents contain examples of how to use TeXmacs with Axiom:
->draw(sin(x),x=0..1) Compiling function %D with type DoubleFloat? -> DoubleFloat? Graph data being transmitted to the viewport manager... AXIOM2D data being transmitted to the viewport manager...
(1) TwoDimensionalViewport?: "sin x" Type: TwoDimensionalViewport?
But no picture was created. Does draw() still not work in this verion? Anyway, Axiom is excellent CAS and I will introduce this in my calculus class. Thanks!
There is no identifying information in this post so I cannot help you directly.I suspect the problem is that the axiom interface module is calling FRICASsys
(the actual axiom interpreter) rather than the axiom shell script. The axiom
shell script starts the sman
(superman) process which starts FRICASsys, the
hyperdoc browser, and the graphics connection. If you call FRICASsys directly
then graphics will not work.
Please open a command terminal, set your AXIOM variable and PATH variable,
and type axiom
. Then retry the draw command. Please let me know if this
succeeds or fails and send a message to the axiom-developer@nongnu.org
mailing list.
Tim Daly
s := operator 's DE := D(s(t),t,2) = -k^2s(t) - cD(s(t),t) S := solve(DE,s,t=0,[A,0]?) S1 == eval(S,[A=1,k=1,c=3]?) draw(S1,t=0..100)
Graph data being transmitted to the viewport manager...
>>System error: SOCK-SEND-INT is invalid as a function.
protected-symbol-warn called with (NIL)
This same error appears both in axiom alone and in WinTeXmacs?. Any ideas for solving this would be appreciated. If I need to set the AXIOM and PATH variables, as suggested above, what should they be set to? You can respond to me at jws@cablespeed.com if you wish.
Thanks, John Sheppard
The windows version of Axiom does not have graphics. The graphics subsystem currently only works on Linux and needs X11. We are working on a windows solution.--> integrate(log(x),x)
System error: Caught fatal error [memory may be damaged]? protected-symbol-warn called with (NIL)
I've just compiled Axiom 3.9 (and texmacs 1.0.5.9) on a RH EL system. Both installed to non standard locations. While command line axiom works, and texmacs presents an axiom session (and actually launches axiom), I did not manage to get axiom working from within texmacs (I get no line promt ->, and when I press the ENTER key nothing happens, no evaluation, nothing).Forgive my stupidity but ... any help??
brunelli@itc.it
Also can the axiom help/reference be lanched from within the TeXmacs as it can be done using MuPAD? from TeXmacs.
axiom is a script that launches sman (superman). sman starts hyperdoc, FRICASsys, and clef which is a command-line completion program.
I don't know but I suspect "clef" is getting in the way.
Try changing the call to axiom
to use axiom -noclef
and see if the behavior changes.
Tim
HyperDoc does not take any input if the NmPd? key is on. I use KDE/3.3 on a Fedora-3. Is this peculiar to me or is a bug/feature of the HyperDoc :) Anyway I think its more convinient to enter numbers from the Numeric Kepad The problem with starting axiom (or sman) instead of FRICASsys from TeXmacs is that it writes the prompt twice instead of once when it starts. One can modify tm_axiom.c to wait for two prompts at start-up time. This was done in the old TeXmacs interface with commercial Axiom.Is it possible to get rid of the first prompt? Having prompts not preceeding user input is very annoying.
Andrey
Unknown wrote:Is there a possibility of using the hyperdoc type in the commands in the TeXmacs interface (to get a nicely formatted output)?
Axiom hyperdoc
is not required to get nicely formatted output
in TeXmacs. FRICASsys generates Tex/LaTeX output that is processed
by TeXmacs.
Could you please describe what effect you would like to achieve in TeXmacs? In what way is the current TeXmacs output not nicely formatted?
Can someone tell how this can be done or change the tm_axiom and distribute the code.
Any help is welcome.
Varun.
nicely formatted output --Bill Page, Tue, 11 Oct 2005 09:36:59 -0500 >reply Unknown wrote: Is there a possibility of using the hyperdoc type in the commands in >the TeXmacs interface (to get a nicely formatted output)?What I intended was: Can I use the HyperDoc while still working under TeXmacs and get nicely formatted output. Sorry for my not being clear.Axiom hyperdoc is not required to get nicely formatted output in >TeXmacs. FRICASsys generates Tex/LaTeX output that is processed by >TeXmacs.
Could you please describe what effect you would like to achieve in >TeXmacs? In what way is the current TeXmacs output not nicely >formatted?
There are a lot of things that can be improved in TeXmacs. First of all an online reference would certainely help a lot (those who are Turbo C IDE fans would know this)--one just presses some hot key and gets more information on the command he wishes to use and is not so sure about. He can get some examples on how to use the system, just fill in some entries and get the command output without having to learn hundreds of functions. This would be most beneficial to users new to axiom and to those who have just started to use Computer Algebra Systems. Not only that, this I think would save time of those users who are just using the interactive
axiom and not programming with it.
Unfortunately, not a lot of resources are available to do this. At this time, the only person that I know who is working on this is Andrey G. Grozin. See
http://lists.gnu.org/archive/html/axiom-developer/2005-08/msg00229.html
It is easy to modify tm_axiom.c to start axiom (with hypertex and graphics)Instead of starting FRICASsys, it should start axiom -noclef
Also, in void session(void), declare:
int prompts=0;
and, a few lines later, replace the line:
else if (code==PROMPT) break;
by the line:
else if (code==PROMPT) { if ((++prompts)==2) break; }
However, it would be much better to fix this damn double-prompt problem once and for all. Axiom must not write a prompt when it is not prompting the user to input something.
Andrey
Thanks Andrey. I followed your tips and HyperDoc now seems to work except for problems created when I use HyperDoc to enter commands. Varun I noticed that the tutorial (tutorial.tgz) above doesn't display correctly on FC4 with TeXmacs 1.0.6. Having just started texmacs for the first time I'm not sure of the details, but the .tm files like oneStep01.tm "link" to the axiom and axiom-tutorial styles and don't display correctly. I discovered that by reversing the order so that axiom comes before axiom-tutorial they seem to work ok. A bit of perl will clean them all up:save the following as a file and do a 'perl file tutorial':
use strict; use warnings; use Cwd; use File::Find; my $read_dir=$ARGV[0]; my $top = getcwd(); find(&d, "$top/$read_dir"); sub d { my $file = $File::Find::name; if (-f $file && $file =~ m/\.tm$/) { print("found tex style file $file\n"); `mv -v $file $file.bak`; open(IN,"$file.bak") or print("couldn't open $file.bak\n") && next; open(OUT,">$file") or print("couldn't open $file for writing\n") && next; while(my $line = <IN>) { $line =~ s/\|axiom\|axiom/\|axiom/g; $line =~ s/axiom-tutorial\|axiom/axiom\|axiom-tutorial/; print(OUT $line); } close(IN); close(OUT); } }