+- 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).
@@ -35,8 +177,8 @@