

last edited 2 years ago by test1 
1 2 3 4 5 6  
Editor: test1
Time: 2015/01/08 16:35:44 GMT+0 

Note: 
changed:  the TeXmacs interface which allows Axiom commands and output to be included the OldTeXmacs interface which allows Axiom commands and output to be included changed:  7 The Axiom Book and a tutorial on using Axiom with TeXmacs is also available 7 The Axiom Book and a tutorial on using Axiom with OldTeXmacs is also available changed:  includes improvements to the TeXmacs interface to allow the user or  installer to specify several options which controls how TeXmacs formats includes improvements to the OldTeXmacs interface to allow the user or installer to specify several options which controls how OldTeXmacs formats
For current binaries see: InstallationFiles
The following versions of Axiom have been precompiled for specific hardware and software platforms. See also BuildAxiom for instructions on how to build the binaries yourself.
To install the above prerelease versions of Axiom follow the instructions below the appropriate system.
MD5: 6c986e92a6a6389e3866a4f9dadbfdae
This tarball contains the binary versions of Axiom (April 2006) and Aldor (1.0.2) as currently installed on the MathAction (Axiom Wiki) system. It should work on most Linux systems. It has been tested on Debian Sarge and RedHat? 9.
Note: Parts of Aldor are not yet open source although a binary version of Aldor is freely available. Please sign the Free Aldor letter and visit http://www.aldor.org for information concerning the Aldor license.
Unpack this tarball in a directory of your choice such as '/home':
1) cd /home 2) tar zxf axiomaldor20060621.tgz
Modify environment variables and PATH. You can add these commands to
your .bashrc
file:
3) export AXIOM=/home/axiom/mnt/linux 4) export PATH=$AXIOM/bin:$PATH 5) export ALDORROOT=/home/aldor/linux/1.0.2 6) export PATH=$ALDORROOT/bin:$PATH
Update the AXIOM variable in the axiom
script:
7) edit $AXIOM/bin/axiom #!/bin/sh  AXIOM=/home/axiom/mnt/linux ...
Start Axiom (or use AXIOMsys for command line only):
8) axiom
Command to compile Aldor source files:
9) )compile test.as
deb http://http.us.debian.org/debian unstable main contrib nonfree
Consult the aptget documentation to configure and upgrade your distribution if necessary.
aptget install axiom
and optionally:
aptget install axiomdoc aptget install axiomtest aptget install axiomsource
axiom
This is a binary version of Axiom for a Redhat 9 system. Unpack this tarball in a directory such as /home:
1) cd /home 2) tar zxf axiomSept2005Redhat9bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=$AXIOM/bin:$PATH 6) axiom
This is a binary tree for a Redhat 7.3 system. Unpack this tree in a directory such as /home:
1) cd /home 2) tar zxf axiomSept2005Redhat7.3bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=$AXIOM/bin:$PATH 6) axiom
This is a binary tree for a Fedora Core 1 system. Unpack this tree in a directory such as /home:
1) cd /home 2) tar zxf axiomFeb2005Fedora1bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=$AXIOM/bin:$PATH 6) axiom
This is a binary tree for a Fedora Core 3 system. Unpack this tree in a directory such as /home:
1) cd /home 2) tar zxf axiomFeb2005Fedora3bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/fedora3 5) export PATH=$AXIOM/bin:$PATH 6) axiom
This is a binary tree for a Fedora Core 4 system. Unpack this tree in a directory such as /home:
0) echo 0 > /proc/sys/kernel/randomize_va_space 1) cd /home 2) tar zxf axiomSept2005FC4bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=$AXIOM/bin:$PATH 6) axiom
Note: See comments from RenaudRioboo? below concerning installation step 0).
An experimental binary distribution of Axiom consisting of the following RPM files was prepared from the current Axiom on Debian distribution using the alien program.
These files should work on most linux systems that support rpm
(such as
RedHat?, Fedora, Suse, Mandrake etc.). Download at least the first two rpm's
above and then install via:
# rpm ihv axiom200509013.i386.rpm axiomdatabases200509013.noarch.rpm
For missing dependencies consult the Axiom on Debian page.
Since this distribution of Axiom is still experimental please report both success or failure in the comment form at the bottom of this page.
We will update this list as new versions are compiled, tested and uploaded. Please let us know if you have a request for a specific platform not mentioned above. You may use the issues system to report problems.
These versions of Axiom do not provide typeset quality mathematical output (such as available here), however they can be used with the OldTeXmacs interface which allows Axiom commands and output to be included in mathematical documents.
C:\Program Files\axiom
Start / Settings / Control Panel / System / Advanced / Environment Variables
Notice that this variable must use / not \
Start / Settings / Control Panel / System / Advanced / Environment Variables / Edit Path ... ;C:\Program Files\axiom\mnt\windows\bin
The Path must use the \ character.
Start/Programs/Axiom/Axiom
or from the command window:
Start/Programs/Accessories/Command Prompt AXIOMsys
Start/Programs/Axiom
(49 Mb.) This version includes the additional C compiler (gcc) files needed
to )compile
spad library files. It also corrects some problems relating to
installation of Axiom in paths containing spaces. The Axiom algebra files
have been optimized using a fixedPoint iteration procedure which ensures
consistency of the generated code in the presence of cyclic dependencies
(mutual recursion). Optimizations include inline code generation for special
cases and greater use of type information.
All 1,800+ dvi files documenting the algebra and other parts of the system have been converted to PDF format. The use of PDF is the main reason for the increase in size. I would like to know the opinion of people who download this file whether conversion to PDF is a good idea. Is it more convenient? Would you prefer to save space and download time by omitting the files or is dvi format acceptible to most Windows users?
It also includes improvements to the OldTeXmacs interface to allow the user or installer to specify several options which controls how OldTeXmacs formats Axiom output. For example it is possible to change the line width (specified in inches)
)set output texmacs width 5.5
or to disable the interface line breaking algorithm completely.
)set output texmacs break off
This version also permits an unformatted output mode.
Easy windows installation program (courtesy of Dan Martens!). The original windows version of Axiom was prepared by Mike Thomas.