Return to install.oxweave CVS log

Up to [local] / OpenXM / doc

Annotation of OpenXM/doc/install.oxweave, Revision 1.2

1.2     ! takayama    1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.1 1999/12/15 03:30:13 takayama Exp $
1.1       takayama    2: OpenXM/doc/install.oxweave
                      3:
                      4: /*&jp
                      5: $B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B
1.2     ! takayama    6:   FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.
1.1       takayama    7:    OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B.
                      8:    cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B.
                      9: */
                     10: /*&eg
1.2     ! takayama   11: * How to make OpenXM package?
        !            12:  We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
1.1       takayama   13:  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
                     14:  If you are a CVS committer, then you can get all sources as follows:
                     15: */
                     16: //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
1.2     ! takayama   17: //&C
1.1       takayama   18: //&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B.
                     19: //&eg Check that you have these directories, then just type in the following commands
                     20: /*&C
                     21:
                     22:    cd OpenXM/src
                     23:    make configure
                     24:    make
1.2     ! takayama   25:
        !            26: */
        !            27: /*&jp $B$J$*(B, OpenXM/src/ox_math $B$NMxMQ$K$O(B Mathematica $B$,(B, OpenXM/src/OpenMath
        !            28: $B$K$O(B, jdk (java $B4D6-(B) $B$,I,MW$G$9(B.
        !            29: */
        !            30: /*&eg In order to use OpenXM/src/ox_math, you need Mathematica.
        !            31: In order to use OpenXM/src/OpenMath, you need jdk (java environment).
1.1       takayama   32: */
                     33: /*&C
                     34:
                     35: */
                     36: /*&jp
                     37: $B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B
                     38: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B.
                     39: */
                     40: /*&eg
1.2     ! takayama   41: * How to use the OpenXM package?
1.1       takayama   42: If you have OpenXM under your home directory, do as follows.
                     43: */
                     44: /*&C
1.2     ! takayama   45:
1.1       takayama   46:     cp OpenXM/rc/asirrc ~/.asirrc
                     47:     source OpenXM/rc/bashrc (in case of bash)
                     48:     source OpenXM/rc/cshrc  (in case of csh)
1.2     ! takayama   49:
1.1       takayama   50: */
                     51: /*&jp
                     52: OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B
                     53: $BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B.
                     54: */
                     55: /*&eg
                     56: If you have OpenXM in a different place, edit OpenXM/rc/bashrc or
                     57: OpenXM/rc/cshrc properly.
                     58: */
1.2     ! takayama   59: //&C
        !            60: //&jp asir $B$NMxMQ$K$O(B  key $B$,I,MW$G$9(B.  $B0J2<$N%U%!%$%k$r8fMw$/$@$5$$(B.
        !            61: //&eg You need key to use asir.  See the following file:
        !            62: //&C OpenXM/lib/asir/asir_key
        !            63: //&C
