File: [local] / OpenXM / doc / install.oxweave (download)
Revision 1.2, Wed Dec 15 05:53:04 1999 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.1: +23 -6
lines
load("xm")$ is included in asirrc.
Update of doc/install.oxweave.
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.2 1999/12/15 05:53:04 takayama Exp $
OpenXM/doc/install.oxweave
/*&jp
$B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B
FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.
OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B.
cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B.
*/
/*&eg
* How to make OpenXM package?
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
If you are a CVS committer, then you can get all sources as follows:
*/
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
//&C
//&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B.
//&eg Check that you have these directories, then just type in the following commands
/*&C
cd OpenXM/src
make configure
make
*/
/*&jp $B$J$*(B, OpenXM/src/ox_math $B$NMxMQ$K$O(B Mathematica $B$,(B, OpenXM/src/OpenMath
$B$K$O(B, jdk (java $B4D6-(B) $B$,I,MW$G$9(B.
*/
/*&eg In order to use OpenXM/src/ox_math, you need Mathematica.
In order to use OpenXM/src/OpenMath, you need jdk (java environment).
*/
/*&C
*/
/*&jp
$B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B
OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B.
*/
/*&eg
* How to use the OpenXM package?
If you have OpenXM under your home directory, do as follows.
*/
/*&C
cp OpenXM/rc/asirrc ~/.asirrc
source OpenXM/rc/bashrc (in case of bash)
source OpenXM/rc/cshrc (in case of csh)
*/
/*&jp
OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B
$BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B.
*/
/*&eg
If you have OpenXM in a different place, edit OpenXM/rc/bashrc or
OpenXM/rc/cshrc properly.
*/
//&C
//&jp asir $B$NMxMQ$K$O(B key $B$,I,MW$G$9(B. $B0J2<$N%U%!%$%k$r8fMw$/$@$5$$(B.
//&eg You need key to use asir. See the following file:
//&C OpenXM/lib/asir/asir_key
//&C
/*&jp
$BCm0U(B 1.
asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B,
PAGER=jless
export PAGER
$B$J$I$G(B, $BF|K\8l$r07$($k(B PAGER $B$r;XDj$9$kI,MW$,$"$k$+$b$7$l$^$;$s(B.
$BCm0U(B 2.
FreeBSD 3.3 $B$J$I$K$O(B, /usr/local/bin/javac $B$,$D$$$F$$$^$9(B.
$B$3$N(B javac $B$G$O(B, OpenXM/src/OpenMath $B0J2<$N%U%!%$%k$,%3%s%Q%$%k$G$-$^$;$s(B.
PATH=/usr/local/jdk1.1.8/bin:$PATH
export PATH
$B$J$I$H$7$F(B, jdk $B$N(B javac $B$r%5!<%A%Q%9$N@h$N$[$&$X$b$C$F$$$/$h$&$K$7$F(B
$B$/$@$5$$(B.
*/
/*&jp
$B0J>e(B. $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B.
$B!z(B(1) asir $B$N%^%K%e%"%k$O(B,
OpenXM_contrib2/asir2000/doc $B$N(B README $B$r8+$F$M(B.
(2) asir-contrib $B$N%^%K%e%"%k$O(B,
OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B,
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$rMxMQ$9$k$K$O(B,
(cd OpenXM/src/asir-contrib/packages/doc ; make install-help)
$B$H$7$^$9(B.
$BCm0U(B:
$OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B
linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.
Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.
Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt
$B$r8+$F$/$@$5$$(B.
--------------- $B%$%s%9%H!<%k40N;(B ---------------------------
$B!z;HMQNc(B
OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B.
asir $B$rF0:n$5$;$k$K$O(B, key $B$,I,MW$G$9(B.
OpenXM/lib/asir/asir_key $B$N%3%a%s%H$r$_$F(B, key $B$r(B E-mail $B$G(B
$B$H$j$h$;$F2<$5$$(B.
---------------- Asir $B%/%i%$%"%s%H$N;H$$$+$?(B.
---------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B.
asir
load("xm");
P=sm1_start(); /* P $B$O%W%m%;%9HV9f(B */
load("katsura");
sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */
--------------- $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B.
asir
load("xm");
P=gnuplot_start();
gnuplot(P,"plot tan(x); ");
gnuplot(P,"splot sin(x)*cos(x); ");
--------------- $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.math.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 $B$K$D$$$F$NO"Mm@h(B]
takayama@math.sci.kobe-u.ac.jp
[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/ $B0J2<$N(B *.sm1 $B$J$k$9$Y$F$N(B $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.
*/