- March 4, 2022. Debian package openxm-1.3.3-6 (network installer, 64bit) can be installed
by apt by adding our openxm repository to /etc/apt/sources.list.
See here as to details.
If you prefer to install by dpkg, please download the deb package from
here .
-
Risa/Asir generated by
clang --version
Apple clang version 13.0.0 (clang-1300.0.29.30)
based on llvm 12 on M1 Mac
causes a segmentation fault when dp_ptod is called under some data.
The reason for it is that the optimizer generates a code which leads to
make the Boehm GC to collect a non-garbage memory chunk
(a local-variable - 8 is stored only in a register. The local-variable
is not stored in the stack.).
A workaround for it commited to
this change .
However, it is highly recommended to compile Risa/Asir by
the clang provided by homebrew llvm@13.
(December 28, 2021)
- cvsweb at c1 is temporaly down. Please use this
cvsweb,
- Debian package openxm-1.3.3-5 (network installer, 64bit) can be installed
by apt by adding our openxm repository to /etc/apt/sources.list.
See here as to details.
If you prefer to install by dpkg, please download the deb package from
here .
Please read readme-en.html
in the directory.
(July 27, 2021. openxm-1.3.3-5, bugs of the package 1.3.3-4 are fixed.)
- Debian package openxm-1.3.3-4 (network installer, 64bit) can be installed
by apt by adding our openxm repository to /etc/apt/sources.list.
See here as to details.
If you prefer to install by dpkg, please download the deb package from
here .
Please read readme-en.html
in the directory. Risa/Asir is upgraded to asir2018 from asir2000.
(March 29, 2021. openxm-1.3.3-4)
- Debian package openxm-1.3.3-1 (network installer, 64bit) can be obtained from
here .
Please read readme-en.html
in the directory. Risa/Asir is upgraded to asir2018 from asir2000.
(June 12, 2019. openxm-1.3.3-1)
- Debian package openxm-1.3.2-4 (network installer, 64bit) can be obtained from
here .
Please read readme-en.html
in the directory.
(Feb 22, 2018. openxm-1.3.2-4)
- Debian package openxm-1.3.2-3 (network installer, 64bit) can be obtained from
here .
Please read readme-en.html
in the directory.
(Mar 1, 2017. openxm-1.3.2-3)
- Bug fix (ox_pari does not start with "invalid server id" in 1.3.2-3): execute the following commands as the root.
(cd /usr/local/OpenXM/lib/asir ; rm ox_pari ; ln -s ../../bin/ox_pari ox_pari)
- Debian package openxm-1.3.2-1 (network installer, 64bit) can be obtained from
here .
Please read readme-en.html
in the directory.
(Feb 12, 2016. openxm-1.3.2-1)
- Debian package openxm-1.3.1-14 (network installer, 64bit) can be obtained from
here .
Please read readme-en.html
in the directory.
(March 27, 2015. openxm-1.3.1-14)
- Debian package openxm-1.3.1-10 (network installer, 32bit) can be obtained from
here .
64 bit version is provided at here .
Please read readme-en.html
in the directory.
(May 15, 2012. openxm-1.3.1-10)
- Debian package openxm-1.3.1-6 (network installer, 32bit) can be obtained from
here .
64 bit version is provided at here .
Please read readme-en.html
in the directory.
(Feb 22, 2011. openxm-1.3.1-6)
- Debian package openxm-1.3.1-5 (network installer, 32bit) can be obtained from
here .
64 bit version is provided at here .
Please read readme-en.html in the directory. Note that the package openxm should
be updated explicitly (apt-get install will not work properly) if openxm 1.3.1-3 or prior
is already installed, i.e.,
sudo su
apt-get install make nkf
dpkg --purge openxm
apt-get install openxm
(Aug, 2010. openxm-1.3.1-5)
In order to install the TeXmacs interface and desktop icons, do
apt-get install openxm-skel
apt-get install openxm-gnome-desktop
If you cannot or must not use apt-get, please download all files starting with openxm-
from
http://fe.math.kobe-u.ac.jp/KnoppixMath
and install them by hand as follows.
sudo su
dpkg --install openxm_*.deb
dpkg --install openxm-skel*.deb
Note that openxm_*.deb is a network installer and the main body of the package is downloaded from the internet.
- Debian package openxm-1.3.1-4 (network installer, 32bit) can be obtained from
here .
Please read readme-en.html in the directory. Note that the package openxm should
be updated explicitly (apt-get install will not work properly) if openxm 1.3.1-3 or prior
is already installed, i.e.,
sudo su
apt-get install make nkf
dpkg --purge openxm
apt-get install openxm
(Feb 23, 2010. openxm-1.3.1-4)
In order to install the TeXmacs interface, do
apt-get install openxm-skel
- Debian package of openxm-1-3.1-1 can be obtained from
here .
Please read readme-en.html in the directory. Note that the package openxm should
be updated explicitly (apt-get update will not work properly), i.e.,
apt-get install make nkf
dpkg --purge openxm
apt-get install openxm
(Feb 12, 2010. openxm-1.3.1-1)
In order to install the TeXmacs interface to the user directory, do
cp -r /root/.TeXmacs ~/.
- Debian package of openxm-1-2.3-12 can be obtained from
here .
Please read readme-en.html in the directory. Note that the package openxm should
be updated explicitly (apt-get update will not work properly), i.e.,
dpkg --purge openxm
apt-get install openxm
(Feb 24, 2009. openxm-1.2.3-12)
In order to install the TeXmacs interface to the user directory, do
cp -r /root/.TeXmacs ~/.
- Debian package of opexm can be obtained from
here .
Please read Readme.txt in the directory. Note that the package openxm should
be updated explicitly (apt-get update will not work properly), i.e.,
dpkg --purge openxm
apt-get install openxm
(Jan 30, 2008. openxm-1.2.3-10)
Known problems: (1) If gcc is not installed, please install it by "apt-get install gcc". It is not written in dependency.
- New packages in asir-contrib: taji_alc (algebraic local cohomology in 1 variables), f_res (resultants). Try ox_grep("taji_alc") or ox_grep("f_res"); [documents are in Japanese only]
(Jan 30, 2008)
- Debian package of opexm can be obtained from
here .
Please read Readme.txt in the directory. Note that the package openxm should
be updated explicitly (apt-get update will not work properly), i.e.,
dpkg --purge openxm
apt-get install openxm
(Aug 28, 2007)
- New packages in asir-contrib: y_prime (prime number test, etc),
fj_curve (the dual graph of the resolution of singularity of curves),
nk_mora (tangent cone algorithm for D, local b-function) (Nov 11, 2005).
- InftyEditor(Math editor with OCR and handwriting interface) plugin for OpenXM (February 18, 2005) Download
- Version 1.2.3 is ready (February 10,2005)
- OpenXM pacakge is included in Knoppix/Math CD (July, 2004).
Download the CD image ,
Puki/Wiki Knoppix/Math
- OpenXM formula book project:
a digital formula book for generalized hypergeometric functions