Return to install.txt CVS log

Up to [local] / OpenXM

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.