| version 1.8, 1999/12/04 02:20:07 |
version 1.33, 2018/09/07 07:13:04 |
|
|
| %% $OpenXM: OpenXM/install.txt,v 1.7 1999/11/21 19:31:48 maekawa Exp $ |
%% $OpenXM: OpenXM/install.txt,v 1.32 2008/09/13 01:50:31 takayama Exp $ |
| OpenXM/install.txt in Japanese |
|
| As to English version see install.eg.txt (which has not been written). |
|
| |
|
| $B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B |
The OpenXM package is a package of mathematical software systems. |
| (FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.) |
They are integrated with the OpenXM protocols. |
| cd OpenXM/src |
The OpenXM protocol provides an infrastructure for |
| make configure |
mathematical software systems. |
| make |
|
| |
|
| $B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B |
As to installation procedures, |
| OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, |
see doc/install-en.txt in English |
| OpenXM/rc/asirrc $B$r(B ~/.asirrc $B$K%3%T!<$9$l$P(B, $B$"$H$O(B |
and |
| bash $B$N>l9g$J$i(B, source OpenXM/rc/bashrc |
see doc/install-ja.txt in Japanese. |
| csh $B$N>l9g$J$i(B, source OpenXM/rccshrc |
|
| $B$r<B9T$9$l$P$9$Y$F$N4D6-@_Dj$,=*N;$7$^$9(B. |
|
| |
|
| OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, cshrc $B$r(B |
These files will be generated from install.oxweave by |
| $BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B. |
cd doc |
| |
make |
| |
in the source distribution. |
| |
|
| $B0J>e(B. $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B. |
As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...). |
| |
We understand that you agree with our licence when you started "make". |
| |
If you provide binaries generated to "users", you need to let users know |
| |
that we understand that once an user starts our system, he/she agrees |
| |
with our licence. |
| |
|
| $B!z(B(1) asir $B$N%^%K%e%"%k$O(B, |
If you are interested in using and do not like to build from the source |
| OpenXM/src/asir99/doc $B$N(B README $B$r8+$F$M(B. |
code, we recommend you to use MathLibre DVD. |
| (2) asir-contrib $B$N%^%K%e%"%k$O(B, |
The OpenXM package is preinstalled in these systems. |
| OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B, |
A Debian network is also distributed at http://www.openxm.org |
| ptex cman.texi ($BF|K\8l(B) |
|
| tex cman-eg.texi ($B1Q8l(B) |
|
| $B$9$l$P$h$m$7$$(B. |
|
| Online manual : ox_help(xxx) $B$O8=:_0l;~E*$K$D$+$($^$;$s(B. |
|
| |
|
| $BCm0U(B: |
-------- An instruction for a quick installation from the source code --- |
| $OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B |
During the installation, some library souces are automatically downloaded |
| linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B. |
by the wget or the curl command. All necessary library sources are downloaded in |
| Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B. |
OpenXM_dist at the same level of OpenXM. If you are offline, please put |
| |
all library sources necessary in this directory by hand. |
| |
|
| Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt |
(cd OpenXM/src ; make install) |
| $B$r8+$F$/$@$5$$(B. |
You will get binaries, libraries, and documents under |
| |
OpenXM/bin, OpenXM/lib, OpenXM/doc |
| |
(cd OpenXM/rc ; make install) |
| |
Shell scripts to start "asir", "sm1", ... will be copied to |
| |
/usr/local/bin [You need do "make install" as a super user.] |
| |
or (cd OpenXM/rc ; make ) |
| |
and include dot.bashrc or dot.cshrc generated from your .bashrc or .cshrc |
| |
by the command source; source dot.bashrc or source dot.cshrc. |
| |
|
| --------------- $B%$%s%9%H!<%k40N;(B --------------------------- |
If you do not like to change your .bashrc or .cshrc, use the command |
| |
/usr/local/bin/openxm to start our program. For example, |
| |
openxm asir |
| |
starts the asir under the OpenXM environement. |
| |
|
| $B!z;HMQNc(B |
------- If you need only asir and kan, |
| |
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
| |
You will get only asir and kan/sm1. |
| |
(cd OpenXM/rc ; make install) |
| |
|
| OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B. |
------- Generating html/ps documents under OpenXM/doc |
| |
After installation, |
| |
(cd OpenXM/src ; make install-document) |
| |
|
| ---------------- Asir $B%/%i%$%"%s%H$N;H$$$+$?(B. |
------------------------------------------- |
| ---------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B. |
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |
| asir |
You can start Risa/Asir by the command "asir", which is called |
| load("xm"); |
OpenXM/Risa/Asir. |
| P=sm1_start(); /* P $B$O%W%m%;%9HV9f(B */ |
It is build by (cd OpenXM/src ; make install-asir-contrib) |
| load("katsura"); |
The manual of Risa/Asir and Asir-contrib can be found in the |
| sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */ |
OpenXM/doc directory and http://www.openxm.org |
| |
|
| --------------- $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B. |
-------------- |
| asir |
gc and gmp will be automatically downloaded from |
| load("xm"); |
http://www.math.kobe-u.ac.jp/pub/OpenXM/misc |
| P=gnuplot_start(); |
and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget or curl. |
| gnuplot(P,"plot tan(x); "); |
If you cannot connect to the ftp server directory, |
| gnuplot(P,"splot sin(x)*cos(x); "); |
please download the files at www.math.kobe-u.ac.jp/pub/OpenXM/misc/gc* |
| |
and www.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp* |
| |
under OpenXM_dist by hand before make. |
| |
|
| --------------- $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B. |
|
| asir |
|
| load("xm"); |
|
| tigers_start(); |
|
| B = tigers(0,[[1,1,1,1],[0,1,2,3]]); |
|
| length(B) $B$O(B 8 $B$G$9(B. $B$3$l$O(B, $B9TNs(B A = [[1,1,1,1],[0,1,2,3]] |
|
| $B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal |
|
| dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B. |
|
| A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B. |
|
| Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B |
|
| $BI=<($7$^$9(B. |
|
| $B$?$H$($P(B A[0]; |
|
| [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]] |
|
| $B$G$9$+$i(B, |
|
| x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2 |
|
| $B$,(B GB $B$G$"$j(B, initial ideal $B$O(B |
|
| x1 x3 , x1 x4 , x2 x4 |
|
| $B$G@8@.$5$l$F$$$^$9(B. |
|
| |
|
| ---------------------------------- |
|
| sm1 |
|
| (oxasir.sm1) run ; |
|
| (x^20-1). fctr pmat ; sm1 $B$h$j(B ox_asir $B$r8F$S=P$7$F0x?tJ,2r$5$;$k(B. |
|
| |
|
| |
|
| |
|
| [$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B) |
|
| $B$3$N%=%U%H%&%(%"$OF0:n$*$h$S$=$N7k2L$K$D$-(B, $B0l@Z$NJ]>Z$r$7$^$;$s(B. |
|
| $B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B. $BK!L3(Bcommitter $B$r(B |
|
| $BJg=8Cf(B. |
|
| |
|
| OpenXM : url http://www.math.kobe-u.ac.jp/openXM |
|
| cvs cite : kerberos.kobe-u.ac.jp |
|
| sm1 : $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN, |
|
| $B%i%$%;%s%97ABV(B GPL?? |
|
| asir : $B:n<T(B url |
|
| $B%i%$%;%s%97ABV(B ?? |
|
| gnuplot : $B:n<T(B url |
|
| $B%i%$%;%s%97ABV(B GPL? |
|
| phc : $B:n<T(B Jan Verschelde, url |
|
| $B%i%$%;%s%97ABV(B ?? |
|
| tigers : $B:n<T(B Birk Hubert, url |
|
| $B%i%$%;%s%97ABV(B ?? |
|
| |
|
| |
|
| [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B] |
|
| lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B |
|
| (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B) |
|
| |
|
| lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link |
|
| $B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B. |
|
| lib/sm1/bin $B$K$O(B, binaryfiles |
|
| sm1, ox_sm1, ox, ox_log, ox_sm1_* |
|
| $B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B. |
|
| $B$3$N%7%s%\%j%C%/%j%s%/$O(B src/kxx $B$G(B make install $B$r<B9T$9$k$3$H$K$h$j(B |
|
| $B:n@.$5$l$^$9(B. |
|
| |
|
| sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B. |
|
| lib/asir/ox_asir, |
|
| lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log) |
|
| lib/sm1/ox.sm1, lib/sm1/oxasir.sm1 |
|
| |
|
| asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B: |
|
| lib/asir/ox_launch |
|
| lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B) |
|
| lib/asir/xm |
|
| lib/sm1/*.sm1 $B$NA4$F$N(B cohom $B%i%$%V%i%j%U%!%$%k(B. |
|
| callsm1.sm1 callsm1b.sm1 |
|
| (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c |
|
| ox_sm1 $B$,(B ox_sm1_forAsir $B$H$$$&L>A0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.) |
|
| |
|
| asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B: |
|
| lib/asir/ox_launch |
|
| lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 $B$X$N%j%s%/(B, ox_sm1_gnuplot $B$O(B fork $B$7$F(B |
|
| gnuplot_forox $B$r<B9T$7$^$9(B.) |
|
| lib/asir/xm |
|
| lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1 |
|
| (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c |
|
| ox_sm1 $B$,(B ox_sm1_gnuplot $B$H$$$&L>A0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.) |
|
| bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot $BK\BN(B, src/gnuplot*) |
|
| |
|
| ---------------------------------------- |
|
| [$B3+H/<TMQ%a%b(B] |
|
| |
|
| << sm1, ox_sm1, ox, oxlog $B$N(B debug >> |
|
| binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B |
|
| OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B, |
|
| debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B, |
|
| OpenXM/src/kan96xx $B$G(B make install2 |
|
| OpenXM/src/kxx $B$G(B make install2 |
|
| $B$r<B9T$9$k$H(B, |
|
| OpenXM/bin/sm1, ox, ox_sm1, oxlog $B$h$j(B, |
|
| OpenXM/src/kan96xx/Kan/sm1 |
|
| OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
|
| $B$X$N%7%s%\%j%C%/%j%s%/$,:n@.$5$l$^$9(B. |
|
| |
|
| [CVS$B%3%_%C%?MQ%a%b(B] |
|
| << openXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B >> |
|
| rcvs export -rHEAD OpenXM |
|
| rcvs export -rHEAD OpenXM_contrib |
|
| rcvs export -rHEAD OpenXM_contrib2 |
|
| $B$7$F(B, OpenXM, OpenXM_contrib, OpenXM_contrib2 $BA4BN$r(B tar+gzip. |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to install.txt CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM