New packages in asir-contrib: y_prime (prime number test, etc),įj_curve (the dual graph of the resolution of singularity of curves),.Try ox_grep("taji_alc") or ox_grep("f_res") New packages in asir-contrib: taji_alc (algebraic local cohomology in 1 variables), f_res (resultants).Known problems: (1) If gcc is not installed, please install it by "apt-get install gcc". Debian package of opexm can be obtained from.Debian package of openxm-1-2.3-12 can be obtained from.In order to install the TeXmacs interface to the user directory, do Debian package of openxm-1-3.1-1 can be obtained fromīe updated explicitly (apt-get update will not work properly), i.e.,.In order to install the TeXmacs interface, do Debian package openxm-1.3.1-4 (network installer, 32bit) can be obtained from.Note that openxm_*.deb is a network installer and the main body of the package is downloaded from the internet. If you cannot or must not use apt-get, please download all files starting with openxm. In order to install the TeXmacs interface and desktop icons, do Note that the package openxm shouldīe updated explicitly (apt-get install will not work properly) if openxm 1.3.1-3 or prior Please read readme-en.html in the directory. Debian package openxm-1.3.1-5 (network installer, 32bit) can be obtained from.Debian package openxm-1.3.1-6 (network installer, 32bit) can be obtained from.Debian package openxm-1.3.1-10 (network installer, 32bit) can be obtained from.Debian package openxm-1.3.1-14 (network installer, 64bit) can be obtained from.Debian package openxm-1.3.2-1 (network installer, 64bit) can be obtained from.(cd /usr/local/OpenXM/lib/asir rm ox_pari ln -s. Bug fix (ox_pari does not start with "invalid server id" in 1.3.2-3): execute the following commands as the root.Debian package openxm-1.3.2-3 (network installer, 64bit) can be obtained from.Debian package openxm-1.3.2-4 (network installer, 64bit) can be obtained from.Debian package openxm-1.3.3-1 (network installer, 64bit) can be obtained from.Risa/Asir is upgraded to asir2018 from asir2000. Debian package openxm-1.3.3-4 (network installer, 64bit) can be installed.Debian package openxm-1.3.3-5 (network installer, 64bit) can be installed. ![]() However, it is highly recommended to compile Risa/Asir by (a local-variable - 8 is stored only in a register. Make the Boehm GC to collect a non-garbage memory chunk The reason for it is that the optimizer generates a code which leads to If you prefer to install by dpkg, please download the deb package fromĪpple clang version 13.0.0 (clang-1300.0.29.30)Ĭauses a segmentation fault when dp_ptod is called under some data. Debian package openxm-1.3.3-6 (network installer, 64bit) can be installedīy apt by adding our openxm repository to /etc/apt/sources.list. In order to download the sources, do as follows The OpenXM sources are put at the github.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |