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