|
|
last edited 4 years ago by test1 |
1 2 3 | ||
Editor:
Time: 2007/11/18 17:59:10 GMT-8 |
||
Note: testing |
changed: - PRE-COMPILED BINARIES The following versions of Axiom have been pre-compiled for specific hardware and software platforms. See also BuildAxiom for instructions on how to build the binaries yourself. Manual Installation To install the above pre-release versions of Axiom follow the instructions below the appropriate system. Linux (General) - <a name="AxiomAldor" />"Axiom+Aldor (binary, 50.4 Mbytes)":Mirrors?go=/public/axiom-aldor-20060621.tgz&it=Axiom+with+Aldor+binary ${\bf\longleftarrow}$ **Recommended Download** MD5: 3bca6606061a02bf6b07dfdff662e060 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 axiom-aldor-20060621.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 Debian 1 You must use the 3.1 (Sarge) version of Debian. 2 Ensure that the /etc/apt/sources.list file includes an entry for the "unstable":http://www.debian.org/releases/unstable/ distribution. E.g.:<pre> deb http://http.us.debian.org/debian unstable main contrib non-free</pre> Consult the "apt-get":http://www.debian.org/doc/manuals/apt-howto/ch-basico.en.html documentation to configure and upgrade your distribution if necessary. 3 Use the command:<pre> apt-get install axiom</pre> and optionally:<pre> apt-get install axiom-doc apt-get install axiom-test apt-get install axiom-source</pre> 4 Run axiom from the command line:<pre> axiom</pre> Redhat/Fedora "RedHat 9 (binary)":Mirrors?go=/public/axiom-Sept2005-Redhat9-bin.tgz&it=RedHat+9+binary 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 axiom-Sept2005-Redhat9-bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=\$AXIOM/bin:\$PATH 6) axiom "RedHat 7.3 (binary)":Mirrors?go=/public/axiom-Sept2005-Redhat7.3-bin.tgz&it=RedHat+7.3+binary 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 axiom-Sept2005-Redhat7.3-bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=\$AXIOM/bin:\$PATH 6) axiom "Fedora Core 1 (binary)":Mirrors?go=/public/axiom-Feb2005-Fedora1-bin.tgz&it=Fedora+Core+1+binary 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 axiom-Feb2005-Fedora1-bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/linux 5) export PATH=\$AXIOM/bin:\$PATH 6) axiom "Fedora Core 3 (binary)":Mirrors?go=/public/axiom-Feb2005-Fedora3-bin.tgz&it=Fedora+Core+3+binary 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 axiom-Feb2005-Fedora3-bin.tgz 3) cd axiom 4) export AXIOM=`pwd`/mnt/fedora3 5) export PATH=\$AXIOM/bin:\$PATH 6) axiom "Fedora Core 4 (binary)":Mirrors?go=/public/axiom-Sept2005-FC4-bin.tgz&it=Fedora+Core+4+binary 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 axiom-Sept2005-FC4-bin.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). RPM Distributions An experimental binary distribution of Axiom consisting of the following RPM files was prepared from the current "Axiom on Debian":http://packages.debian.org/unstable/math/axiom distribution using the "alien":http://kitenet.net/programs/alien program. - "axiom-20050901-3.i386.rpm":Mirrors?go=/public/axiom-20050901-3.i386.rpm&it=axiom-20050901-3.i386.rpm ${\bf\longleftarrow}$ **Required** - "axiom-databases-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-databases-20050901-3.noarch.rpm&it=axiom-databases-20050901-3.noarch.rpm ${\bf\longleftarrow}$ **Required** - "axiom-doc-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-doc-20050901-3.noarch.rpm&it=axiom-doc-20050901-3.noarch.rpm - "axiom-graphics-20050901-3.i386.rpm":Mirrors?go=/public/axiom-graphics-20050901-3.i386.rpm&it=axiom-graphics-20050901-3.i386.rpm - "axiom-graphics-data-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-graphics-data-20050901-3.noarch.rpm&it=axiom-graphics-data-20050901-3.noarch.rpm - "axiom-hypertex-20050901-3.i386.rpm":Mirrors?go=/public/axiom-hypertex-20050901-3.i386.rpm&it=axiom-hypertex-20050901-3.i386.rpm - "axiom-hypertex-data-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-hypertex-data-20050901-3.noarch.rpm&it=axiom-hypertex-data-20050901-3.noarch.rpm - "axiom-source-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-source-20050901-3.noarch.rpm&it=axiom-source-20050901-3.noarch.rpm - "axiom-test-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-test-20050901-3.noarch.rpm&it=axiom-test-20050901-3.noarch.rpm - "axiom-tex-20050901-3.noarch.rpm":Mirrors?go=/public/axiom-tex-20050901-3.noarch.rpm&it=axiom-tex-20050901-3.noarch.rpm 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 axiom-20050901-3.i386.rpm axiom-databases-20050901-3.noarch.rpm For missing dependencies consult the "Axiom on Debian":http://packages.debian.org/unstable/math/axiom 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":issuetracker system to report problems. These versions of Axiom do not provide typeset quality mathematical output (such as "available here":AxiomTutorial), however they can be used with the TeXmacs interface which allows Axiom commands and output to be included in mathematical documents. <a name="windows1" />Windows 1 Download the "installer":#windows program (use right-click / !SaveAs in your browser.) 2 Execute this program and specify the location where you would like to install Axiom e.g.:<pre> C:\Program Files\axiom</pre> 3 The AXIOM variable will be automatically added to the environment. To check it refer to<pre> Start / Settings / Control Panel / System / Advanced / Environment Variables</pre> Notice that this variable must use / **not** \\ 4 The PATH is also update by the installed to permit Axiom to run from the command line:<pre> Start / Settings / Control Panel / System / Advanced / Environment Variables / Edit Path ... ;C:\Program Files\axiom\mnt\windows\bin</pre> The Path must use the \\ character. 5 A short-cut with an AXIOM icon is created on the desktop that points to AXIOMsys 6 Start Axiom by double-clicking the AXIOM icon, from the Start menu<pre> Start/Programs/Axiom/Axiom</pre> or from the command window:<pre> Start/Programs/Accessories/Command Prompt AXIOMsys</pre> 7 The Axiom Book and a tutorial on using Axiom with TeXmacs is also available from the Start menu<pre> Start/Programs/Axiom</pre> * <a name="windows" />"Windows version 0.1.4":Mirrors?go=/public/axiom-windows-0.1.4.exe&it=Windows+version+0.1.4 ( "download faster":Mirrors?go=/public/axiom-windows-0.1.4.exe.torrent&it=Windows+version+0.1.4 use BitTorrent ) ${\bf\longleftarrow}$ **Recommended Download** (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? * "Windows version 0.1.3":Mirrors?go=/public/axiom-windows-0.1.3.exe&it=Windows+version+0.1.3 (19 Mb.) This version corrects a bug which prevented the TeXmacs interface from working when Axiom is installed in a non-default location. It also includes improvements to the TeXmacs interface to allow the user or installer to specify several options which controls how TeXmacs 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.
The following versions of Axiom have been pre-compiled for specific hardware and software platforms. See also BuildAxiom? for instructions on how to build the binaries yourself.
To install the above pre-release versions of Axiom follow the instructions below the appropriate system.
MD5: 3bca6606061a02bf6b07dfdff662e060
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 axiom-aldor-20060621.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 non-free
Consult the apt-get documentation to configure and upgrade your distribution if necessary.
apt-get install axiom
and optionally:
apt-get install axiom-doc apt-get install axiom-test apt-get install axiom-source
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 axiom-Sept2005-Redhat9-bin.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 axiom-Sept2005-Redhat7.3-bin.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 axiom-Feb2005-Fedora1-bin.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 axiom-Feb2005-Fedora3-bin.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 axiom-Sept2005-FC4-bin.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 axiom-20050901-3.i386.rpm axiom-databases-20050901-3.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 TeXmacs? 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?
(19 Mb.) This version corrects a bug which prevented the TeXmacs? interface from working when Axiom is installed in a non-default location. It also includes improvements to the TeXmacs? interface to allow the user or installer to specify several options which controls how TeXmacs? 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.