1.1       takayama   64: /*&jp
                     65: $BCm0U(B 1.
                     66: asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B,
                     67: PAGER=jless
                     68: export PAGER
                     69: $B$J$I$G(B, $BF|K\8l$r07$($k(B PAGER $B$r;XDj$9$kI,MW$,$"$k$+$b$7$l$^$;$s(B.
                     70: $BCm0U(B 2.
                     71: FreeBSD 3.3 $B$J$I$K$O(B, /usr/local/bin/javac $B$,$D$$$F$$$^$9(B.
                     72: $B$3$N(B javac $B$G$O(B, OpenXM/src/OpenMath $B0J2<$N%U%!%$%k$,%3%s%Q%$%k$G$-$^$;$s(B.
                     73: PATH=/usr/local/jdk1.1.8/bin:$PATH
                     74: export PATH
                     75: $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
                     76: $B$/$@$5$$(B.
                     77: */
                     78: /*&jp
                     79:
                     80: $B0J>e(B.  $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B.
                     81:
                     82: $B!z(B(1) asir $B$N%^%K%e%"%k$O(B,
                     83:    OpenXM_contrib2/asir2000/doc $B$N(B README $B$r8+$F$M(B.
                     84:   (2) asir-contrib $B$N%^%K%e%"%k$O(B,
                     85:   OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B,
                     86:   ptex cman.texi ($BF|K\8l(B)
                     87:   tex cman-eg.texi ($B1Q8l(B)
                     88:   $B$9$l$P$h$m$7$$(B.
1.2     ! takayama   89:   Online manual : ox_help(xxx) $B$rMxMQ$9$k$K$O(B,
        !            90:    (cd OpenXM/src/asir-contrib/packages/doc ; make install-help)
        !            91:   $B$H$7$^$9(B.
1.1       takayama   92:
                     93: $BCm0U(B:
                     94: $OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B
                     95: linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.
                     96: Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.
                     97:
                     98: Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt
                     99: $B$r8+$F$/$@$5$$(B.
                    100:
                    101: ---------------  $B%$%s%9%H!<%k40N;(B ---------------------------
                    102:
                    103: $B!z;HMQNc(B
                    104:
                    105: OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B.
                    106:
                    107: asir $B$rF0:n$5$;$k$K$O(B, key $B$,I,MW$G$9(B.
                    108: OpenXM/lib/asir/asir_key $B$N%3%a%s%H$r$_$F(B, key $B$r(B E-mail $B$G(B
                    109: $B$H$j$h$;$F2<$5$$(B.
                    110:
                    111: ----------------  Asir $B%/%i%$%"%s%H$N;H$$$+$?(B.
                    112: ----------------   $BNc(B : asir $B$K(B kan/sm1  $B$rAH$_9~$`(B.
                    113: asir
                    114: load("xm");
                    115: P=sm1_start();    /* P $B$O%W%m%;%9HV9f(B */
                    116: load("katsura");
                    117: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */
                    118:
                    119: ---------------    $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B.
                    120: asir
                    121: load("xm");
                    122: P=gnuplot_start();
                    123: gnuplot(P,"plot  tan(x); ");
                    124: gnuplot(P,"splot sin(x)*cos(x); ");
                    125:
                    126: ---------------    $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B.
                    127: asir
                    128: load("xm");
                    129: tigers_start();
                    130: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
                    131: 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]]
                    132: $B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal
                    133: dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B.
                    134: A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B.
                    135: Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B
                    136: $BI=<($7$^$9(B.
                    137: $B$?$H$($P(B A[0];
                    138: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
                    139: $B$G$9$+$i(B,
                    140: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
                    141: $B$,(B GB $B$G$"$j(B, initial ideal $B$O(B
                    142: x1 x3 , x1 x4 , x2 x4
                    143: $B$G@8@.$5$l$F$$$^$9(B.
                    144:
                    145: ----------------------------------
                    146: sm1
                    147: (oxasir.sm1) run  ;
                    148: (x^20-1). fctr pmat ;       sm1 $B$h$j(B ox_asir $B$r8F$S=P$7$F0x?tJ,2r$5$;$k(B.
                    149:
                    150:
                    151:
                    152: [$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B)
                    153: $B$3$N%=%U%H%&%(%"$OF0:n$*$h$S$=$N7k2L$K$D$-(B, $B0l@Z$NJ]>Z$r$7$^$;$s(B.
                    154: $B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B.  $BK!L3(Bcommitter $B$r(B
                    155: $BJg=8Cf(B.
                    156:
                    157: OpenXM : url http://www.math.kobe-u.ac.jp/openXM
                    158:          cvs cite : kerberos.math.kobe-u.ac.jp
                    159: sm1 :  $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
                    160:        $B%i%$%;%s%97ABV(B   GPL??
                    161: asir :    $B:n<T(B  url
                    162:          $B%i%$%;%s%97ABV(B   ??
                    163: gnuplot : $B:n<T(B  url
                    164:          $B%i%$%;%s%97ABV(B   GPL?
                    165: phc : $B:n<T(B Jan Verschelde,  url
                    166:          $B%i%$%;%s%97ABV(B   ??
                    167: tigers : $B:n<T(B Birk Hubert,  url
                    168:          $B%i%$%;%s%97ABV(B   ??
                    169:
                    170: [OpenXM $B$K$D$$$F$NO"Mm@h(B]
                    171: takayama@math.sci.kobe-u.ac.jp
                    172:
                    173: [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B]
                    174: lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B
                    175: (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B)
                    176:
                    177: lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link
                    178: $B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B.
                    179: lib/sm1/bin $B$K$O(B, binaryfiles
                    180:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
                    181: $B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B.
                    182: $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
                    183: $B:n@.$5$l$^$9(B.
                    184:
                    185: sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B.
                    186:    lib/asir/ox_asir,
                    187:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
                    188:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
                    189:
                    190: asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
                    191:    lib/asir/ox_launch
                    192:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B)
                    193:    lib/asir/xm
                    194:    lib/sm1/ $B0J2<$N(B *.sm1 $B$J$k$9$Y$F$N(B $B%i%$%V%i%j%U%!%$%k(B.
                    195:      callsm1.sm1 callsm1b.sm1
                    196:      (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
                    197:       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.)
                    198:
                    199: asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B:
                    200:     lib/asir/ox_launch
                    201:     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
                    202:                                 gnuplot_forox $B$r<B9T$7$^$9(B.)
                    203:     lib/asir/xm
                    204:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
                    205:      (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c
                    206:       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.)
                    207:     bin/gnuplot_forox,  bin/gnuplot_x11  (gnuplot $BK\BN(B, src/gnuplot*)
                    208:
                    209: ----------------------------------------
                    210: [$B3+H/<TMQ%a%b(B]
                    211:
                    212: << sm1, ox_sm1, ox, oxlog $B$N(B debug >>
                    213: binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B
                    214: OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B,
                    215: debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B,
                    216: OpenXM/src/kan96xx $B$G(B make install2
                    217: OpenXM/src/kxx $B$G(B make install2
                    218: $B$r<B9T$9$k$H(B,
                    219: OpenXM/bin/sm1, ox, ox_sm1, oxlog $B$h$j(B,
                    220: OpenXM/src/kan96xx/Kan/sm1
                    221: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
                    222: $B$X$N%7%s%\%j%C%/%j%s%/$,:n@.$5$l$^$9(B.
                    223:
                    224: [CVS$B%3%_%C%?MQ%a%b(B]
                    225: <<  OpenXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B >>
                    226: rcvs export -rHEAD OpenXM
                    227: rcvs export -rHEAD OpenXM_contrib
                    228: rcvs export -rHEAD OpenXM_contrib2
                    229: $B$7$F(B, OpenXM, OpenXM_contrib, OpenXM_contrib2 $BA4BN$r(B tar+gzip.
                    230: */
                    231:
                    232:
                    233: