Annotation of OpenXM/install.txt, Revision 1.11
1.11 ! takayama 1: %% $OpenXM: OpenXM/install.txt,v 1.10 1999/12/12 10:36:45 takayama Exp $
1.2 takayama 2: OpenXM/install.txt in Japanese
1.8 takayama 3: As to English version see install.eg.txt (which has not been written).
1.1 maekawa 4:
1.3 takayama 5: $B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B
6: (FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.)
1.9 takayama 7: OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B.
8: cvs $B%3%_%C%?$N>l9g(B rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
9: $B$H$7$F%=!<%9$r$H$j$h$;$^$9(B.
10:
1.3 takayama 11: cd OpenXM/src
12: make configure
13: make
1.6 takayama 14:
1.2 takayama 15: $B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B
1.4 takayama 16: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B,
1.8 takayama 17: OpenXM/rc/asirrc $B$r(B ~/.asirrc $B$K%3%T!<$9$l$P(B, $B$"$H$O(B
1.4 takayama 18: bash $B$N>l9g$J$i(B, source OpenXM/rc/bashrc
19: csh $B$N>l9g$J$i(B, source OpenXM/rccshrc
20: $B$r<B9T$9$l$P$9$Y$F$N4D6-@_Dj$,=*N;$7$^$9(B.
21:
1.8 takayama 22: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, cshrc $B$r(B
23: $BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B.
1.10 takayama 24:
1.11 ! takayama 25: $BCm0U(B 1.
1.10 takayama 26: asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B,
27: PAGER=jless
28: export PAGER
29: $B$J$I$G(B, $BF|K\8l$r07$($k(B PAGER $B$r;XDj$9$kI,MW$,$"$k$+$b$7$l$^$;$s(B.
1.11 ! takayama 30: $BCm0U(B 2.
! 31: FreeBSD 3.3 $B$J$I$K$O(B, /usr/local/bin/javac $B$,$D$$$F$$$^$9(B.
! 32: $B$3$N(B javac $B$G$O(B, OpenXM/src/OpenMath $B0J2<$N%U%!%$%k$,%3%s%Q%$%k$G$-$^$;$s(B.
! 33: PATH=/usr/local/jdk1.1.8/bin:$PATH
! 34: export PATH
! 35: $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
! 36: $B$/$@$5$$(B.
1.4 takayama 37:
1.8 takayama 38: $B0J>e(B. $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B.
1.1 maekawa 39:
1.8 takayama 40: $B!z(B(1) asir $B$N%^%K%e%"%k$O(B,
1.11 ! takayama 41: OpenXM_contrib2/asir2000/doc $B$N(B README $B$r8+$F$M(B.
1.8 takayama 42: (2) asir-contrib $B$N%^%K%e%"%k$O(B,
43: OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B,
44: ptex cman.texi ($BF|K\8l(B)
45: tex cman-eg.texi ($B1Q8l(B)
46: $B$9$l$P$h$m$7$$(B.
47: Online manual : ox_help(xxx) $B$O8=:_0l;~E*$K$D$+$($^$;$s(B.
1.1 maekawa 48:
1.8 takayama 49: $BCm0U(B:
50: $OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B
1.1 maekawa 51: linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.
52: Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.
53:
1.8 takayama 54: Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt
55: $B$r8+$F$/$@$5$$(B.
56:
1.1 maekawa 57: --------------- $B%$%s%9%H!<%k40N;(B ---------------------------
58:
1.4 takayama 59: $B!z;HMQNc(B
60:
1.7 maekawa 61: OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B.
1.1 maekawa 62:
1.9 takayama 63: asir $B$rF0:n$5$;$k$K$O(B, key $B$,I,MW$G$9(B.
64: OpenXM/lib/asir/asir_key $B$N%3%a%s%H$r$_$F(B, key $B$r(B E-mail $B$G(B
65: $B$H$j$h$;$F2<$5$$(B.
66:
1.4 takayama 67: ---------------- Asir $B%/%i%$%"%s%H$N;H$$$+$?(B.
1.1 maekawa 68: ---------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B.
69: asir
70: load("xm");
71: P=sm1_start(); /* P $B$O%W%m%;%9HV9f(B */
72: load("katsura");
73: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */
74:
75: --------------- $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B.
76: asir
77: load("xm");
78: P=gnuplot_start();
79: gnuplot(P,"plot tan(x); ");
80: gnuplot(P,"splot sin(x)*cos(x); ");
81:
82: --------------- $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B.
83: asir
84: load("xm");
85: tigers_start();
86: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
87: 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]]
88: $B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal
89: dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B.
90: A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B.
91: Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B
92: $BI=<($7$^$9(B.
93: $B$?$H$($P(B A[0];
94: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
95: $B$G$9$+$i(B,
96: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
97: $B$,(B GB $B$G$"$j(B, initial ideal $B$O(B
98: x1 x3 , x1 x4 , x2 x4
99: $B$G@8@.$5$l$F$$$^$9(B.
100:
1.4 takayama 101: ----------------------------------
102: sm1
103: (oxasir.sm1) run ;
104: (x^20-1). fctr pmat ; sm1 $B$h$j(B ox_asir $B$r8F$S=P$7$F0x?tJ,2r$5$;$k(B.
105:
1.1 maekawa 106:
107:
108: [$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B)
1.4 takayama 109: $B$3$N%=%U%H%&%(%"$OF0:n$*$h$S$=$N7k2L$K$D$-(B, $B0l@Z$NJ]>Z$r$7$^$;$s(B.
1.8 takayama 110: $B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B. $BK!L3(Bcommitter $B$r(B
111: $BJg=8Cf(B.
1.4 takayama 112:
1.2 takayama 113: OpenXM : url http://www.math.kobe-u.ac.jp/openXM
1.11 ! takayama 114: cvs cite : kerberos.math.kobe-u.ac.jp
1.1 maekawa 115: sm1 : $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
1.8 takayama 116: $B%i%$%;%s%97ABV(B GPL??
1.1 maekawa 117: asir : $B:n<T(B url
1.4 takayama 118: $B%i%$%;%s%97ABV(B ??
1.1 maekawa 119: gnuplot : $B:n<T(B url
1.8 takayama 120: $B%i%$%;%s%97ABV(B GPL?
1.1 maekawa 121: phc : $B:n<T(B Jan Verschelde, url
1.4 takayama 122: $B%i%$%;%s%97ABV(B ??
1.1 maekawa 123: tigers : $B:n<T(B Birk Hubert, url
1.4 takayama 124: $B%i%$%;%s%97ABV(B ??
1.1 maekawa 125:
1.9 takayama 126: [OpenXM $B$K$D$$$F$NO"Mm@h(B]
127: takayama@math.sci.kobe-u.ac.jp
1.1 maekawa 128:
129: [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B]
130: lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B
131: (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B)
132:
133: lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link
134: $B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B.
135: lib/sm1/bin $B$K$O(B, binaryfiles
136: sm1, ox_sm1, ox, ox_log, ox_sm1_*
137: $B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B.
138: $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
139: $B:n@.$5$l$^$9(B.
140:
141: sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B.
142: lib/asir/ox_asir,
143: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
144: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
145:
146: asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
147: lib/asir/ox_launch
148: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B)
149: lib/asir/xm
150: lib/sm1/*.sm1 $B$NA4$F$N(B cohom $B%i%$%V%i%j%U%!%$%k(B.
151: callsm1.sm1 callsm1b.sm1
152: (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
153: 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.)
154:
155: asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
156: lib/asir/ox_launch
157: 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
158: gnuplot_forox $B$r<B9T$7$^$9(B.)
159: lib/asir/xm
160: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
161: (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
162: 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.)
163: bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot $BK\BN(B, src/gnuplot*)
164:
165: ----------------------------------------
166: [$B3+H/<TMQ%a%b(B]
1.4 takayama 167:
168: << sm1, ox_sm1, ox, oxlog $B$N(B debug >>
169: binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B
170: OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B,
171: debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B,
172: OpenXM/src/kan96xx $B$G(B make install2
173: OpenXM/src/kxx $B$G(B make install2
174: $B$r<B9T$9$k$H(B,
175: OpenXM/bin/sm1, ox, ox_sm1, oxlog $B$h$j(B,
176: OpenXM/src/kan96xx/Kan/sm1
177: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
178: $B$X$N%7%s%\%j%C%/%j%s%/$,:n@.$5$l$^$9(B.
1.1 maekawa 179:
1.5 maekawa 180: [CVS$B%3%_%C%?MQ%a%b(B]
1.9 takayama 181: << OpenXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B >>
1.5 maekawa 182: rcvs export -rHEAD OpenXM
1.8 takayama 183: rcvs export -rHEAD OpenXM_contrib
184: rcvs export -rHEAD OpenXM_contrib2
185: $B$7$F(B, OpenXM, OpenXM_contrib, OpenXM_contrib2 $BA4BN$r(B tar+gzip.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>