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