Annotation of OpenXM/install.txt, Revision 1.1.1.1
1.1 maekawa 1: openXM/install.txt in Japanese
2: As to English version see install.eg.txt
3:
4:
5: $B!z(B openXM $B%Q%C%1!<%8$NMxMQJ}K!(B
6: [1] $B4D6-JQ?t(B OpenXM_HOME $B$N@_Dj(B.
7: ( rc $B$N2<$K%F%s%W%l!<%H$"$j(B. $B$3$l$r@5$7$/JT=8$7$F(B source $B%3%^%s%I(B
8: $B$GFI$_9~$a$P$h$m$7$$(B.
9: $B8=:_$O(B, $B%[!<%`%G%#%l%/%H%j$N2<$K(B, openXM $B$rCV$$$?$H2>Dj$7$F$k(B.
10: bash $B$N>l9g$J$i(B, cd rc ; source bashrc
11: csh $B$N>l9g$J$i(B, cd rc ; source cshrc
12: $B$3$l$r<B9T$7$?>l9g(B [4] $B$OITMW(B.
13: )
14: setenv OpenXM_HOME openXM$B$X$N%Q%9(B (C$B%7%'%k(B, tcsh $B$N>l9g(B)
15: $B$^$?$O(B
16: OpenXM_HOME = openXM$B$X$N%Q%9(B (sh, bash $B$N>l9g(B)
17: export OpenXM_HOME
18: $B$G(B openXM $B$N%[!<%`%G%#%l%/%H%j$r;XDj$7$^$9(B.
19: $B$?$H$($P(B,
20: OpenXM_HOME = /home/nobuki/openXM
21: export OpenXM_HOME
22:
23: [2]
24: cd $OpenXM_HOME
25: cd src
26: make all
27: $B$G$9$Y$F$N%P%$%J%j$r%=!<%9$h$j@8@.$7$^$9(B. phc, ox_asir $B$O%P%$%J%jG[I[$G$9(B.
28:
29: [3]
30: ~/.asirrc $B$K(B
31: load("gr")$
32: load("primdec")$
33: end$
34: $B$H=q$$$F$*$/(B.
35:
36: [4] ($B$^$?$O(B [5])
37: $B4D6-JQ?t$r@_Dj$9$k$3$H$K$h$j(B, [5] $B$N$h$&$K(B/usr/local $B$X%j%s%/$r$O$l$J$/$F$b(BOK.
38:
39: [a] ASIR_LIBDIR=$OpenXM_HOME/lib/asir
40: [b] LOAD_SM1_PATH=$OpenXM_HOME/lib/sm1
41: [c] $OpenXM_HOME/bin $B$r%3%^%s%I%5!<%A%P%9$K2C$($k(B.
42: csh $B$N>l9g(B : set path=($OpenXM_HOME/bin $path)
43: rehash
44: bash $B$N>l9g(B : PATH=$OpenXM_HOME/bin:$PATH
45: export PATH
46:
47:
48: (LOAD_K_PATH )
49:
50: $B$^$?$O(B
51: [5]
52: $B0J2<$N$h$&$K(B, $B%7%s%\%j%C%/%j%s%/$r$O$C$F2<$5$$(B.
53:
54: ln -s $OpenXM_HOME/lib/asir /usr/local/lib/asir
55: ln -s $OpenXM_HOME/lib/sm1 /usr/local/lib/sm1
56:
57: * Open XM $BBP1~(B gnuplot $B$rMxMQ$7$?$$>l9g(B,
58: $OpenXM_HOME/bin $B$N$7$?$N(B gnuplot_x11 $B$X%3%^%s%I%5!<%A%Q%9$+$i%j%s%/$r$O$j$^$9(B.
59: $B$?$H$($P(B
60: ln -s OpenXM_HOME/bin/gnuplot_x11 /usr/local/bin
61: $OpenXM_HOME/bin/gnuplot_x11 $B<+BN$r0\F0$9$k$H$?$@$7$/F0:n$7$J$$$N$GCm0U(B.
62: * asir $B$rMxMQ$7$?$$>l9g(B,
63: $OpenXM_HOME/bin $B$N$7$?$N(B asir $B$X%3%^%s%I%5!<%A%Q%9$+$i%j%s%/$r$O$j$^$9(B.
64: * sm1 $B$rMxMQ$7$?$$>l9g(B,
65: $OpenXM_HOME/bin $B$N$7$?$N(B sm1 $B$X%3%^%s%I%5!<%A%Q%9$+$i%j%s%/$r$O$j$^$9(B.
66:
67:
68: $OpenXM_HOME/bin $B$N2<$N(B, fep, phc, asir $B$O(B, $B$$$^$N$H$3$m(B
69: linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.
70: Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.
71:
72: --------------- $B%$%s%9%H!<%k40N;(B ---------------------------
73:
74: openXM $B$O(B X-window $B>e$G$7$+F0:n$7$^$;$s(B.
75:
76: ---------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B.
77: asir
78: load("xm");
79: P=sm1_start(); /* P $B$O%W%m%;%9HV9f(B */
80: load("katsura");
81: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */
82:
83: --------------- $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B.
84: asir
85: load("xm");
86: P=gnuplot_start();
87: gnuplot(P,"plot tan(x); ");
88: gnuplot(P,"splot sin(x)*cos(x); ");
89:
90: --------------- $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B.
91: asir
92: load("xm");
93: tigers_start();
94: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
95: 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]]
96: $B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal
97: dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B.
98: A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B.
99: Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B
100: $BI=<($7$^$9(B.
101: $B$?$H$($P(B A[0];
102: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
103: $B$G$9$+$i(B,
104: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
105: $B$,(B GB $B$G$"$j(B, initial ideal $B$O(B
106: x1 x3 , x1 x4 , x2 x4
107: $B$G@8@.$5$l$F$$$^$9(B.
108:
109:
110:
111: [$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B)
112: openXM : url http://www.math.kobe-u.ac.jp/openXM
113: sm1 : $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
114: $B%i%$%;%s%97ABV(B ??
115: asir : $B:n<T(B url
116: $B%i%$%;%s%97ABV(B
117: gnuplot : $B:n<T(B url
118: $B%i%$%;%s%97ABV(B GPL
119: phc : $B:n<T(B Jan Verschelde, url
120: $B%i%$%;%s%97ABV(B
121: tigers : $B:n<T(B Birk Hubert, url
122: $B%i%$%;%s%97ABV(B
123:
124:
125: [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B]
126: lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B
127: (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B)
128:
129: lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link
130: $B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B.
131: lib/sm1/bin $B$K$O(B, binaryfiles
132: sm1, ox_sm1, ox, ox_log, ox_sm1_*
133: $B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B.
134: $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
135: $B:n@.$5$l$^$9(B.
136:
137: sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B.
138: lib/asir/ox_asir,
139: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
140: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
141:
142: asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
143: lib/asir/ox_launch
144: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B)
145: lib/asir/xm
146: lib/sm1/*.sm1 $B$NA4$F$N(B cohom $B%i%$%V%i%j%U%!%$%k(B.
147: callsm1.sm1 callsm1b.sm1
148: (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
149: 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.)
150:
151: asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
152: lib/asir/ox_launch
153: 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
154: gnuplot_forox $B$r<B9T$7$^$9(B.)
155: lib/asir/xm
156: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
157: (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
158: 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.)
159: bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot $BK\BN(B, src/gnuplot*)
160:
161:
162:
163: ----------------------------------------
164: [$B3+H/<TMQ%a%b(B]
165: openXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B. (yama, 300CT $B>e$G(B)
166: cd SSkan ; make dist
167: cd kxx ; make dist
168: cd asir-xx ; make dist
169: cd k0 ; make dist
170: $BA`:n%A%'%C%/$O(B dc1 $B$J$I$NB>$N%^%7%s$G9T$$$^$9(B.
171: ($B$3$l$r0l5$$K$d$k$K$O(B yama $B$G$O(B makeOpenXMDist : $B$"$H$G@bL@(B)
172:
173: openXM/src $B$G(B make clean $B$N8e(B,
174: mount-unkei-dc1
175: backupdir5b openXM
176: $B$G(B dc1:/export/taka/tmp $B$X(B openXM $B$,%3%T!<$5$l$^$9(B.
177:
178: (yama $B$N>e$G$O(B, bin/makeOpenXMDist $B$G>e$N:n6H$r$9$Y$F<+F0$G$d$j$^$9(B.)
179:
180: yama $B$G$O(B, $B3+H/MQ$K(B
181: /usr/local/lib/sm1 $B$O(B /home/nobuki/SSkan/lib $B$X$N(B symbolic link,
182: /usr/local/lib/asir $B$O(B /home/nobuki/openXM/lib/asir $B$X$N(B symbolic link,
183: $B$H$J$C$F$$$^$9(B.
184: xm $B$O(B /home/nobuki/asir-xx/xm $B$G3+H/$5$l$F$$$^$9(B.
185: gnuplot_forox, gnuplot_x11, phc, tigers $B$O(B
186: /home/nobuki/openXM/bin $B$N2<$NJ*$,;HMQ$5$l$^$9(B.
187:
188:
189:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>