+- 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
@@ -32,6 +168,18 @@
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),
@@ -47,8 +195,8 @@ nk_mora (tangent cone algorithm for D, local b-functio